Titlebook: Logic Programming and Nonmonotonic Reasoning; 9th International Co Chitta Baral,Gerhard Brewka,John Schlipf Conference proceedings 2007 Spr

LEERY

Debugging ASP Programs by Means of ASPty of answer-set programs, the development of software-engineering tools is vital. In particular, the area of debugging provides a challenge in both theoretical and practical terms. This is due to the purely declarative nature of ASP that, on the one hand, calls for solver-independent methodologies

Ingenuity

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negationlogic programs [9]. In particular, we show that every disjunctive logic program with negation has a . set of minimal infinite-valued models. Moreover, we show that the infinite-valued semantics can be equivalently defined using Kripke models, allowing us to prove some properties of the new semantics

感情脆弱

Complexity of Default Logic on Generalized Conjunctive Queriesixpoint equation defining an extension. Three different reasoning problems arise in the context of default logic, namely the existence of an extension, the presence of a given formula in an extension, and the occurrence of a formula in all extensions. Since the end of 1980s, several complexity resul

闷热

有组织

Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitionsdefault logic and autoepistemic logic. In this paper, we study inductive constructions using operators and show their confluence to the well-founded fixpoint of the operator. This result is one argument for the thesis that Approximation theory is the fixpoint theory of certain generalised forms of (

臆断

Astigmatism

真实的你

Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domainsemantics. This is in particular relevant in practice when programs with variables are considered, where such transformations play a basic role in (offline) simplifications of logic programs. So far, such transformations of non-ground programs have been considered under the implicit assumption that t

fertilizer

Conflict-Driven Answer Set Enumerationlity checking. We extend this approach and propose a new algorithm for enumerating answer sets. The algorithm, which to our knowledge is novel even in the context of satisfiability checking, is implemented in the . answer set solver. We contrast our new approach to alternative systems and different

肌肉

Head-Elementary-Set-Free Logic Programstive logic program can be characterized by the loop formulas of its elementary sets. Based on the notion of an elementary set, we propose the notion of head-elementary-set-free (HEF) programs, a more general class of disjunctive programs than head-cycle-free (HCF) programs proposed by Ben-Eliyahu an