Keyphrases
- logic programming
- logic based argumentation
- complex systems
- classical logic
- proof procedures
- ambient intelligence
- software systems
- modal logic
- database
- computational properties
- set theory
- multi valued
- argumentation theory
- argumentation systems
- predicate logic
- conditional logic
- automated reasoning
- belief revision
- learning algorithm
- neural network