Sciweavers

15 search results - page 3 / 3
» Synchronous Games in the Situation Calculus
Sort
View
98
Voted
RAS
2008
150views more  RAS 2008»
14 years 12 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
108
Voted
LICS
2008
IEEE
15 years 6 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»
15 years 4 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
96
Voted
AIIDE
2007
15 years 2 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
115
Voted
PPDP
2005
Springer
15 years 5 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