Reasoning Robots The Art and Science of Programming Robotic Agents /

Reasoning Robots The Art and Science of Programming Robotic Agents /

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

The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction to a programming method and system based on this model. The mathematical model, known as the "Fluent Calculus,'' describes how to use classi...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Thielscher, Michael (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2005.
Σειρά:	Applied Logic Series, 33
Θέματα:	Philosophy. Computer programming. Artificial intelligence. Philosophy of Technology. Programming Techniques. Artificial Intelligence (incl. Robotics).
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Collective Agency and Cooperation in Natural and Artificial Systems Explanation, Implementation and Simulation /
Έκδοση: (2015)

The Robotics Divide A New Frontier in the 21st Century? /
Έκδοση: (2014)

Homo immortalis Una vita (quasi) infinita /
ανά: Bonifati, Nunzia, κ.ά.
Έκδοση: (2012)

Adaptive Logics for Defeasible Reasoning Applications in Argumentation, Normative Reasoning and Default Reasoning /
ανά: Straßer, Christian
Έκδοση: (2014)

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
Έκδοση: (2008)

Human Centered Robot Systems Cognition, Interaction, Technology /
Έκδοση: (2009)

Ubiquitous Computing in the Workplace What Ethical Issues? An Interdisciplinary Perspective /
Έκδοση: (2015)

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

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

Ontology, Epistemology, and Teleology for Modeling and Simulation Philosophical Foundations for Intelligent M&S Applications /
Έκδοση: (2013)

Multiparadigm Constraint Programming Languages
ανά: Hofstedt, Petra
Έκδοση: (2011)

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /
Έκδοση: (2011)

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation /
ανά: Štuikys, Vytautas
Έκδοση: (2015)

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers /
Έκδοση: (2013)

Technen: Elements of Recent History of Information Technologies with Epistemological Conclusions
ανά: Wierzbicki, Andrzej Piotr
Έκδοση: (2015)

Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers /
Έκδοση: (2011)

Singularity Hypotheses A Scientific and Philosophical Assessment /
Έκδοση: (2012)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
Έκδοση: (2007)

Logic Programming and Nonmonotonic Reasoning 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings /
Έκδοση: (2004)

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /
Έκδοση: (2013)

Exploring Robotics with ROBOTIS Systems
ανά: Thai, Chi N.
Έκδοση: (2015)

Exploring Robotics with ROBOTIS Systems
ανά: Thai, Chi N.
Έκδοση: (2017)

Physical Computation and Cognitive Science
ανά: Fresco, Nir
Έκδοση: (2014)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /
Έκδοση: (2005)

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

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
Έκδοση: (2015)

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
Έκδοση: (2014)

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /
Έκδοση: (2005)

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers /
Έκδοση: (2006)

Robots, Reasoning, and Reification
ανά: Gunderson, James P., κ.ά.
Έκδοση: (2009)

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
Έκδοση: (2006)

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
Έκδοση: (2009)

Genetic Programming Theory and Practice XII
Έκδοση: (2015)

After Cognitivism A Reassessment of Cognitive Science and Philosophy /
ανά: Leidlmair, Karl
Έκδοση: (2009)

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings /
Έκδοση: (2005)

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
Έκδοση: (2009)

The Growing Gap Between Emerging Technologies and Legal-Ethical Oversight The Pacing Problem /
Έκδοση: (2011)

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /
Έκδοση: (2007)

Roboethics A Navigating Overview /
ανά: Tzafestas, Spyros G.
Έκδοση: (2016)

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