Sciweavers

15 search results - page 3 / 3
» Synchronous Games in the Situation Calculus
Sort
View
RAS
2008
150views more  RAS 2008»
13 years 4 months ago
Logic-based robot control in highly dynamic domains
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Alexander Ferrein, Gerhard Lakemeyer
LICS
2008
IEEE
13 years 11 months ago
Collapsible Pushdown Automata and Recursion Schemes
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong...
ROBOCUP
1998
Springer
156views Robotics» more  ROBOCUP 1998»
13 years 9 months ago
Cooperative Behavior Acquisition in a Multiple Mobile Robot Environment by Co-evolution
Co-evolution has been receiving increased attention as a method for multi agent simultaneous learning. This paper discusses how multiple robots can emerge cooperative behaviors thr...
Eiji Uchibe, Masateru Nakamura, Minoru Asada
AIIDE
2007
13 years 7 months ago
SquadSmart: Hierarchical Planning and Coordinated Plan Execution for Squads of Characters
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
Peter Gorniak, Ian Davis
PPDP
2005
Springer
13 years 10 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet