First Order Logic as a Tool to Solve and Classify Problems.
Daniele MariniPierangelo MiglioliMario OrnaghiPublished in: GI Jahrestagung (1975)
Keyphrases
- first order logic
- expressive power
- theorem proving
- theorem prover
- propositional logic
- knowledge representation
- inference rules
- np complete
- probabilistic graphical models
- inductive logic programming
- relational algebra
- transitive closure
- machine learning
- relational structures
- representation language
- constraint satisfaction problems
- relational databases
- artificial intelligence