Keyphrases
- invited talk
- selected papers
- knowledge discovery and data mining
- predicate logic
- modal logic
- asynchronous circuits
- carefully reviewed and selected from submissions
- logical framework
- classical logic
- program committee
- deontic logic
- database
- logic programming
- information systems
- artificial intelligence
- information retrieval
- neural network