Towards a logical approach for soccer agents engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2019 LNAI, Issue , 2001, Pages 199-208

  Murray, Jan ^a   Obst, Oliver ^a   Stolzenburg, Frieder ^a  

^a Fachbereich Informatik ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); COMPUTER CIRCUITS; COMPUTER SOFTWARE; DECISION TREES; ITERATIVE METHODS; LOGIC PROGRAMMING; MODELING LANGUAGES; MULTI AGENT SYSTEMS; SPORTS; COMPUTATIONAL LINGUISTICS; HIGH LEVEL LANGUAGES;

BALL INTERCEPTIONS; LOGICAL APPROACHES; LOW-LEVEL SKILLS; PROCEDURAL ASPECTS; REACTIVE BEHAVIOR; ROBOCUP SIMULATION LEAGUE; SCRIPT LANGUAGES; SOCCER AGENTS; LOGICAL RULES;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84867447051     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45324-5_18     Document Type: Conference Paper

References (10)

1. S. Coradeschi and L. Karlsson. A role-based decision-mechanism for teams of reactive and coordinating agents. In H. Kitano, editor, RoboCup-97: Robot Soccer WorldCup I, LNAI 1395, pages 112-122, Berlin, Heidelberg, New York, 1998. Springer.
2. E. Corten, K. Dorer, F. Heintz, K. Kostiadis, J. Kummeneje, H. Myritz, I. Noda, J. Riekki, P. Riley, P. Stone, and T. Yeap. Soccerserver Manual, 5th edition, May 1999. For Soccerserver Version 5.00 and later.
3. G. De Giacomo, Y. Lespérance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In M. E. Pollack, editor, Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 1221-1226, Nagoya, Japan, 1997. IJCAI Inc., San Mateo, CA, Morgan Kaufmann, Los Altos, CA. Volume 2.
4. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84, 1997.
5. J. Murray, O. Obst, and F. Stolzenburg. RoboLog Koblenz. In M. Veloso, E. Pagello, and H. Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 628-631. Springer, Berlin, Heidelberg, New York, 2000. Team description.
6. Object Management Group, Inc. OMG Unified Modeling Language Specification, 1999. Version 1.3, June 1999.
7. M. P. Singh, A. S. Rao, and M. P. Georgeff. Formal methods in DAI: Logic-based representation and reasoning. In G. Weiss, editor, Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence, chapter 8, pages 331-376. The MIT Press, Cambridge, MA, London, 1999.
8. F. Stolzenburg, O. Obst, J. Murray, and B. Bremer. Spatial agents implemented in a logical expressible language. In M. Veloso, E. Pagello, and H. Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 481-494. Springer, Berlin, Heidelberg, New York, 2000.
9. P. Stone, P. Riley, andM. Veloso. The CMUnited-99 champion simulator team. InM. Veloso, E. Pagello, and H. Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 35-48. Springer, Berlin, Heidelberg, New York, 2000.
10. J. Wielemaker. SWI-Prolog 3.3 Reference Manual. University of Amsterdam, The Netherlands, 2000.