Keyphrases
- model theoretic
- action theories
- operational semantics
- logic programs
- computational properties
- derived predicates
- logic programming
- first order logic
- formal semantics
- association rules
- knowledge base
- production rules
- answer set programming
- relational databases
- sequent calculus
- rule engine
- semantics for logic programs
- deduction rules