Titlebook: Logic Programming and Nonmonotonic Reasoning; Third International V. Wiktor Marek,Anil Nerode,M. Truszczyński Conference proceedings 1995

开始没有

名词

Loop checking and the well-founded semantics,und with respect to the well-founded semantics; for finite programs, it is also complete. A Prolog-style proof search strategy for a modification of this calculus provides a query evaluation algorithm for finite propositional programs under the well-founded semantics. This algorithm is implemented a

滔滔不绝地说

Annotated revision specification programs, their idea to allow for confidence factors, multiple experts, and so on. The appropriate programming mechanism turns out to be . and the appropriate semantic tool, .. This may be the first example of a setting in which both notions arise naturally, and complement each other. We also show that sever

Antagonism

CLAIM

Revision by communication,udy such revisions in a framework where a number of semantical agents is distinguished, each agent associated with a different semantics but all agents interpreting the same program. If an agent cannot find an acceptable model for the program, he has to perform program revision. For logic programs,

Factorable

Hypothetical updates, priority and inconsistency in a logic programming language,uences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. The revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. This language can be used to perfor

Progesterone

Congregate

On the extension of logic programming with negation through uniform proofs,confusing status of semantics. In this paper we show that elegant, yet natural semantics can be obtained by building a mechanism of justifying default assumptions on top of a proof system. In particular, we propose extended logic programming languages with negation through .. The result is a very ge

mighty

LITHE

Skeptical rational extensions,r used together in constructing a set of default consequences of a theory; (2) the reasoning formalized by our logic is related to the traditional skeptical mode of default reasoning. Our logic is based on the concept of a .. We give characterization results for skeptical rational extensions and an