Keyphrases
- weight assignment
- rough sets
- logic programming
- decision making
- modal logic
- sound and complete axiomatization
- real world
- computational properties
- real time
- logic synthesis
- predicate logic
- classical logic
- pattern recognition
- database
- logical framework
- information systems
- knowledge base
- defeasible logic
- nonmonotonic logics
- data analysis
- abductive reasoning
- delay insensitive
- data sets
- website