scientific article

zbMath0706.03025MaRDI QIDQ3486550

Vladimir Lifschitz

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nonmonotonic logicautoepistemic logiccircumscriptionfixpointslogic programming with negationcommon- sense reasoningGelfond/Lifschitz semantics

Mathematics Subject Classification ID

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

Related Items (12)

Lifschitz and Circumscription ⋮ Autoepistemic logic of first order and its expressive power ⋮ Embedding circumscriptive theories in general disjunctive programs ⋮ Dynamic reasoning with qualified syllogisms ⋮ Impediments to universal preference-based default theories ⋮ Three-valued nonmonotonic formalisms and semantics of logic programs ⋮ On the autoepistemic reconstruction of logic programming ⋮ The alternating fixpoint of logic programs with negation ⋮ John McCarthy's legacy ⋮ Autoepistemic circumscription and logic programming ⋮ The complexity of predicate default logic over a countable domain ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

This page was built for publication: