Search Results - Disjunctive Logic Programming

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

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

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming by 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…”
Get full text

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

Get full text

A game semantics for disjunctive logic programming by Tsouanas, Thanos

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

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

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

Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates by 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…”
Get full text

On look-ahead heuristics in disjunctive logic programming by 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…”
Get full text

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

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

Stable-unstable semantics: Beyond NP with normal logic programs by 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…”
Get full text

Extensions to generalized disjunctive programming: hierarchical structures and first-order logic by 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…”
Get full text

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

Get full text

Uniform proofs and disjunctive logic programming by 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…”
Get full text

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

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

Design and implementation of aggregate functions in the DLV system by 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…”
Get full text

An abductive approach to disjunctive logic programming by 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…”
Get full text

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

Get full text

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

Get full text

Probabilistic Disjunctive Logic Programming by Ngo, Liem

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

Outlier detection for simple default theories by 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…”
Get full text

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

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