First Order Formulas with Modular Predicates.
Laura ChaubardJean-Eric PinHoward StraubingPublished in: LICS (2006)
Keyphrases
- horn clauses
- quantifier free
- quantifier elimination
- first order logic
- logical formulas
- rewrite systems
- real numbers
- logic programs
- inference rules
- inductive logic programming
- predicate calculus
- relational data model
- predicate logic
- cardinality constraints
- functional programming
- fixpoint
- modular structure
- propositional logic
- neural network
- theorem proving
- function symbols
- higher order
- knowledge base
- action theories
- database queries
- partial order
- integrity constraints
- term rewriting
- relational databases