Reasoning Robots The Art and Science of Programming Robotic Agents

Reasoning Robots The Art and Science of Programming Robotic Agents

Εμφάνιση άλλων εκδόσεων (2)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Thielscher, Michael
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht Springer 2005
Σειρά:	Applied Logic Series 33
Θέματα:	Philosophy Computer science Programming Techniques Artificial Intelligence (incl. Robotics) Τεχνολογία > Φιλοσοφία Τεχνητή νοημοσύνη
Διαθέσιμο Online:	http://dx.doi.org/10.1007/1-4020-3069-X

Παρόμοια τεκμήρια

Agent-based Supply Network Event Management
ανά: Zimmermann, Roland
Έκδοση: (2006)

Introduction to Databases From Biological to Spatio-Temporal
ανά: Revesz, Peter
Έκδοση: (2010)

Dynamic Programming A Computational Tool
ανά: Art, Lew
Έκδοση: (2007)

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
ανά: Aliseda, Atocha
Έκδοση: (2006)

Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation
ανά: Hitchcock, David
Έκδοση: (2006)

Automatic Quantum Computer Programming A Genetic Programming Approach
ανά: Spector, Lee
Έκδοση: (2007)

Robot Intelligence An Advanced Knowledge Processing Approach
ανά: Liu, Honghai
Έκδοση: (2010)

Et voilΓ i robot Etica ed estetica nellβera delle macchine
ανά: Bonifati, Nunzia
Έκδοση: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ανά: FermΓΌller, Christian G
Έκδοση: (2010)

Ellipsis and Nonsentential Speech
ανά: Elugardo, Reinaldo
Έκδοση: (2005)

Reasoning Robots The Art and Science of Programming Robotic Agents /
ανά: Thielscher, Michael
Έκδοση: (2005)

Multi-Agent Programming Languages, Platforms and Applications
ανά: Bordini, Rafael H.
Έκδοση: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers
ανά: Clarke, Edmund M., Jr. 1945-2020. (Edmund Melson)
Έκδοση: (2010)

Information, Interaction and Agency
ανά: Hoek, Wiebe
Έκδοση: (2005)

Principles of Data Mining
ανά: Bramer, Max
Έκδοση: (2007)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ανά: Dovier, Agostino
Έκδοση: (2010)

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
ανά: Braubach, Lars
Έκδοση: (2010)

Constraint Satisfaction Techniques for Agent-Based Reasoning
ανά: Neagu, Nicoleta
Έκδοση: (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
ανά: Gordon, Andrew D.
Έκδοση: (2010)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
ανά: Qin, Shengchao
Έκδοση: (2010)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ανά: Blume, Matthias
Έκδοση: (2010)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
ανά: Butterfield, Andrew
Έκδοση: (2010)

Genetic Programming Theory and Practice II
ανά: OβReilly, Una-May
Έκδοση: (2005)

Genetic Programming Theory and Practice VII
ανά: Riolo, Rick
Έκδοση: (2010)

Genetic Programming Theory and Practice III
ανά: Yu, Tina
Έκδοση: (2006)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
ανά: Schreye, Danny
Έκδοση: (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
ανά: Esparza, Javier
Έκδοση: (2010)

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
ανά: Grunske, Lars
Έκδοση: (2010)

Ontologies for Agents: Theory and Experiences
ανά: Tamma, Valentina
Έκδοση: (2005)

Conceptual Modeling β ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ανά: Parsons, Jeffrey
Έκδοση: (2010)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ανά: Leavens, Gary T
Έκδοση: (2010)

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
ανά: Dix, JΓΌrgen
Έκδοση: (2010)

The Dynamics of Thought
ανά: GΓ€rdenfors, Peter
Έκδοση: (2005)

Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data
ανά: Berthold, Michael R.
Έκδοση: (2010)

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
ανά: Schmid, Ute
Έκδοση: (2010)

Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
ανά: Esparcia-Alcazar, Anna I.
Έκδοση: (2010)

Semantic Labeling of Places with Mobile Robots
ανά: Mozos, Γscar MartΓnez
Έκδοση: (2010)

Programming Mobile Robots with Aria and Player A Guide to C++ Object-Oriented Control
ανά: Whitbrook, Amanda
Έκδοση: (2010)

Computational Intelligence and Intelligent Systems 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings
ανά: Cai, Zhihua
Έκδοση: (2010)

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