Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Damien DoligezJael KrienerLeslie LamportTomer LibalStephan MerzPublished in: ARQNL@IJCAR (2014)
Keyphrases
- modal logic
- conditional logic
- decision procedures
- inference rules
- temporal logic
- automated reasoning
- probabilistic logic
- nonmonotonic logics
- epistemic logic
- situation calculus
- model theoretic
- first order logic
- knowledge representation
- default logic
- reasoning systems
- default reasoning
- classical logic
- model checking
- natural language
- reasoning tasks
- logical framework
- legal reasoning
- horn clauses
- dynamic logic
- knowledge base
- probabilistic reasoning
- knowledge representation and reasoning
- belief revision
- special case
- query processing
- multi agent
- reasoning processes
- artificial intelligence