Keyphrases
- boolean logic
- multi valued
- boolean functions
- truth table
- real valued
- classical logic
- logic programming
- information systems
- abductive reasoning
- predicate logic
- defeasible logic
- automated reasoning
- sound and complete axiomatization
- database
- computational properties
- modal logic
- programming language
- query language
- expert systems
- real world
- real time