保留
发表于 2025-3-26 23:26:33
http://reply.papertrans.cn/59/5880/587917/587917_31.png
innovation
发表于 2025-3-27 01:29:01
Splitting a CR-Prolog Program the introduction in A-Prolog of . (cr-rules for short), and allows an elegant formalization of events or exceptions that are unlikely, unusual, or undesired. The flexibility of the language has been extensively demonstrated in the literature, with examples that include planning and diagnostic reaso
条街道往前推
发表于 2025-3-27 06:06:27
Contextual Argumentation in Ambient Intelligenceble context information render contextual reasoning a very challenging task. Most current Ambient Intelligence systems have not successfully addressed these challenges, as they rely on simplifying assumptions, such as perfect knowledge of context, centralized context, and unbounded computational and
FLAGR
发表于 2025-3-27 09:28:59
http://reply.papertrans.cn/59/5880/587917/587917_34.png
刀锋
发表于 2025-3-27 15:03:28
A Revised Concept of Safety for General Answer Set Programsing a safety condition on program rules. If we go beyond the syntax of disjunctive programs, for instance by allowing rules with nested expressions, or perhaps even arbitrary first-order formulas, new definitions of safety are required. In this paper we consider a new concept of safety for formulas
Facilities
发表于 2025-3-27 21:19:39
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programst Programming (ASP) systems, such as the inability of handling infinite domains. On the other hand, admitting function symbols in ASP makes inference undecidable in the general case. Lately, the research community is focusing on finding proper subclasses for which decidability of inference is guaran
Supplement
发表于 2025-3-27 21:58:15
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programsve context-dependent input from other modules, while allowing (mutually) recursive module calls. This can be used for more succinct and natural problem representation at the price of an exponential increase of evaluation time. In this paper, we aim at an efficient top-down evaluation of MLPs, consid
Substance-Abuse
发表于 2025-3-28 03:25:38
Complexity of the Stable Model Semantics for Queries on Incomplete Databasesctive Datalog with negation under the stable model semantics. We consider both possible and certain answers and both closed- and open-world interpretation of . with and without conditions. By reduction to stable models of logic programs we find that, under closed-world interpretation, adding negatio
藐视
发表于 2025-3-28 09:37:16
Manifold Answer-Set Programs for Meta-reasoningc program. Simple reasoning over answer sets is sometimes supported by ASP systems (usually in the form of computing brave or cautious consequences), but slightly more involved reasoning problems require external postprocessing. Generally speaking, it is often desirable to use (a subset of) brave or
铁砧
发表于 2025-3-28 14:01:42
A Deductive System for FO(ID) Based on Least Fixpoint Logicpaper is to extend Gentzen’s sequent calculus to obtain a deductive inference method for FO(ID). The main difficulty in building such a proof system is the representation and inference of unfounded sets. It turns out that we can represent unfounded sets by least fixpoint expressions borrowed from st