Counter-Free Automata, First-Order Logic and Star-Free Expressions.
Ina SchieringWolfgang ThomasPublished in: Developments in Language Theory (1995)
Keyphrases
- first order logic
- expressive power
- theorem proving
- transitive closure
- propositional logic
- inference rules
- probabilistic reasoning
- timed automata
- markov logic
- inductive logic programming
- markov networks
- probabilistic graphical models
- relational algebra
- horn clauses
- representation language
- graphical models
- data mining
- constraint databases
- relational calculus
- predicate calculus
- knowledge representation
- artificial intelligence