A sphere world semantics for default reasoning
From MaRDI portal
Recommendations
Cites work
- A logic for default reasoning
- A logical framework for default reasoning
- Conditional logics of normality: A modal approach
- Formalizing nonmonotonic reasoning systems
- General logical databases and programs: Default logic semantics and stratification
- scientific article; zbMATH DE number 3831894 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 44622 (Why is no real title available?)
- scientific article; zbMATH DE number 1333625 (Why is no real title available?)
- scientific article; zbMATH DE number 478394 (Why is no real title available?)
- scientific article; zbMATH DE number 194964 (Why is no real title available?)
- Knowledge in flux. Modeling the dynamics of epistemic states
- Negation by default and unstratifiable logic programs
- Nonmonotonic inference based on expectations
- On the logic of theory change: Partial meet contraction and revision functions
- Two modellings for theory change
- Unifying default reasoning and belief revision in a modal framework
Cited in
(3)
This page was built for publication: A sphere world semantics for default reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101449)
