Keyphrases
- knowledge base
- logic programming
- reasoning engine
- expert systems
- modal logic
- knowledge representation
- description logics
- deductive reasoning
- rule base
- semantic network
- knowledge based systems
- automated reasoning
- defeasible logic
- multi valued
- possibilistic logic
- asynchronous circuits
- databases
- knowledge acquisition
- artificial intelligence
- database
- proof theory
- neural network
- delay insensitive
- domain experts
- domain knowledge
- classical logic
- computational properties
- case study
- information systems