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

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

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

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

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

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

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...

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

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

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

The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held ...

This book constitutes the refereed proceedings of the Second International Conference on Multilin...