Information retrieval, IR, the science of extracting information from any potential source, can b...

The annual colloquium on information retrieval research provides an opportunity for both new and ...

The book provides comprehensive coverage of the broad range of techniques that make up an effecti...

This book constitutes the refereed proceedings of the Third International Symposium on Quantum In...

The authors describe here a framework in which the type notation of functional languages is exten...

Computational learning theory is a subject which has been advancing rapidly in the last few years...

This book is a complete account of the predicate transformation calculus semantics of sequential ...

Classical logic has proved inadequate in various areas of computer science, artificial intelligen...

This book develops the theory of typed feature structures, a data structure that generalizes both...

This book is concerned with techniques for formal theorem-proving, with particular reference to C...

Belief revision is a topic of much interest in theoretical computer science and logic, and it for...

Quantum Mechanics (QM) is emerging from physics into non-physics domains (domains traditionally f...