Projects

Platas

Jens Claßen, Yuxiao Hu, and Gerhard Lakemeyer.
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
In Twenty-Second Conference on Artificial Intelligence (AAAI-07), AAAI Press, 2007. BibTeX entry   Download

Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, and Bernhard Nebel.
Towards an Integration of Golog and Planning.
In 20th International Joint Conference on Artificial Intelligence (IJCAI-07), AAAI Press, 2007. BibTeX entry   Download

Jens Claßen and Gerhard Lakemeyer.
A Semantics for ADL as Progression in the Situation Calculus.
In Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 2006. BibTeX entry   Download

Jens Claßen and Gerhard Lakemeyer.
Foundations for Knowledge-Based Programs using ES.
In 10th Conf. on Principles of Knowledge Representation and Reasoning (KR2006), AAAI Press, 2006. BibTeX entry   Download

Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer, and Jens Claßen.
Golog and PDDL: What is the Relative Expressiveness?.
In Proc. of International Symposium on Practical Cognitive Agents and Robots, University of Western Australia Press, 2006. BibTeX entry   Download

RoboCup

Target of this project is developing a deliberative component supporting precise coordinated acting of multirobotic systems under real-time constraints. The integration of a total system and validation of results for simulated as well for real robots take place within the framework of ROBOCUP. As the general basis for the deliberative component which we will develop, the logic based controller language GOLOG, developed at the University of Toronto, will be used. This language has been advanced within our workgroup over the recent years and has been utilized successfully for controlling mobile robots.

To measure up to highly dynamical environments e.g. ROBOCUP developing of a suitable GOLOG-Dialect is required first (READYLOG). For these purposes existing extensions dealing with continuous actions and actions with uncertain effects will be integrated into a language additionally extended with a utility-theory. For validation of this approach in the framework of ROBOCUP we will adapt our approach to the SOCCERSERVER of simulation league as well as to real robots with an appropriate basic control software. For application we will generate suitable READYLOG-control-programs, as well as modules for communication, role allocation and for maintenance and utilization of a global worldmodel. Additionally for real robots we have to link so called sensing actions on the side of READYLOG with the available sensors of the robots. The development of the deliberative component takes place in several phases after an initial design. These stages each embrace a critical evaluation and a redesign, with at lea

Daniel Beck, Alexander Ferrein, and Gerhard Lakemeyer.
A Simulation Environment for Middle-size Robots with Multi-level Abstraction.
In Proceedings of the 2007 International RoboCup Symposium, 2007. BibTeX entry

Stefan Schiffer, Alexander Ferrein, and Gerhard Lakemeyer.
Football is coming Home.
In Proc. of International Symposium on Practical Cognitive Agents and Robots, University of Western Australia Press, 2006. BibTeX entry   Download

Stefan Schiffer, Alexander Ferrein, and Gerhard Lakemeyer.
Qualitative World Models for Soccer Robots.
In Stefan Wölfl and Till Mossakowski, editors, Qualitative Constraint Calculi, Workshop at KI 2006, Bremen, pages 3-14, 2006. BibTeX entry   Download

A. Ferrein, G. Lakemeyer, and L. Hermanns.
Comparing Sensor Fusion Techniques for Ball Position Estimation.
In Proc. RoboCup 2005 Symposium, 2005. BibTeX entry   Download

Stefan Schiffer.
ReadyWorld - A Qualitative Worldmodel for Autonomous Soccer Agents in the ReadyLog Framework.
Master's thesis, Knowledge-based Systems Group, RWTH Aachen, 2005. BibTeX entry

S. Jacobs, A. Ferrein, and G. Lakemeyer.
Unreal Golog Bots.
In IJCAI'05 WS on Reasoning, Representation, and Learning in Computer Games, 2005. BibTeX entry   Download

A. Ferrein, Ch. Fritz, and G. Lakemeyer.
Using Golog for Deliberation and Team Coordination in Robotic Soccer.
In KI Künstliche Intelligenz (1), 2005. BibTeX entry   Download

S. Konur, A. Ferrein, and G. Lakemeyer.
Learning Decision Trees for Action Selection in Soccer Agents.
In Proc. of Workshop on Agents in dynamic and real-time environments, 2004. BibTeX entry   Download

A. Ferrein, C. Fritz, and G. Lakemeyer.
On-line Decision-Theoretic Golog for Unpredictable Domains.
In Proc. of 4th International Cognitive Robotics Workshop, 2004. BibTeX entry   Download

A. Ferrein, C. Fritz, and G. Lakemeyer.
On-line Decision-Theoretic Golog for Unpredictable Domains.
In Proc. of 27th German Conference on AI, 2004. BibTeX entry

A. Ferrein.
Specifying Soccer Moves with Golog.
In Proc. 5th Conference dvs-Section Computer Science in Sport, 2004. BibTeX entry

Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, and Ubbo Visser.
Towards a League-Independent Qualitative Soccer Theory for RoboCup.
In Proc. RoboCup 2004 Symposium, 2004. BibTeX entry   Download

Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, and Ubbo Visser.
Towards a League-Independent Qualitative Soccer Theory for RoboCup.
In KI04-WS Methods and Technol. for Empirical Evaluation of Multi-agent System, 2004. BibTeX entry

Björn Riedel.
Die Entwicklung von Ähnlichkeitsmaßen für den Vergleich von Spielsituationen im RoboCup.
Master's thesis, RWTH Aachen, 2003. BibTeX entry   Download

Alexander Ferrein, Christian Fritz, and Gerhard Lakemeyer.
Extending DTGolog with Options.
In Proc of the 18th International Joint Conference on Artificial Intelligence, 2003. BibTeX entry   Download

Christian Fritz.
Integrating decision-theoretic planning and programming for robot control in highly dynamic domains.
Master's thesis, RWTH Aachen (Knowledge-based Systems Group), Aachen, Germany, 2003. BibTeX entry   Download

Frank Dylla, Alexander Ferrein, and Gerhard Lakemeyer.
Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots.
In AOS-4 at IJCAI-03, 2003. BibTeX entry   Download

Norman Jansen.
Entwurf eines Rahmenwerks zur Entwicklung von deliberativen Komponenten f�¼r unsichere, hochgradig dynamische Umgebungen mit Echtzeitanforderung.
Master's thesis, RWTH Aachen, 2002. BibTeX entry   Download

Tropos

G. Gans, M. Jarke, G. Lakemeyer, and D. Schmitz.
Deliberation in a Metadata Based Modeling and Simulation Environment for Inter Organizational Networks.
In Information Systems, Special Issue on Selected Papers From CAiSE03 Elsevier, 2005. BibTeX entry   Download

G. Gans, D. Schmitz, M. Jarke, and G. Lakemeyer.
SNet Reloaded: Roles, Monitoring, and Agent Evolution.
In Giorgini,P. and Winikoff,M., editors, Proceedings of the 6th Workshop on Agent-Oriented Information Systems, AOIS, pages 2-16, New York, USA, July 2004. BibTeX entry   Download

D. Schmitz, G. Lakemeyer, G. Gans, and M. Jarke.
Using BPEL Process Descriptions for Building up Strategic Models for Inter-Organizational Networks.
In International Workshop on Modeling Inter-Organizational Systems (MIOS), Springer, LNCS, Larnaca, Cyprus, October 2004. BibTeX entry   Download

Günter Gans, Matthias Jarke, Stefanie Kethers, and Gerhard Lakemeyer.
Continuous Requirements Management for Organization Networks: A (Dis)Trust-Based Approach.
In Requirements Engineering Journal, Selected Papers from RE'01, Springer 8 (1): 4-22, Feb. 2003. BibTeX entry

Günter Gans, Matthias Jarke, Gerhard Lakemeyer, and Dominik Schmitz.
Deliberation in a Modeling and Simulation Environment for Inter-Organizational Networks.
In CAISE2003, 2003. BibTeX entry   Download

Dominik Schmitz.
Eine Erweiterung des Agentenmodells in SNet um eine Planungskomponente unter Verwendung von Nutzentheorie.
Master's thesis, RWTH Aachen, 2003. BibTeX entry

Günter Gans, Matthias Jarke, Stefanie Kethers, and Gerhard Lakemeyer.
Modeling the Impact of Trust and Distrust in Agent Networks.
In AOIS-01 at CAiSE-01, 2001. BibTeX entry   Download

Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, and Martin Meister.
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach.
In RE-01, 2001. BibTeX entry   Download

Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, and Martin Meister.
Towards (Dis)Trust-Based Simulations of Agent Networks.
In Workshop at Agents-01, 2001. BibTeX entry   Download