Search
Now showing items 31-40 of 212
Knowledge Discovery and Data Mining. Current Issues and New Applications: 4th Pacific-Asia Conference, PAKDD 2000 Kyoto, Japan, April 18–20, 2000 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
The Fourth Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2000) was held at the Keihanna-Plaza, Kyoto, Japan, April 18 - 20, 2000. PAKDD 2000 provided an international forum for researchers and ...
Plan-Based Control of Robotic Agents: Improving the Capabilities of Autonomous Robots
(Springer-Verlag Berlin Heidelberg, 2002)
Robotic agents, such as autonomous office couriers or robot tourguides, must be both reliable and efficient. Thus, they have to flexibly interleave their tasks, exploit opportunities, quickly plan their course of action, ...
Advances in Artificial Intelligence - IBERAMIA 2004: 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This book constitutes the refereed proceedings of the 9th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2004, held in Puebla, Mexico in November 2004.The 97 revised full papers presented were carefully ...
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
(Springer-Verlag Berlin Heidelberg, 2005)
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised ...
Introduction to Artificial Intelligence (2 ed.)
(Springer, 2017)
This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field, describing practical ...
Encyclopedia of Artificial Intelligence
(Information Science Reference, 2009)
'This book is a comprehensive and in-depth reference to the most recent developments in the field covering theoretical developments, techniques, technologies, among others''.
Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
The 11th Conference “Artificial Intelligence: Methodology, Systems, Applications – Semantic Web Challenges” (AIMSA 2004) continued successfully pursuing the main aim of the AIMSA series of conferences – to foster the ...
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
(Springer-Verlag Berlin Heidelberg, 2005)
This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice ...
RoboCup 2003: Robot Soccer World Cup VII
(Springer-Verlag Berlin Heidelberg, 2004)
This book constitutes the seventh official archival publication devoted to RoboCup. It documents the achievements presented at the 7th Robot World Cup Soccer and Rescue Competition and Conferences held in Padua, Italy, in ...
Intelligent Agents and Multi-Agent Systems: 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003
(Springer-Verlag Berlin Heidelberg, 2003)
Five years ago, with excitement and uncertainty, we witnessed the birth of PRIMA (Paci?c Rim International Workshop on Multi-Agents). The first PRIMA in 1998 has now grown into PRIMA 2003, the 6th Pacific Rim International ...