Keyphrases
- logic programming
- possibilistic logic
- defeasible logic
- commonsense reasoning
- default logic
- logic programming language
- inference engine
- software engineering
- formal theory
- argumentation frameworks
- case study
- decision trees
- real time
- database
- special case
- multi agent systems
- pattern recognition
- reinforcement learning
- artificial intelligence