First-order logic learning in Artificial Neural Networks.
Mathieu Guillame-BertKrysia BrodaArtur S. d'Avila GarcezPublished in: IJCNN (2010)
Keyphrases
- first order logic
- artificial neural networks
- markov logic
- theorem proving
- markov logic networks
- background knowledge
- expressive power
- representation language
- learning algorithm
- propositional logic
- inference rules
- probabilistic graphical models
- markov networks
- knowledge representation
- database systems
- relational algebra
- transitive closure
- inductive logic programming
- data model
- constraint databases