Local Normal Forms for First-Order Logic with Applications to Games and Automata.
Thomas SchwentickKlaus BarthelmannPublished in: STACS (1998)
Keyphrases
- first order logic
- normal form
- function symbols
- relational algebra
- expressive power
- timed automata
- propositional logic
- theorem proving
- relational databases
- database design
- knowledge representation
- theorem prover
- functional dependencies
- database theory
- inductive logic programming
- inference rules
- probabilistic reasoning
- transitive closure
- finite state
- horn clauses
- markov logic networks
- incomplete information
- integrity constraints
- finite automata
- relational calculus
- knowledge base
- regular expressions
- model checking
- database applications
- np complete
- natural language
- databases