Výsledky vyhledávání - "Disjunctive Logic Programming"

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

“…Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying…”
Získat plný text

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

Získat plný text

A game semantics for disjunctive logic programming Autor Tsouanas, Thanos

“…Denotational semantics of logic programming and its extensions (by allowing negation, disjunctions, or both) have been studied thoroughly for many years. In…”
Získat plný text

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ískat 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ískat plný text

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

“…Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of non-monotonic logics. In recent work, AFT was…”
Získat 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ískat plný text

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

“…Standard answer set programming (ASP) targets at solving search problems from the first level of the polynomial time hierarchy (PH). Tackling search problems…”
Získat plný text

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

Získat 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ískat 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ískat plný text

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

Získat 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ískat plný text

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

“…It was noted recently that the framework of default logics can be exploited for detecting outliers. Outliers are observations expressed by sets of literals…”
Získat plný text

Foundations of disjunctive logic programming Autor Levi, Giorgio

Získat plný text

Exchange-Repairs: Managing Inconsistency in Data Exchange Autor ten Cate, Balder, Halpert, Richard L., Kolaitis, Phokion G.

“…In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. Intuitively, this happens when data…”
Získat plný text

Outlier detection using default reasoning Autor Angiulli, Fabrizio, Ben-Eliyahu – Zohary, Rachel, Palopoli, Luigi

“…Default logics are usually used to describe the regular behavior and normal properties of domain elements. In this paper we suggest, conversely, that the…”
Získat 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ískat plný text

Enhancing DLV instantiator by backjumping techniques Autor Perri, Simona, Scarcello, Francesco, Catalano, Gelsomina, Leone, Nicola

“…Disjunctive logic programming (DLP) is a powerful formalism for knowledge representation and reasoning…”
Získat plný text

Argumentation-based abduction in disjunctive logic programming Autor Wang, Kewen

“…In this paper, we propose an argumentation-based semantic framework, called DAS, for disjunctive logic programming…”
Získat plný text