Výsledky vyhľadávania - Logic Programming and Knowledge Representation

Logic programming and knowledge representation—The A-Prolog perspective Autor Gelfond, Michael, Leone, Nicola

“…In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning…”
Získať plný text

Distributional logic programming for Bayesian knowledge representation Autor Angelopoulos, Nicos, Cussens, James

“… In particular, we focus on representing prior knowledge for Bayesian inference. Distributional logic programming (Dlp…”
Získať plný text

Proceedings 35th International Conference on Logic Programming (Technical Communications): Knowledge Representation and Reasoning Issues in Natural Language Question Answering Autor Baral, Chitta

Získať plný text

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers Autor Tanaka, Koji

Získať plný text

Knowledge Representation and Logic Programming Autor Gelfond, Michael, Leone, Nicola

Získať plný text

Proceedings 37th International Conference on Logic Programming (Technical Communications): Answering Questions Using Neural Knowledge Representations Autor Cohen, William W.

Získať plný text

Alignment Completeness for Relational Hoare Logics Autor Nagasamudram, Ramana, Naumann, David A.

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Získať plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication…”
Získať plný text

Declarative Logic Programming: Theory, Systems, and Applications Autor Michael, Kifer, Liu, Yanhong

“…Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages…”
Získať plný text

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes Autor Dreier, Jan

“… Most notably, every problem definable in first-order logic can be solved in linear time on bounded expansion graph classes…”
Získať plný text

Compositional relational reasoning via operational game semantics Autor Jaber, Guilhem, Murawski, Andrzej S.

“…We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts…”
Získať plný text

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication Autor de Groot, Jim, Litak, Tadeusz, Pattinson, Dirk

“…Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict implication provable…”
Získať plný text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses Autor Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Získať plný text

Inapproximability of Unique Games in Fixed-Point Logic with Counting Autor Tucker-Foltz, Jamie

“…We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC…”
Získať plný text

A Constructive Logic with Classical Proofs and Refutations Autor Barenbaum, Pablo, Freund, Teodoro

“…We study a conservative extension of classical propositional logic distinguishing between four modes of statement…”
Získať plný text

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning Autor Riguzzi, Fabrizio

“…Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory…”
Získať plný text

Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics Autor Gazda, Maciej, Hierons, Robert M.

“…We explore the problem of finding a minimal complete test suite for a refusal trace (or failure trace) semantics. Since complete test suites are typically…”
Získať plný text

Compact Representation of Knowledge Bases in Inductive Logic Programming Autor Struyf, Jan, Ramon, Jan, Bruynooghe, Maurice, Verbaeten, Sofie, Blockeel, Hendrik

“…Issue Title: Inductive Logic Programming (ILP) In many applications of Inductive Logic Programming (ILP…”
Získať plný text

A different paradigm for expert systems: an introduction to logic programming and related knowledge representation issues Autor Jones, James D.

“… Even Prolog programmers are settling for less robust reasoning power. The logic programming community…”
Získať plný text

Linear-Time Temporal Answer Set Programming Autor AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN

“…In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving…”
Získať plný text