Keyphrases
- classical logic
- exception handling
- logic programming
- object oriented
- domain independent
- modal logic
- conflict resolution
- object oriented programming
- workflow management
- workflow management systems
- intuitionistic logic
- agent systems
- databases
- default logic
- logic programs
- general purpose
- expert systems
- electronic commerce
- dynamic environments
- knowledge representation
- possibility theory
- database systems
- machine learning
- valued logic