Reasoning robots. The art and science of programming robotic agents
From MaRDI portal
Publication:2487869
zbMath1092.68101MaRDI QIDQ2487869
Publication date: 11 August 2005
Published in: Applied Logic Series (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence for robotics (68T40)
Related Items (9)
Inference as doxastic agency. I: The basics of justification stit logic ⋮ On the progression of belief ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ A Fluent Calculus Semantics for ADL with Plan Constraints ⋮ Event calculus and temporal action logics compared ⋮ EVOLP: Tranformation-Based Semantics ⋮ Regression and progression in stochastic domains ⋮ A Declarative Agent Programming Language Based on Action Theories ⋮ A paraconsistent approach to actions in informationally complex environments
Uses Software
This page was built for publication: Reasoning robots. The art and science of programming robotic agents