scientific article; zbMATH DE number 4158607

MaRDI QIDQ3486550zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 1989

zbMATH Keywords

circumscriptionnonmonotonic logicfixpointsautoepistemic logiclogic programming with negationcommon- sense reasoningGelfond/Lifschitz semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• Autoepistemic circumscription and logic programming
• Operational concepts of nonmonotonic logics. II: Autoepistemic logic
• Publication:5750425
• scientific article; zbMATH DE number 640290
• Autocircumscription

Cited in

(19)

• scientific article; zbMATH DE number 4185059 (Why is no real title available?)
• Revisiting quantification in autoepistemic logic
• Autocircumscription
• Lifschitz and Circumscription
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• Reconsideration of circumscriptive induction with pointwise circumscription
• Logic programming
• John McCarthy's legacy
• Autoepistemic logic of first order and its expressive power
• Autoepistemic circumscription and logic programming
• On the autoepistemic reconstruction of logic programming
• Embedding circumscriptive theories in general disjunctive programs
• Impediments to universal preference-based default theories
• scientific article; zbMATH DE number 35418 (Why is no real title available?)
• The alternating fixpoint of logic programs with negation
• The complexity of predicate default logic over a countable domain
• scientific article; zbMATH DE number 60835 (Why is no real title available?)
• Dynamic reasoning with qualified syllogisms
• Three-valued nonmonotonic formalisms and semantics of logic programs

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 Q3486550)