Keyphrases
- logic programming
- asynchronous circuits
- classical logic
- modal logic
- proof theory
- predicate logic
- logical framework
- multi valued
- automated reasoning
- learning algorithm
- real time
- logic programs
- multi agent systems
- natural language
- inference rules
- decision trees
- computer vision
- neural network
- defeasible logic
- databases
- database