Keyphrases
- computational properties
- set theory
- probability theory
- predicate logic
- real time
- expressive power
- modal logic
- proof theory
- classical logic
- nonmonotonic logics
- abductive reasoning
- deontic logic
- linear logic
- sound and complete axiomatization
- environmental protection
- automated reasoning
- multi agent systems
- learning algorithm