Suchergebnisse - Disjunctive Logic Programming

Disjunctive logic programming with types and objects: The DLV + system von Ricca, Francesco, Leone, Nicola

“… The paper presents DLV +, a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple …”
Volltext

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming von Heyninck, Jesse, Arieli, Ofer, Bogaerts, Bart

“… It provides a unifying study of the semantics of different formalisms for nonmonotonic reasoning, such as logic programming, default logic and autoepistemic logic …”
Volltext

Assumption-based argumentation for extended disjunctive logic programming and its relation to nonmonotonic reasoning von Toshiko Wakaki

Volltext

A game semantics for disjunctive logic programming von Tsouanas, Thanos

“… Denotational semantics of logic programming and its extensions (by allowing negation, disjunctions …”
Volltext

Enhancing disjunctive logic programming systems by SAT checkers von Koch, Christoph, Leone, Nicola, Pfeifer, Gerald

“… Disjunctive logic programming (DLP) with stable model semantics is a powerful nonmonotonic formalism for knowledge representation and reasoning …”
Volltext

Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates von HEYNINCK, JESSE, BOGAERTS, BART

“… ) we give an algebraic formulation of the semi-equilibrium semantics by Amendola et al ., and (3) we generalize the characterizations of disjunctive logic programs to disjunctive logic programs with aggregates …”
Volltext

On look-ahead heuristics in disjunctive logic programming von Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Ricca, Francesco

“… Disjunctive logic programming (DLP), also called answer set programming (ASP), is a convenient programming paradigm which allows for solving problems in a simple and highly declarative way …”
Volltext

Abductive logic programming and disjunctive logic programming: their relationship and transferability von Sakama, Chiaki, Inoue, Katsumi

“… Abductive logic programming (ALP) and disjunctive logic programming (DLP) are two different extensions of logic programming …”
Volltext

Stable-unstable semantics: Beyond NP with normal logic programs von BOGAERTS, BART, JANHUNEN, TOMI, TASHARROFI, SHAHAB

“… ). Tackling search problems beyond NP using ASP is less straightforward. The class of disjunctive logic programs offers the most prominent way of reaching the second level …”
Volltext

Extensions to generalized disjunctive programming: hierarchical structures and first-order logic von Perez, Hector D., Grossmann, Ignacio E.

“… ), which extends the disjunctive programming paradigm proposed by Egon Balas to allow modeling systems from a logic-based level of abstraction that captures the fundamental rules governing such systems …”
Volltext

Abductive logic programming and disjunctive logic programming: their relationship and transferability von Katsumi Inoue, Chiaki Sakama

Volltext

Temporal disjunctive logic programming von Gergatsoulis, Manolis, Rondogiannis, Panos, Panayiotopoulos, Themis

Volltext

Uniform proofs and disjunctive logic programming von Nadathur, G., Loveland, D.W.

“… We use this technology to investigate disjunctive logic programming (DLP), an extension of traditional logic programming that permits disjunctive program clauses …”
Volltext

Bounded treewidth as a key to tractability of knowledge representation and reasoning von Gottlob, Georg, Pichler, Reinhard, Wei, Fang

“… Several forms of reasoning in AI – like abduction, closed world reasoning, circumscription, and disjunctive logic programming …”
Volltext

Design and implementation of aggregate functions in the DLV system von FABER, WOLFGANG, PFEIFER, GERALD, LEONE, NICOLA, DELL'ARMI, TINA, IELPA, GIUSEPPE

“… Disjunctive logic programming (DLP) is a very expressive formalism. It allows for expressing every property of finite structures that is decidable in the complexity class ΣP2(=NPNP …”
Volltext

An abductive approach to disjunctive logic programming von You, Jia-Huai, Yuan, Li Yan, Goebel, Randy

“… While the semantics and proof theories under this approach have been studied extensively, the question of how disjunctive programs may be used to reason abductively has rarely been investigated …”
Volltext

Argumentation in disjunctive logic programming von Wang, Kewen, Wu, Quanyuan, Chen, Huowang

Volltext

Probabilistic Disjunctive Logic Programming von Ngo, Liem

“… In this paper we propose a framework for combining Disjunctive Logic Programming and Poole's Probabilistic Horn Abduction …”
Volltext

Outlier detection for simple default theories von Angiulli, Fabrizio, Ben-Eliyahu-Zohary, Rachel, Palopoli, Luigi

“… Unfortunately, in the two related formalisms for specifying defaults — Reiter's default logic and extended disjunctive logic programs …”
Volltext

Disjunctive logic programs with inheritance von BUCCAFURRI, FRANCESCO, FABER, WOLFGANG, LEONE, NICOLA

“… The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming …”
Volltext