Keyphrases
- modal logic
- logic programming
- classical logic
- database
- multi valued
- sound and complete axiomatization
- truth values
- automated reasoning
- inference rules
- asynchronous circuits
- abductive reasoning
- computational properties
- logical framework
- logic programs
- expert systems
- data structure
- information retrieval
- neural network
- data sets
- real time