Optimized Translation of Multi Modal Logic into Predicate Logic.
Hans Jürgen OhlbachPublished in: LPAR (1993)
Keyphrases
- modal logic
- predicate logic
- temporal logic
- model checking
- inference rules
- formal logic
- epistemic logic
- knowledge representation and reasoning
- classical logic
- conditional logic
- nonmonotonic logics
- situation calculus
- semantic network
- machine translation
- knowledge representation
- prime implicates
- data mining
- kripke models
- default logic
- belief revision
- low level
- artificial intelligence
- information retrieval