Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in...

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in...

This volume contains a selection of papers presented at a Seminar on Intensional Logic held at th...

In information retrieval, query auto completion (QAC), also known as type-ahead and auto-complete...

This modern, advanced textbook on modal logic is intended both for novices and for more experienc...

This volume contains a selection of papers presented at a Seminar on Intensional Logic held at th...

This book constitutes the proceedings of the 36th European Conference on IR Research, ECIR 2014, ...

This book constitutes the thoroughly refereed postproceedings of the 7th Workshop of the Cross-La...

The aim of this survey is to bridge two important components of modern information access: inform...

With the rapid growth of web search in recent years the problem of modeling its users has started...