Keyphrases
- computer science
- lecture notes
- modal logic
- social sciences
- information science
- logic programming
- related topics
- computer scientists
- artificial intelligence
- predicate logic
- data mining
- selected papers
- asynchronous circuits
- geometric features
- digital circuits
- nonmonotonic logics
- proof theory
- computational properties
- classical logic
- logical framework
- computer architecture
- geometric constraints
- information systems
- machine learning