scientific article; zbMATH DE number 4158607

zbMATH Open0706.03025MaRDI QIDQ3486550FDOQ3486550

Authors: Vladimir Lifschitz 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (18)

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

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)