Keyphrases
- special issue
- ecml pkdd
- ai edam
- international journal
- applied intelligence
- modal logic
- computational properties
- set theory
- complete axiomatization
- logic programming
- knowledge base
- logical theories
- special section
- sound and complete axiomatization
- classical logic
- horn clauses
- first order logic
- fuzzy sets
- multi valued
- multimedia
- information systems