Local Normal Forms for First-Order Logic with Applications to Games and Automata.
Thomas SchwentickKlaus BarthelmannPublished in: Discret. Math. Theor. Comput. Sci. (1999)
Keyphrases
- first order logic
- normal form
- function symbols
- relational algebra
- expressive power
- timed automata
- propositional logic
- theorem proving
- database design
- relational databases
- inference rules
- functional dependencies
- knowledge representation
- inductive logic programming
- database theory
- transitive closure
- theorem prover
- probabilistic reasoning
- horn clauses
- incomplete information
- finite automata
- database
- multi valued
- markov logic networks
- dl lite
- relational calculus
- machine learning
- databases
- finite state
- relational database systems
- database systems
- database applications
- regular expressions
- integrity constraints