A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae.
Renate A. SchmidtUllrich HustadtPublished in: CADE (2003)
Keyphrases
- horn clauses
- first order logic
- valued logic
- decision diagrams
- logical theories
- higher order
- action theories
- machine translation
- inference rules
- modal logic
- quantifier elimination
- knowledge base
- inductive logic programming
- cross language information retrieval
- stochastic dominance
- nonmonotonic logics
- query translation
- propositional logic
- logic programs
- machine translation system
- situation calculus
- knowledge representation