Keyphrases
- information retrieval
- relative importance
- asynchronous circuits
- automated reasoning
- sound and complete axiomatization
- dynamic logic
- deontic logic
- modal logic
- test collection
- search engine
- information retrieval systems
- probability theory
- database
- defeasible logic
- highly relevant
- predicate logic
- relevance feedback
- information systems
- proof theory
- delay insensitive
- logic synthesis
- neural network