Keyphrases
- formal theory
- modal operators
- modal logic
- classical logic
- logic programming
- empirical evidence
- multi valued
- computational properties
- database systems
- search algorithm
- causal reasoning
- abductive reasoning
- defeasible logic
- digital circuits
- logical framework
- predicate logic
- epistemic logic
- complete axiomatization
- evidential reasoning
- neural network
- description logics
- query language
- expert systems
- decision making
- information systems