Approaching A Formal Soccer Theory FromBehaviour Specifi Cations In Robotic Soccer
暂无分享,去创建一个
Alexander Ferrein | Gerhard Lakemeyer | Ubbo Visser | Oliver Obst | Thomas Röfer | Frank Dylla | Frieder Stolzenburg | Stefan Schiffer | Jan Murray | Thomas Wagner | G. Lakemeyer | T. Röfer | U. Visser | S. Schiffer | F. Stolzenburg | Oliver Obst | A. Ferrein | F. Dylla | Jan Murray | Thomas Wagner
[1] Milind Tambe,et al. Multiagent teamwork: analyzing the optimality and complexity of key theories and models , 2002, AAMAS '02.
[2] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[3] Alexander Ferrein,et al. On-Line Decision-Theoretic Golog for Unpredictable Domains , 2004, KI.
[4] Ian Frank,et al. Soccer Server: A Tool for Research on Multiagent Systems , 1998, Appl. Artif. Intell..
[5] Henrik Grosskreutz,et al. Probabilistic Projection and Belief Update in the pGOLOG Framework , 2000, GI Jahrestagung.
[6] Alexander Ferrein,et al. Acting and Deliberating using Golog in Robotic Soccer — A Hybrid Architecture — , 2002 .
[7] Eliseo Clementini,et al. Qualitative Representation of Positional Information , 1997, Artif. Intell..
[8] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[9] Manuela Veloso,et al. Distributed, Play-Based Role Assignment for Robot Teams in Dynamic Environments , 2006, DARS.
[10] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[11] Christian Freksa,et al. Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.
[12] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[13] Michael Beetz,et al. Computerized real-time analysis of football games , 2005, IEEE Pervasive Computing.
[14] Hector J. Levesque,et al. An Incremental Interpreter for High-Level Programs with Sensing , 1999 .
[15] Birger Peitersen,et al. Soccer Systems & Strategies , 2000 .
[16] Thomas Rist,et al. On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer , 1988, ECAI.
[17] Oliver Obst,et al. Towards a Logical Approach for Soccer Agents Engineering , 2000, RoboCup.
[18] Ray Reiter,et al. On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..
[19] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[20] Hiroaki Kitano,et al. RoboCup: A Challenge Problem for AI , 1997, AI Mag..
[21] Alexander Ferrein,et al. Specifying multirobot coordination in ICPGolog from simulation towards real robots , 2003 .
[22] Gerhard Lakemeyer,et al. ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.
[23] Alexander Ferrein,et al. Using Golog for Deliberation and Team Coordination in Robotic Soccer , 2005, Künstliche Intell..
[24] Thomas Rist,et al. Three RoboCup Simulation League Commentator Systems , 2000, AI Mag..
[25] Alexander Ferrein,et al. Towards a League-Independent Qualitative Soccer Theory for RoboCup , 2005, RoboCup.
[26] Daniel R. Montello,et al. Spatial Information Theory A Theoretical Basis for GIS , 1995, Lecture Notes in Computer Science.
[27] Ubbo Visser,et al. Recognition and Prediction of Motion Situations Based on a Qualitative Motion Description , 2003, RoboCup.
[28] Brett Browning,et al. RoboCup 2003: Robot Soccer World Cup VII , 2003, Lecture Notes in Computer Science.
[29] Massimo Lucchesi. Coaching the 3-4-1-2 and 4-2-3-1 , 2002 .
[30] Eliseo Clementini,et al. Qualitative Distances , 1995, COSIT.
[31] Hiroaki Kitano,et al. RoboCup-98: Robot Soccer World Cup II , 2001, Lecture Notes in Computer Science.
[32] Andrew U. Frank,et al. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.
[33] Alexander Ferrein,et al. Qualitative World Models for Soccer Robots , 2006 .