温和女孩
发表于 2025-3-25 05:15:55
http://reply.papertrans.cn/59/5880/587913/587913_21.png
GRAVE
发表于 2025-3-25 08:31:25
http://reply.papertrans.cn/59/5880/587913/587913_22.png
animated
发表于 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 propo
LAST
发表于 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 l
GLIB
发表于 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 similar
scrutiny
发表于 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