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