Formalizing nonmonotonic reasoning systems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4047198
- scientific article; zbMATH DE number 517025
- A logic programming system for nonmonotonic reasoning
- scientific article; zbMATH DE number 1754685
- Specification of nonmonotonic reasoning
- Specification of nonmonotonic reasoning
- scientific article; zbMATH DE number 4202232
- Nonmonotonic reasoning: Towards efficient calculi and implementations
- scientific article; zbMATH DE number 1218288
Cites work
- scientific article; zbMATH DE number 3694633 (Why is no real title available?)
- scientific article; zbMATH DE number 43242 (Why is no real title available?)
- A logic for default reasoning
- Extended inference modes in reasoning by computer systems
- Formalizing nonmonotonic reasoning systems
- Non-monotonic logic. I
- Some representational issues in default reasoning
Cited in
(55)- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Formal Methods for Nonmonotonic and Related Logics
- Operational concepts of nonmonotonic logics. I: Default logic
- A survey of non-monotonic reasoning
- scientific article; zbMATH DE number 1322636 (Why is no real title available?)
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic
- scientific article; zbMATH DE number 1416106 (Why is no real title available?)
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Compiling specificity into approaches to nonmonotonic reasoning
- Defeasible inheritance on cyclic networks
- Modal logic for default reasoning
- Defeasible inheritance: A lattice based approach
- Saying more with frames: Slots as classes
- Relating minimal models and pre-requisite-free normal defaults
- A tableau prover for domain minimization
- Nonmonotonic logic and temporal projection
- Fixed-parameter tractability of disjunction-free default reasoning
- Artificial nonmonotonic neural networks
- Default theories that always have extensions
- Resolving ambiguity in nonmonotonic inheritance hierarchies
- Default reasoning using classical logic
- How to reason defeasibly
- Inheritance systems with exceptions
- Nonmonotonicity and the scope of reasoning
- Outlier detection using default reasoning
- scientific article; zbMATH DE number 440108 (Why is no real title available?)
- Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
- REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗
- A sphere world semantics for default reasoning
- The theory of nomic probability
- scientific article; zbMATH DE number 408775 (Why is no real title available?)
- A logical framework for default reasoning
- A proof method for closed normal default theories
- Alternative foundations for Reiter's default logic
- Reasoning with vague default
- Defaults as restrictions on classical Hilbert-style proofs
- Alternative approaches to default logic
- scientific article; zbMATH DE number 176156 (Why is no real title available?)
- Making the right exceptions
- New proofs in default logic theory
- Is default logic a reinvention of inductive-statistical reasoning?
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Formalizing nonmonotonic reasoning systems
- The anomalous extension problem in default reasoning
- Nonmonotonic rule systems with recursive sets of restraints
- Tableau-based characterization and theorem proving for default logic
- A formalization of reasoning not derived from standard predicate logic
- Prioritized logic programming and its application to commonsense reasoning
- Modal logic based theory for non-monotonic reasoning
- Translating multi-agent autoepistemic logic into logic program
- Nonmonotonic reasoning: Towards efficient calculi and implementations
- A theory of nonmonotonic rule systems. II
- Yet some more complexity results for default logic
- Ordered seminormal default theories and their extensions
- A theory of nonmonotonic rule systems I
This page was built for publication: Formalizing nonmonotonic reasoning systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1099647)
