Modal Logic
2002
Knowledge Graphs
2020
Modal logic and process algebra
1995
Advances in intensional logic
1997
Survey of Query Auto Completion in Information Retrieval
2016
Advances in Modal Logic, Volume 2
2001
Logic Colloquium '92
2022
Click Models for Web Search
2015
Expertise Retrieval
2012
Multilingual and Multimodal Information Access Evaluation
2010
Frontiers of combining systems 2
1999
Information Discovery in E-Commerce
2025
Advances in Information Retrieval
2014
Diamonds and defaults
1993
Specifying syntactic structures
1997
Logic, language, and computation
1996
Extending modal logic
1993
Click Models for Web Search
2015
