Keyphrases
- modal logic
- logic programming
- multi valued
- classical logic
- predicate logic
- random access memory
- automated reasoning
- epistemic logic
- data sets
- belief revision
- sound and complete axiomatization
- proof theory
- programmable logic
- asynchronous circuits
- deontic logic
- set theory
- packing problem
- knowledge representation
- case study
- information retrieval
- databases