In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.
Costas D. KoutrasChristos RantsoudisPublished in: ECSQARU (2015)
Keyphrases
- model theoretic
- default reasoning
- default rules
- proof theoretic
- nonmonotonic inference
- conditional logic
- nonmonotonic reasoning
- deductive databases
- decision procedures
- belief revision
- fixpoint
- description logics
- operational semantics
- default logic
- logic programs
- minimal change
- modal logic
- probabilistic reasoning
- proof theory
- partial order
- logic programming
- database
- constraint logic programming
- default theories