scientific article
From MaRDI portal
Publication:3486549
zbMath0706.03024MaRDI QIDQ3486549
Victor W. Marek, Miroslaw Truszczynski
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (24)
A context for belief revision: forward chaining-normal nonmonotonic rule systems ⋮ A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ Modal logic based theory for non-monotonic reasoning ⋮ Modal logic for default reasoning ⋮ Default reasoning using classical logic ⋮ Limited reasoning in first-order knowledge bases with full introspection ⋮ Autoepistemic logic revisited ⋮ Trans-epistemic semantics for logic programs ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Thirty years of Epistemic Specifications ⋮ Three-valued nonmonotonic formalisms and semantics of logic programs ⋮ Cumulative default logic: In defense of nonmonotonic inference rules ⋮ Stable and extension class theory for logic programs and default logics ⋮ The relationship between stable, supported, default and autoepistemic semantics for general logic programs ⋮ A logic of knowledge and justified assumption ⋮ Relating minimal models and pre-requisite-free normal defaults ⋮ A survey of non-monotonic reasoning ⋮ Autoepistemic answer set programming ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ My work with Victor Marek: a mathematician looks at answer set programming ⋮ Default logic generalized and simplified ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ Uniform semantic treatment of default and autoepistemic logics ⋮ Moral dilemmas and nonmonotonic logic
This page was built for publication:
