Search
Now showing items 191-200 of 212
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I
(Springer-Verlag Berlin Heidelberg, 2002)
Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, ...
Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers
(Springer-Verlag Berlin Heidelberg, 2009)
This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, ...
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with ...
Engineering Societies in the Agents World IV: 4th International Workshops, ESAW 2003, London, UK, October 29-31, 2003. Revised Selected and Invited Papers
(Springer-Verlag Berlin Heidelberg, 2004)
The fourth internationalworkshop,“EngineeringSocietiesin the Agents World” (ESAW 2003) was a three-dayevent that took place at the end of October 2003. After previous events in Germany, the Czech Republic, and Spain, the ...
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999.The volume presents 18 revised full ...
Information Modelling and Knowledge Bases XVII
(IOS Press, 2006)
Currently, the structural complexity of information resources, the variety of abstraction levels of information, and the size of databases and knowledge bases are continuously growing. We are facing the complex problems ...
Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings
(Springer-Verlag Berlin Heidelberg, 2006)
This book constitutes the refereed proceedings of the 17th International Conference on Algorithmic Learning Theory, ALT 2006, held in Barcelona, Spain in October 2006, colocated with the 9th International Conference on ...
Current Topics in Artificial Intelligence
(Springer, 2004)
This book constitutes the thoroughly refereed joint post-proceedings of the 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and the 5th Conference on Technology Transfer, TTIA 2003, ...
50 Years of Artificial Intelligence - Essays Dedicated to the 50th Anniversary of Artificial Intelligence
(Springer-Verlag Berlin Heidelberg, 2007)
In this book we provide a representative collection of papers written by the leading researchers in the field of Artificial Intelligence. All of the authors of papers in this volume attended the 50th Anniversary Summit of ...
Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings
(Springer-Verlag Berlin Heidelberg, 2006)
This book constitutes the refereed proceedings of the 17th International Conference on Algorithmic Learning Theory, ALT 2006, held in Barcelona, Spain in October 2006, colocated with the 9th International Conference on ...