Search
Now showing items 31-40 of 193
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 ...
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 ...
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
(Springer, 2004)
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.The 52 revised full papers and 15 revised systems ...
Handbook of Constraint Programming
(Elsevier, 2006)
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations ...