Compact Propositional Encodings of First-Order Theories.
Deepak RamachandranEyal AmirPublished in: IJCAI (2005)
Keyphrases
- classical first order logic
- first order logic
- logical theories
- propositional theories
- logic programming
- horn clauses
- theory revision
- propositional logic
- computational problems
- logic programs
- pseudo boolean constraints
- general logic programs
- dynamic logic
- situation calculus
- computational properties
- probabilistic logic
- higher order
- predicate calculus
- refinement operators
- inductive logic programming
- knowledge representation
- knowledge base
- default logic
- action theories
- inference rules
- causal theories
- planning problems
- cognitive psychology
- probability theory
- theoretical framework