Výsledky vyhľadávania - Disjunctive Logic Programming

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

“…The paper presents DLV +, a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple…”
Získať plný text

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming Autor 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…”
Získať plný text

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

Získať plný text

A game semantics for disjunctive logic programming Autor Tsouanas, Thanos

“…Denotational semantics of logic programming and its extensions (by allowing negation, disjunctions…”
Získať plný text

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

“…Disjunctive logic programming (DLP) with stable model semantics is a powerful nonmonotonic formalism for knowledge representation and reasoning…”
Získať plný text

Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates Autor 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…”
Získať plný text

On look-ahead heuristics in disjunctive logic programming Autor 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…”
Získať plný text

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

“…Abductive logic programming (ALP) and disjunctive logic programming (DLP) are two different extensions of logic programming…”
Získať plný text

Stable-unstable semantics: Beyond NP with normal logic programs Autor 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…”
Získať plný text

Extensions to generalized disjunctive programming: hierarchical structures and first-order logic Autor 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…”
Získať plný text

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

Získať plný text

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

Získať plný text

Uniform proofs and disjunctive logic programming Autor 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…”
Získať plný text

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

“…Several forms of reasoning in AI – like abduction, closed world reasoning, circumscription, and disjunctive logic programming…”
Získať plný text

Design and implementation of aggregate functions in the DLV system Autor 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…”
Získať plný text

An abductive approach to disjunctive logic programming Autor 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…”
Získať plný text

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

Získať plný text

Probabilistic Disjunctive Logic Programming Autor Ngo, Liem

“…In this paper we propose a framework for combining Disjunctive Logic Programming and Poole's Probabilistic Horn Abduction…”
Získať plný text

Outlier detection for simple default theories Autor 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…”
Získať plný text

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

“…The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming…”
Získať plný text