In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on 'Overwhelming Majority' Default Conditionals.
Costas D. KoutrasChristos RantsoudisPublished in: J. Log. Lang. Inf. (2017)
Keyphrases
- model theoretic
- default rules
- default reasoning
- proof theoretic
- nonmonotonic inference
- conditional logic
- nonmonotonic reasoning
- deductive databases
- description logics
- decision procedures
- default logic
- logic programs
- belief revision
- minimal change
- fixpoint
- modal logic
- operational semantics
- probabilistic reasoning
- partial order
- logic programming
- proof theory
- probabilistic logic
- search algorithm
- query evaluation
- conjunctive queries
- machine learning
- sql queries
- theorem proving