Spatial agents implemented in a logical expressible language

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

Volumn 1856, Issue , 2000, Pages 481-494

  Stolzenburg, Frieder ^a   Obst, Oliver ^a   Murray, Jan ^a   Bremer, Björn ^a  

^a Fachbereich Informatik ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; SPORTS;

CONSTRAINT TECHNOLOGY; COOPERATING AGENTS; DESCRIPTION LANGUAGES; LOGICAL REPRESENTATIONS; PRE-PROCESSED DATA; QUALITATIVE SPATIAL REASONING; SENSOR INFORMATIONS; SYSTEM ARCHITECTURES;

AUTONOMOUS AGENTS;

EID: 23044519080     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45327-x_41     Document Type: Conference Paper

References (26)

1. M. Asada and H.Kitano, editors. RoboCup-98: Robot Soccer WorldCup II. LNAI 1604. Springer, Berlin, Heidelberg, New York, 1999.
2. P.Baumgartner and U.Furbach. PROTEIN: A PROver with a Theory Extension INterface. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, LNAI 814, pages 769-773, Nancy, 1994. Springer, Berlin, Heidelberg, New York.
3. B.Bennet, A.G.Cohn, and A.Isli. Combining multiple representations in a spatial reasoning system. In Proceedings of the 9th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’97), pages 314-322, Newport Beach, CA, 1997.
4. M.Betke and L.Gurvits. Mobile robot localization using landmarks. IEEE Transactions on Robotics and Automation, 13(2): 251-263, Apr. 1997.
5. K.Borsuk and W.Szmielew. Foundations of Geometry. North-Holland, Amsterdam, 1960.
6. B.Bremer. Erkennung von Paß-und Abseitssituationen mit raumlichem Schließen. Studienarbeit S 570, Fachbereich Informatik, Universitat Koblenz, 1999.
7. H.-D.Burkhard, M.Hannebauer, and J.Wendler. Belief-desire-intention -deliberation in artificial soccer. AI Magazine, pages 87-93, 1998.
8. E.Clementini, P.Di Felice, and D.Hernandez. Qualitative representation of positional information. Artificial Intelligence, 95(2): 317-356, 1997.
9. 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 Soc-cerserver Version 5.00 and later.
10. 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. Volume 2.
11. J.Dix, F. Stolzenburg, G. R.Simari, and P.R.Fillottrani. Automating defeasible reasoning with logic programming (DeReLoP). In S. Jahnichen, editor, Proceedings of the 2nd German-Argentinian Workshop on Information Technology, pages 39-46, Konigswinter, 1999. To appear
12. C.Eschenbach and L. Kulik. An axiomatic approach to the spatial relations underlying Left-Right and in Front of-Behind. In G. Gorz and S. Holldobler, editors, KI-97: Advances in Artificial Intelligence -Proceedings of the 21st Annual German Conference on Artificial Intelligence, LNAI 1303, pages 207-218, Freiburg, 1997. Springer, Berlin, Heidelberg, New York.
13. J.-S.Gutmann, W.Hatzack, I.Herrmann, B.Nebel, F.Rittinger, A.Topor, T.Weigel, and B. Welsch. The CS Freiburg robotic soccer team: Reliable self-localization, multirobot sensor integration and basic soccer skills. In Asada and Kitano [1], pages 93-108.
14. International Computers Limited and IC-Parc. ECLiPSe User Manual /Extensions User Manual -Release 4.0, 1998. Two volumes.
15. J.Jaffar and M.J.Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19/20: 503-581, 1994.
16. C.G.Jung. Layered and resource-adapting agents in the RoboCup simulation. In Asada and Kitano [1], pages 207-220.
17. Y.Labrou and T. Finin. A proposal for a new KQML specification. Technical Report TR CS-97-03, Computer Science and Electrical Engineering Department, University of Maryland Baltimore County, Baltimore, MD 21250, Feb. 1997.
18. J.Murray. My goal is my castle -Die höheren Fahigkeiten eines RoboCup-Agenten am Beispiel des Torwarts. Studienarbeit S 564, Fachbereich Informatik, Universitat Koblenz, 1999.
19. H.Nakashima and I. Noda. Dynamic subsumption architecture for programming intelligent agents. In Proceedings of the International Conference on Multi-Agent Systems, pages 190-197. AAAI Press, 1998.
20. I.Noda. Soccer server: a simulator for RoboCup. In JSAIAI-Symposium, 1995.
21. O.Obst. RoboLog -An ECLiPSe-Prolog SoccerServer interface: Users manual,1998.
22. O.Obst. RoboLog: Eine deduktive Schnittstelle zum RoboCup Soccer Server. Diplomarbeit D 488, Fachbereich Informatik, Universitat Koblenz, 1999.
23. D.A. Randel, Z.Cui, and A.G.Cohn. A spatial logic based on regions and connections. In Proceedings of the third Int. Conf. on Knowledge Representation and Reasoning, pages 165-176, San Mateo, 1992. Morgan Kaufmann.
24. A.S. Rao. AgentsSpeak(L): BDI agents speak out in a logical computable language. In W. van de Velde and J. W. Perrame, editors, Agents Breaking Away -7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, pages 42-55, Berlin, Heidelberg, New York, 1996. Springer.
25. P.Stone, M.Veloso, and P.Riley. The CMUnited-98 champion simulator team. In Asada and Kitano [1], pages 61-76.
26. K.Zimmermann and C.Freksa. Qualitative spatial reasoning using orientation, distance, and path knowledge. Applied Intelligence, 6: 49-58, 1996.