Keyphrases
- relational learning
- conditional logic
- general logic programs
- linear temporal logic
- first order logic
- predicate calculus
- decision diagrams
- higher order
- relational data
- database language
- logic programming
- horn clauses
- multi valued
- modal logic
- relational databases
- probabilistic logic
- classical first order logic
- relational model
- logic programs
- quantifier free
- finite model theory
- relational structures
- classical logic
- statistical relational learning
- multi relational
- data model
- logical framework
- epistemic logic
- proof theory
- quantifier elimination
- default reasoning
- logical theories
- belief revision
- automated reasoning
- nonmonotonic reasoning
- information extraction