Modal Nonmonotonic Logics Demodalized.
Alexander BochmanPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- nonmonotonic logics
- modal logic
- default logic
- propositional logic
- nonmonotonic reasoning
- autoepistemic logic
- default theories
- modal operators
- data mining
- decision trees
- logic programming
- formal specification
- strong and uniform equivalence
- defeasible logic
- default reasoning
- temporal logic
- first order logic
- building blocks
- artificial intelligence