Sciweavers

125 search results - page 16 / 25
» Using a Qualitative Sketch to Control a Team of Robots
Sort
View
AAAI
2004
13 years 9 months ago
Skill Acquisition and Use for a Dynamically-Balancing Soccer Robot
Dynamically-balancing robots have recently been made available by Segway LLC, in the form of the Segway RMP (Robot Mobility Platform). We have addressed the challenge of using the...
Brett Browning, Ling Xu, Manuela M. Veloso
ARTMED
2008
108views more  ARTMED 2008»
13 years 8 months ago
Drinking from the firehose of experience
The problem of consciousness has captured the imagination of philosophers, neuroscientists, and the general public, but has received little attention within AI. However, concepts ...
Benjamin Kuipers
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 6 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
IJCAI
2003
13 years 9 months ago
Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps
This paper presents an action selection framework based on an assemblage of self-organizing neural networks called Cooperative Extended Kohonen Maps. This framework encapsulates t...
Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr...
ECAI
2004
Springer
14 years 1 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz