scientific article; zbMATH DE number 4158606

zbMATH Open0706.03024MaRDI QIDQ3486549FDOQ3486549

Authors: Wiktor Marek, Mirosław Truszczyński 

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 97791
• On embedding default logic into Moore's autoepistemic logic
• Uniform semantic treatment of default and autoepistemic logics
• On the relation between default and autoepistemic logic
• scientific article; zbMATH DE number 1538053

zbMATH Keywords

extensionnonmonotonic reasoningdefault logicautoepistemic logicstrongly grounded expansion

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30)

Cited In (36)

• Uniform semantic treatment of default and autoepistemic logics
• On the relation between default and modal nonmonotonic reasoning
• Modal logic for default reasoning
• Strong backdoors for default logic
• Cumulative default logic: In defense of nonmonotonic inference rules
• Three-valued nonmonotonic formalisms and semantics of logic programs
• Stable and extension class theory for logic programs and default logics
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• My work with Victor Marek: a mathematician looks at answer set programming
• Reasoning credulously and skeptically within a single extension
• A survey of non-monotonic reasoning
• Thirty years of Epistemic Specifications
• A logic of knowledge and justified assumption
• Title not available (Why is that?)
• Title not available (Why is that?)
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
• On embedding default logic into Moore's autoepistemic logic
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• Autoepistemic logic revisited
• Strong backdoors for default logic
• Limited reasoning in first-order knowledge bases with full introspection
• Title not available (Why is that?)
• Trans-epistemic semantics for logic programs
• Nonmonotonic reasoning by monotonic inferences with priority constraints
• Grounded fixpoints and their applications in knowledge representation
• Default logic generalized and simplified
• Autoepistemic answer set programming
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• Modal logic based theory for non-monotonic reasoning
• Reiter's default logic is a logic of autoepistemic reasoning and a good one, too
• Moral dilemmas and nonmonotonic logic
• Default reasoning using classical logic
• Relating minimal models and pre-requisite-free normal defaults
• On the relation between default and autoepistemic logic
• 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 Q3486549)