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

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

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

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 – are well known to be…”
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) inheritance, and…”
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…”
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

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

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

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

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. Reasoning with…”
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. The high expressiveness of DLP language, together with…”
Získat plný text

Experimenting with prototype system DLVK via different approach Autor Shah, Asim Ali

“…Planning allows one to sequence a series of actions to achieve a certain goal. In this paper, we present a short overview of the Disjunctive logic programming…”
Získat plný text

Experimenting with parallelism for the instantiation of ASP programs Autor Calimeri, F., Perri, S., Ricca, F.

“…In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power…”
Získat 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 (with strong negation) by inheritance. The…”
Získat plný text

A logic programming approach to knowledge-state planning, II: The [formula omitted] system Autor Eiter, Thomas, Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Polleres, Axel

“…In Part I of this series of papers, we have proposed a new logic-based planning language, called K . This language facilitates the description of transitions…”
Získat plný text

Optimal models of disjunctive logic programs: semantics, complexity, and computation Autor Leone, N., Scarcello, F., Subrahmanian, V.S.

“…Almost all semantics for logic programs with negation identify a set, SEM(P), of models of program P, as the intended semantics of P, and any model M in this…”
Získat plný text

Expressive power and complexity of partial models for disjunctive deductive databases Autor Eiter, Thomas, Leone, Nicola, Saccá, Domenico

“…This paper investigates the expressive power and complexity of partial model semantics for disjunctive deductive databases. In particular, partial stable,…”
Získat plný text

Computing answers with model elimination Autor Baumgartner, Peter, Furbach, Ulrich, Stolzenburg, Frieder

“…We demonstrate that theorem provers using model elimination (ME) can be used as answer-complete interpreters for disjunctive logic programming. More…”
Získat plný text

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

Získat plný text

Consistency-based abduction with extended disjunctive logic programs Autor Wang, Kewen, Chen, Huowang, Wu, Quanyuan

Získat plný text