scientific article; zbMATH DE number 140387

MaRDI QIDQ4028794zbMATH OpenFDO

Authors Hector Geffner

Publication date 28 March 1993

zbMATH Keywords

approximations of the proof-theorynon-monotonic logicsstable modelssupportwell-founded semantics

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 431928
• Representing Defaults and Negative Information Without Negation-as-Failure
• A theory of nonmonotonic rule systems. II
• scientific article; zbMATH DE number 65758
• An abductive framework for extended logic programming

Cited in

(15)

• Minimal belief and negation as failure
• What is failure? An approach to constructive negation
• `Classical' negation in nonmonotonic reasoning and logic programming
• An abstract, argumentation-theoretic approach to default reasoning
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• A nondeterministic well-founded semantics
• The role of negation in nonmonotonic logic and defeasible reasoning
• N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
• Negation as failure. II
• scientific article; zbMATH DE number 4101148 (Why is no real title available?)
• Negation as failure in the head
• A framework to incorporate non-monotonic reasoning into constraint logic programming
• scientific article; zbMATH DE number 2044479 (Why is no real title available?)
• Alternative evidence for nonnegativity
• Conditional entailment: bridging two approaches to default reasoning.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028794)