温和女孩 发表于 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
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Logic Programming and Nonmonotonic Reasoning; 5th International Co Michael Gelfond,Nicola Leone,Gerald Pfeifer Conference proceedings 1999