Keyphrases
- function symbols
- answer set programming
- horn clauses
- logic programs
- logic programming
- reasoning tasks
- answer sets
- knuth bendix
- first order logic
- equational theories
- fixpoint
- knowledge representation
- query answering
- normal form
- inference rules
- database systems
- fixed point
- data management
- data sources
- domain knowledge
- bayesian networks