Keyphrases
- modal logic
- logic programming
- viewpoint
- computational properties
- relevance feedback
- information retrieval
- automated reasoning
- databases
- information technology
- web pages
- social networks
- artificial intelligence
- ranked list
- learning algorithm
- classical logic
- highly relevant
- digital circuits
- sound and complete axiomatization