scientific article; zbMATH DE number 4158606
From MaRDI portal
Publication:3486549
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
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)