Reasoning Robots The Art and Science of Programming Robotic Agents

Reasoning Robots The Art and Science of Programming Robotic Agents

Show other versions (2)

Bibliographic Details
Main Author:	Thielscher, Michael
Format:	Electronic Kit Book
Language:	English
Published:	Dordrecht Springer 2005
Series:	Applied Logic Series 33
Subjects:	Philosophy Computer science Programming Techniques Artificial Intelligence (incl. Robotics) Τεχνολογία > Φιλοσοφία Τεχνητή νοημοσύνη
Online Access:	http://dx.doi.org/10.1007/1-4020-3069-X

Similar Items

Agent-based Supply Network Event Management
by: Zimmermann, Roland
Published: (2006)

Introduction to Databases From Biological to Spatio-Temporal
by: Revesz, Peter
Published: (2010)

Dynamic Programming A Computational Tool
by: Art, Lew
Published: (2007)

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
by: Aliseda, Atocha
Published: (2006)

Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation
by: Hitchcock, David
Published: (2006)

Automatic Quantum Computer Programming A Genetic Programming Approach
by: Spector, Lee
Published: (2007)

Robot Intelligence An Advanced Knowledge Processing Approach
by: Liu, Honghai
Published: (2010)

Et voilΓ i robot Etica ed estetica nellβera delle macchine
by: Bonifati, Nunzia
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
by: FermΓΌller, Christian G
Published: (2010)

Ellipsis and Nonsentential Speech
by: Elugardo, Reinaldo
Published: (2005)

Reasoning Robots The Art and Science of Programming Robotic Agents /
by: Thielscher, Michael
Published: (2005)

Multi-Agent Programming Languages, Platforms and Applications
by: Bordini, Rafael H.
Published: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers
by: Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson)
Published: (2010)

Information, Interaction and Agency
by: Hoek, Wiebe
Published: (2005)

Principles of Data Mining
by: Bramer, Max
Published: (2007)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
by: Dovier, Agostino
Published: (2010)

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
by: Braubach, Lars
Published: (2010)

Constraint Satisfaction Techniques for Agent-Based Reasoning
by: Neagu, Nicoleta
Published: (2005)

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
by: Gordon, Andrew D.
Published: (2010)

Natural Deduction, Hybrid Systems and Modal Logics
by: Indrzejczak, Andrzej
Published: (2010)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
by: Qin, Shengchao
Published: (2010)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
by: Blume, Matthias
Published: (2010)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
by: Butterfield, Andrew
Published: (2010)

Genetic Programming Theory and Practice II
by: OβReilly, Una-May
Published: (2005)

Genetic Programming Theory and Practice VII
by: Riolo, Rick
Published: (2010)

Genetic Programming Theory and Practice III
by: Yu, Tina
Published: (2006)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
by: Schreye, Danny
Published: (2010)

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
by: Esparza, Javier
Published: (2010)

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
by: Grunske, Lars
Published: (2010)

Ontologies for Agents: Theory and Experiences
by: Tamma, Valentina
Published: (2005)

Conceptual Modeling β ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
by: Parsons, Jeffrey
Published: (2010)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
by: Leavens, Gary T
Published: (2010)

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
by: Dix, JΓΌrgen
Published: (2010)

The Dynamics of Thought
by: GΓ€rdenfors, Peter
Published: (2005)

Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data
by: Berthold, Michael R.
Published: (2010)

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
by: Schmid, Ute
Published: (2010)

Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
by: Esparcia-Alcazar, Anna I.
Published: (2010)

Semantic Labeling of Places with Mobile Robots
by: Mozos, Γscar MartΓnez
Published: (2010)

Programming Mobile Robots with Aria and Player A Guide to C++ Object-Oriented Control
by: Whitbrook, Amanda
Published: (2010)

Computational Intelligence and Intelligent Systems 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings
by: Cai, Zhihua
Published: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_6nqe9qpo5fvbbbshl7cv8rpubd