Keyphrases
- international workshop
- classical logic
- domain driven data mining
- logic programming
- hong kong
- revised selected papers
- acm sigkdd
- modal logic
- pacific rim
- lecture notes in artificial intelligence
- selected papers
- intuitionistic logic
- default logic
- international conference
- data model
- incomplete information
- knowledge representation
- nonmonotonic reasoning
- neural network