Search
Now showing items 1-10 of 27
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
(Springer-Verlag Berlin Heidelberg, 2005)
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The ...
RoboCup-98: Robot Soccer World Cup III
(Springer-Verlag Berlin Heidelberg, 2002)
This book is the third official archival publication devoted to RoboCup and documents the achievements presented at the Third Robot World Cup Soccer Games and Conferences, Robo-Cup-99, held in Stockholm, Sweden in July/August ...
Intelligent Systems and Soft Computing: Prospects, Tools and Applications
(Springer-Verlag Berlin Heidelberg, 2000)
Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully ...
Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This book constitutes the refereed proceedings of the Second German Conference on Multiagent Systems Technologies, MATES 2004, held in Erfurt, Germany, in September 2004. The 22 revised full papers presented together with ...
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 ...
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 ...
New Trends in Applied Artificial Intelligence: 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings
(Springer-Verlag Berlin Heidelberg, 2007)
“The true sign of intelligence is not knowledge but imagination.” Albert Einstein Applied artificial intelligence researchers have been focusing on developing and employing methods and systems to solve real-life problems ...
Intelligent Agents VII Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings
(Springer-Verlag Berlin Heidelberg, 2001)
Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process ...
RoboCup-98: Robot Soccer World Cup II
(Springer-Verlag Berlin Heidelberg, 2001)
RoboCup is an international initiative devoted to advancing the state of the art in artificial intelligence and robotics. The aims of the project and potential research directions are numerous. The ultimate, long-range ...
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
(Springer-Verlag Berlin Heidelberg, 2007)
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 2007. The 36 revised full ...