Keyphrases
- knowledge base
- sound and complete axiomatization
- action theories
- set theory
- logic programming
- horn clauses
- classical logic
- computational properties
- predicate logic
- multi valued
- database
- formal theory
- defeasible logic
- logical framework
- modal logic
- nonmonotonic logics
- automated reasoning
- valued logic
- logical theories
- complete axiomatization
- website