温和女孩 发表于 2025-3-25 05:15:55
http://reply.papertrans.cn/59/5880/587913/587913_21.pngGRAVE 发表于 2025-3-25 08:31:25
http://reply.papertrans.cn/59/5880/587913/587913_22.pnganimated 发表于 2025-3-25 14:17:55
Locally Determined Logic Programserode, and Remmel [.] that there exists finite predicate logic programs and recursive propositional logic programs which have stable models but no hyperarithmetic stable models. In this paper, we shall define several conditions which ensure that recursive logic program has a stable model which is re灯泡 发表于 2025-3-25 16:10:00
Annotated Revision ProgramsFitting who assigned annotations to revision atoms. Annotations provide a way to quantify certainty (likelihood) that a revision atom holds. The main goal of our paper is to reexamine the work of Fitting, argue that his semantics does not always provide results consistent with intuition and to propoLAST 发表于 2025-3-25 20:55:35
http://reply.papertrans.cn/59/5880/587913/587913_25.png不自然 发表于 2025-3-26 03:03:28
An Argumentation Framework for Reasoning about Actions and Changeinto the argumentation framework of Logic Programming without Negation as Failure (LPwNF). This translation enables us 1) to understand default persistence as captured by various temporal reasoning frameworks in a simple and natural way, by assigning higher priority to information about effects of lGLIB 发表于 2025-3-26 07:45:50
Representing Transition Systems by Logic Programsheories and with action language ..We show here that many of the ideas developed in that work can be formulated in terms of logic programs under the answer set semantics, without mentioning causal theories. The translations from . into logic programming that we investigate serve as a basis for the u缩影 发表于 2025-3-26 11:20:19
http://reply.papertrans.cn/59/5880/587913/587913_28.png引导 发表于 2025-3-26 15:22:08
From Causal Theories to Logic Programs (Sometimes)assical negation [.]. We found this translation interesting for at least the following two reasons: it provides a basis on which a wide class of causal theories in ([.]) can be computed; and it sheds some new lights on the nature of the causal theories in [.]. Our translation is in many ways similarscrutiny 发表于 2025-3-26 20:26:16
Monotone Expansion of Updates in Logical Databasesation is proven to be a Σ..-complete problem. We define a class of operators expanding the input updates correctly with respect to the IC. The particular monotone expansion operator we describe is incrementally computed in square time. It provides a practical optimization of the standard complete ch