Keyphrases
- formal theory
- belief update
- modal logic
- logic programming
- modal operators
- classical logic
- qualitative reasoning
- automated reasoning
- causal reasoning
- database
- proof theory
- multi valued
- sound and complete axiomatization
- truth values
- digital circuits
- defeasible logic
- spatial reasoning
- spatial relations
- case study
- information retrieval
- databases