An Application of First-Order Logic to The Study of Recognizable Languages.
Pedro V. SilvaPublished in: Int. J. Algebra Comput. (2004)
Keyphrases
- first order logic
- expressive power
- inference rules
- theorem prover
- logical rules
- propositional logic
- knowledge representation
- information extraction
- constraint databases
- highly expressive
- inductive logic programming
- relational algebra
- query language
- markov networks
- transitive closure
- probabilistic graphical models
- machine learning