Keyphrases
- quantum computation
- information retrieval
- modal logic
- databases
- classical logic
- classical first order logic
- computational properties
- probabilistic logic
- relative importance
- genetic algorithm
- probability theory
- automated reasoning
- ranked list
- knowledge base
- defeasible logic
- nonmonotonic logics
- relevance ranking
- digital circuits
- predicate logic
- asynchronous circuits
- dynamic logic
- machine learning
- database