LEERY
发表于 2025-3-23 13:11:09
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
发表于 2025-3-23 13:54:14
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negationlogic programs . 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
感情脆弱
发表于 2025-3-23 21:31:38
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
闷热
发表于 2025-3-24 01:07:19
http://reply.papertrans.cn/59/5880/587918/587918_14.png
有组织
发表于 2025-3-24 05:23:32
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 (
臆断
发表于 2025-3-24 08:36:18
http://reply.papertrans.cn/59/5880/587918/587918_16.png
Astigmatism
发表于 2025-3-24 13:24:35
http://reply.papertrans.cn/59/5880/587918/587918_17.png
真实的你
发表于 2025-3-24 18:28:41
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
发表于 2025-3-24 21:39:50
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
肌肉
发表于 2025-3-25 02:40:03
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