Relating minimal models and pre-requisite-free normal defaults

DOI10.1016/0020-0190(92)90052-WzbMath0759.68016WikidataQ109585673 ScholiaQ109585673MaRDI QIDQ1205716

Jorge Lobo, V. S. Subrahmanian

Publication date: 1 April 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

default logicnegationnon-monotonic reasoningnon-Horn logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formalizing nonmonotonic reasoning systems
• On the relation between default and autoepistemic logic
• On the relationship between circumscription and negation as failure
• A logic for default reasoning
• A fixpoint semantics for disjunctive logic programs
• Computing protected circumscription

This page was built for publication: Relating minimal models and pre-requisite-free normal defaults