Home  

BibTeX - Literature


@InProceedings{Ferrein2004SpecifyingGolog, 
   AUTHOR = {A. Ferrein},
   TITLE = {Specifying Soccer Moves with Golog},
   BOOKTITLE = {Proc. 5th Conference dvs-Section Computer Science in Sport},
   YEAR = {2004},
   NOTE = {to appear}
}

@InProceedings{Ferrein2004On-line_CogRob, 
   AUTHOR = {A. Ferrein and C. Fritz and G. Lakemeyer},
   TITLE = {On-line Decision-Theoretic Golog for Unpredictable Domains},
   BOOKTITLE = {Proc. of 4th International Cognitive Robotics Workshop},
   YEAR = {2004}
}

@InProceedings{Ferrein2004On-line_KI04, 
   AUTHOR = {A. Ferrein and C. Fritz and G. Lakemeyer},
   TITLE = {On-line Decision-Theoretic Golog for Unpredictable Domains},
   BOOKTITLE = {Proc. of 27th German Conference on AI},
   YEAR = {2004}
}

@Article{Ferrein2005Using, 
   AUTHOR = {A. Ferrein and Ch. Fritz and G. Lakemeyer},
   TITLE = {Using Golog for Deliberation and Team Coordination in Robotic Soccer},
   JOURNAL = {KI Künstliche Intelligenz},
   YEAR = {2005},
   NUMBER = {1}
}

@InProceedings{Ferrein2005Comparing, 
   AUTHOR = {A. Ferrein and G. Lakemeyer and L. Hermanns},
   TITLE = {Comparing Sensor Fusion Techniques for Ball Position Estimation},
   BOOKTITLE = {Proc. RoboCup 2005 Symposium},
   YEAR = {2005},
   NOTE = {to appear}
}

@InProceedings{Strack2005LaserBased, 
   AUTHOR = {A. Strack and A. Ferrein and G. Lakemeyer},
   TITLE = {Laser-Based Localization with Sparse Landmarks},
   BOOKTITLE = {Proc. RoboCup 2005 Symposium},
   YEAR = {2005},
   NOTE = {to appear}
}

@InProceedings{ferrein03extending, 
   AUTHOR = {Alexander Ferrein and Christian Fritz and Gerhard Lakemeyer},
   TITLE = {Extending {DTG}olog with {O}ptions},
   BOOKTITLE = {Proc of the 18th International Joint Conference on Artificial Intelligence},
   YEAR = {2003}
}

@InProceedings{GabaldonLakemeyer2007ESP, 
   AUTHOR = {Alfredo Gabaldon and Gerhard Lakemeyer},
   TITLE = {ESP: A Logic of Only-Knowing, Noisy Sensing and Acting},
   BOOKTITLE = {Twenty-Second Conference on Artificial Intelligence (AAAI-07)},
   YEAR = {2007},
   PUBLISHER = {AAAI Press},
   NOTE = {to appear}
}

@Book{Tanenbaum1999Structured, 
   AUTHOR = {Andrew S. Tanenbaum},
   TITLE = {Structured Computer Organization},
   PUBLISHER = {Prentice Hall},
   YEAR = {1999},
   EDITION = {4th edition}
}

@Book{Tanenbaum1999Structured_1, 
   AUTHOR = {Andrew S. Tanenbaum},
   TITLE = {Structured Computer Organization},
   PUBLISHER = {Prentice Hall},
   YEAR = {2005},
   EDITION = {5th edition}
}

@MastersThesis{Karbiener2002Einbindung, 
   AUTHOR = {Armin Karbiener},
   TITLE = {Einbindung einfacher Bildverarbeitungsverfahren in die Steuerungssoftware eines autonomen mobilen Roboters},
   SCHOOL = {RWTH Aachen},
   YEAR = {2002}
}

@MastersThesis{Riedel2003Die, 
   AUTHOR = {Björn Riedel},
   TITLE = {Die Entwicklung von Ähnlichkeitsmaßen für den Vergleich von Spielsituationen im {RoboCup}},
   SCHOOL = {RWTH Aachen},
   YEAR = {2003}
}

@MastersThesis{Fritz2003Integrating, 
   AUTHOR = {Christian Fritz},
   TITLE = {Integrating decision-theoretic planning and programming for robot control in highly dynamic domains},
   SCHOOL = {RWTH Aachen (Knowledge-based Systems Group)},
   YEAR = {2003},
   ADDRESS = {Aachen, Germany}
}

@InProceedings{Sch04MOIS, 
   AUTHOR = {D. Schmitz and G. Lakemeyer and G. Gans and M. Jarke},
   TITLE = {Using BPEL Process Descriptions for Building up Strategic Models for Inter-Organizational Networks},
   BOOKTITLE = {International Workshop on Modeling Inter-Organizational Systems (MIOS)},
   YEAR = {2004},
   MONTH = {October},
   PUBLISHER = {Springer, LNCS},
   ADDRESS = {Larnaca, Cyprus}
}

@InProceedings{Beck2007A, 
   AUTHOR = {Daniel Beck and Alexander Ferrein and Gerhard Lakemeyer},
   TITLE = {A Simulation Environment for Middle-size Robots with Multi-level Abstraction},
   BOOKTITLE = {Proceedings of the 2007 International RoboCup Symposium},
   YEAR = {2007},
   NOTE = {to appear}
}

@MastersThesis{schmi2003, 
   AUTHOR = {Dominik Schmitz},
   TITLE = {Eine Erweiterung des Agentenmodells in {SNet} um eine Planungskomponente unter Verwendung von Nutzentheorie},
   SCHOOL = {RWTH Aachen},
   YEAR = {2003}
}

@MastersThesis{Dylla2000Entwurf, 
   AUTHOR = {Frank Dylla},
   TITLE = {Entwurf einer robusten Sprachsteuerung für einen mobilen Roboter},
   SCHOOL = {RWTH Aachen},
   YEAR = {2000}
}

@InProceedings{Dylla2003Specifying_1, 
   AUTHOR = {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer},
   TITLE = {Specifying Multirobot Coordination in {ICPGolog} -- From Simulation towards Real Robots},
   BOOKTITLE = {AOS-4 at IJCAI-03},
   YEAR = {2003}
}

@InProceedings{Dylla2002Acting, 
   AUTHOR = {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer},
   TITLE = {Acting and Deliberating using Golog in Robotic Soccer -- A Hybrid Architecture},
   BOOKTITLE = {3rd International  Cognitive Robotics Workshop (CogRob02)},
   YEAR = {2002},
   PUBLISHER = {AAAI Press}
}

@InProceedings{Dylla2004Towards, 
   AUTHOR = {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer and Jan Murray and Oliver Obst and Thomas Röfer and Frieder Stolzenburg and Ubbo Visser},
   TITLE = {Towards a {L}eague-{I}ndependent {Q}ualitative
                 {S}occer {T}heory for {R}obo{C}up},
   BOOKTITLE = {Proc. RoboCup 2004 Symposium},
   YEAR = {2004}
}

@InProceedings{Dylla2004Towards_1, 
   AUTHOR = {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer and Jan Murray and Oliver Obst and Thomas Röfer and Frieder Stolzenburg and Ubbo Visser},
   TITLE = {Towards a {L}eague-{I}ndependent {Q}ualitative
                 {S}occer {T}heory for {R}obo{C}up},
   BOOKTITLE = {KI04-WS Methods and Technol. for Empirical Evaluation of Multi-agent System},
   YEAR = {2004}
}

@InProceedings{Dylla2000A, 
   AUTHOR = {Frank Dylla and Gerhard Lakemeyer},
   TITLE = {A Speech Interface for a Mobile Robot controlled by {GOLOG}},
   BOOKTITLE = {CogRob-2000},
   YEAR = {2000}
}

@InProceedings{GSJL04AOIS, 
   AUTHOR = {G. Gans and D. Schmitz and M. Jarke and G. Lakemeyer},
   TITLE = {SNet Reloaded: Roles, Monitoring, and Agent Evolution},
   BOOKTITLE = {Proceedings of the 6th Workshop on Agent-Oriented Information Systems, AOIS},
   PAGES = {2-16},
   YEAR = {2004},
   EDITOR = {Giorgini,P. and Winikoff,M.},
   MONTH = {July},
   ADDRESS = {New York, USA}
}

@Article{GJLS04InfSys, 
   AUTHOR = {G. Gans and M. Jarke and G. Lakemeyer and D. Schmitz},
   TITLE = {Deliberation in a Metadata Based Modeling and Simulation Environment for Inter Organizational Networks},
   JOURNAL = {Information Systems, Special Issue on Selected Papers From CAiSE03 Elsevier},
   YEAR = {2005},
   NOTE = {to appear}
}

@InProceedings{LakKR04SiNo, 
   AUTHOR = {G. Lakemeyer and H. J. Levesque},
   TITLE = {Situations, si! Situation Terms, no!},
   BOOKTITLE = {9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004)},
   YEAR = {2004},
   PUBLISHER = {AAAI Press},
   NOTE = {to appear }
}

@InProceedings{Gans2003Deliberation, 
   AUTHOR = {Günter Gans and Matthias Jarke and Gerhard Lakemeyer and Dominik Schmitz},
   TITLE = {Deliberation in a Modeling and Simulation Environment for Inter-Organizational Networks},
   BOOKTITLE = {CAISE2003},
   YEAR = {2003}
}

@InProceedings{Gans2002SNet, 
   AUTHOR = {Günter Gans and Matthias Jarke and Gerhard Lakemeyer and Thomas Vits},
   TITLE = {{SNet}: A Modeling and Simulation Environment for Agent Networks Based on {i*} and {ConGolog}},
   BOOKTITLE = {CAiSE02},
   PAGES = {328--343},
   YEAR = {2002},
   MONTH = {May},
   PUBLISHER = {Springer},
   ADDRESS = {Canada, Toronto}
}

@InProceedings{Gans2001Modeling, 
   AUTHOR = {Günter Gans and Matthias Jarke and Stefanie Kethers and Gerhard Lakemeyer},
   TITLE = {Modeling the Impact of Trust and Distrust in Agent Networks},
   BOOKTITLE = {AOIS-01 at CAiSE-01},
   YEAR = {2001}
}

@Article{GJK03REJournal, 
   AUTHOR = {Günter Gans and Matthias Jarke and Stefanie Kethers and Gerhard Lakemeyer},
   TITLE = {Continuous Requirements Management for Organization Networks: A (Dis)Trust-Based Approach},
   JOURNAL = {Requirements Engineering Journal, Selected Papers from RE'01, Springer},
   YEAR = {2003},
   VOLUME = {8},
   NUMBER = {1},
   PAGES = {4-22},
   MONTH = {Feb.}
}

@InProceedings{Gans2001Towards, 
   AUTHOR = {Günter Gans and Matthias Jarke and Stefanie Kethers and Gerhard Lakemeyer and Lutz Ellrich and Christiane Funken and Martin Meister},
   TITLE = {Towards (Dis)Trust-Based Simulations of Agent Networks},
   BOOKTITLE = {Workshop at Agents-01},
   YEAR = {2001}
}

@InProceedings{Gans2001Requirements, 
   AUTHOR = {Günter Gans and Matthias Jarke and Stefanie Kethers and Gerhard Lakemeyer and Lutz Ellrich and Christiane Funken and Martin Meister},
   TITLE = {Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach},
   BOOKTITLE = {RE-01},
   YEAR = {2001}
}

@InBook{lakemeyer1999_2, 
   AUTHOR = {Gerhard Lakemeyer},
   TITLE = {Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter},
   CHAPTER = {On sensing and off-line interpreting in {GOLOG}},
   PUBLISHER = {Springer},
   YEAR = {1999},
   PAGES = {173--187},
   ADDRESS = {Berlin}
}

@InProceedings{lakemeyer1996, 
   AUTHOR = {Gerhard Lakemeyer},
   TITLE = {Only knowing in the situation calculus},
   BOOKTITLE = {KR-96},
   YEAR = {1996}
}

@Article{lakemeyer1996_2, 
   AUTHOR = {Gerhard Lakemeyer},
   TITLE = {Limited Reasoning in first-order knowledge bases with full introspection},
   JOURNAL = {Artificial Intelligence},
   YEAR = {1996},
   VOLUME = {84},
   PAGES = {209--255}
}

@Article{lakemeyer1994, 
   AUTHOR = {Gerhard Lakemeyer},
   TITLE = {Limited Reasoning in first-order knowledge bases},
   JOURNAL = {Artificial Intelligence},
   YEAR = {1994},
   VOLUME = {71},
   PAGES = {1--42}
}

@Misc{Lakemeyer2003CopiesAI, 
   AUTHOR = {Gerhard Lakemeyer},
   TITLE = {Copies of the Transparencies "Introduction to Artificial Intelligence"},
   YEAR = {2003},
   ADDRESS = {RWTH Aachen}
}

@Misc{Lakemeyer2006Copies, 
   AUTHOR = {Gerhard Lakemeyer},
   TITLE = {Copies of the Transparencies "Introduction to Artificial Intelligence"},
   YEAR = {2006},
   ADDRESS = {RWTH Aachen}
}

@InProceedings{lakemeyer2002, 
   AUTHOR = {Gerhard Lakemeyer and Hector J. Levesque},
   TITLE = {Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases},
   BOOKTITLE = {KR-02},
   YEAR = {2002}
}

@InProceedings{lakemeyer1999, 
   AUTHOR = {Gerhard Lakemeyer and Hector J. Levesque},
   TITLE = {Query Evaluation and Progression in {AOL} Knowledge Bases},
   BOOKTITLE = {IJCAI-99},
   YEAR = {1999}
}

@InProceedings{lakemeyer1998, 
   AUTHOR = {Gerhard Lakemeyer and Hector J. Levesque},
   TITLE = {{AOL}: a logic of acting, sensing, knowing, and only knowing},
   BOOKTITLE = {KR-98},
   YEAR = {1998}
}

@InProceedings{Lakemeyer2005Semantic, 
   AUTHOR = {Gerhard Lakemeyer and Hector J. Levesque},
   TITLE = {Semantics for a useful fragment of the situation calculus},
   BOOKTITLE = {Proc. IJCAI-05},
   YEAR = {2005}
}

@InProceedings{Lakemeyer2005Only-knowing:_1, 
   AUTHOR = {Gerhard Lakemeyer and Hector J. Levesque},
   TITLE = {Only-knowing: taking it beyond autoepistemic reasoning},
   BOOKTITLE = {Proc. AAAI 2005},
   YEAR = {2005},
   NOTE = {to appear}
}

@InProceedings{Lakemeyer2006Towards, 
   AUTHOR = {Gerhard Lakemeyer and Hector J. Levesque},
   TITLE = {Towards an Axiom System for Default Logic},
   BOOKTITLE = {Proc. AAAI-06},
   YEAR = {2006},
   PUBLISHER = {AAAI Press},
   NOTE = {to appear}
}

@InProceedings{Iwan2001Templates, 
   AUTHOR = {Gero Iwan},
   TITLE = {History-based Diagnosis Templates in the Framework of the Situation Calculus},
   BOOKTITLE = {KI-01},
   YEAR = {2001},
   PUBLISHER = {Springer}
}

@InProceedings{Iwan2000Explaining, 
   AUTHOR = {Gero Iwan},
   TITLE = {Explaining What Went Wrong in Dynamic Domains},
   BOOKTITLE = {CogRob-00 at ECAI-00},
   YEAR = {2000}
}

@InProceedings{Iwan2001TemplatesX, 
   AUTHOR = {Gero Iwan},
   TITLE = {History-based Diagnosis Templates in the Framework of the Situation Calculus},
   BOOKTITLE = {DX-01},
   YEAR = {2001}
}

@Article{Iwan2002Templates, 
   AUTHOR = {Gero Iwan},
   TITLE = {History-based Diagnosis Templates in the Framework of the Situation Calculus},
   JOURNAL = {AI Communications},
   YEAR = {2002},
   VOLUME = {15},
   NUMBER = {1}
}

@InProceedings{Iwan2002Observations, 
   AUTHOR = {Gero Iwan and Gerhard Lakemeyer},
   TITLE = {What Observations Really Tell Us},
   BOOKTITLE = {CogRob-02 at AAAI-02},
   YEAR = {2002}
}

@InProceedings{Iwan2003Observations, 
   AUTHOR = {Gero Iwan and Gerhard Lakemeyer},
   TITLE = {What Observations Really Tell Us},
   BOOKTITLE = {KI-03},
   YEAR = {2003},
   PUBLISHER = {Springer}
}

@Book{GummSommerEinfInformatik, 
   AUTHOR = {H. Gumm and M. Sommer},
   TITLE = {Einführung in die Informatik},
   PUBLISHER = {Oldenbourg-Verlag},
   YEAR = {2006},
   EDITION = {7. Auflage}
}

@Book{Levesque2001MITPress, 
   AUTHOR = {Hector J. Levesque and Gerhard Lakemeyer},
   TITLE = {The Logic of Knowledge Bases},
   PUBLISHER = {MIT Press},
   YEAR = {2001}
}

@InCollection{CogRobKRHandbook, 
   AUTHOR = {Hector Levesque and Gerhard Lakemeyer},
   TITLE = {Cognitive Robotics},
   BOOKTITLE = {Handbook of Knowledge Representation},
   PUBLISHER = {Elsevier},
   YEAR = {2007},
   EDITOR = {Frank van Harmelen and Vladimir Lifschitz and Bruce Porter},
   NOTE = {to appear}
}

@InProceedings{grosskreutz2000, 
   AUTHOR = {Henrik Grosskreutz},
   TITLE = {Probabilistic Projection and Belief Update in the {pGOLOG} Framework},
   BOOKTITLE = {CogRob-00 at ECAI-00},
   YEAR = {2000}
}

@InProceedings{grosskreutz1999, 
   AUTHOR = {Henrik Grosskreutz},
   TITLE = {Probabilistic Temporal Projections in {ConGolog}},
   BOOKTITLE = {RoAcPl-99 at IJCAI-99},
   YEAR = {1999}
}

@PhdThesis{Grosskreutz2002Towards, 
   AUTHOR = {Henrik Grosskreutz},
   TITLE = {Towards More Realistic Logic-Based Robot Controllers in the {GOLOG} Framework},
   SCHOOL = {RWTH Aachen},
   YEAR = {2002}
}

@InProceedings{grosskreutz2001, 
   AUTHOR = {Henrik Grosskreutz and Gerhard Lakemeyer},
   TITLE = {On-Line Execution of {cc-Golog} Plans},
   BOOKTITLE = {IJCAI-01},
   YEAR = {2001}
}

@InProceedings{grosskreutz2001_2, 
   AUTHOR = {Henrik Grosskreutz and Gerhard Lakemeyer},
   TITLE = {Belief Update in the {pGOLOG} Framework},
   BOOKTITLE = {KI-01},
   YEAR = {2001}
}

@InProceedings{grosskreutz2000_2, 
   AUTHOR = {Henrik Grosskreutz and Gerhard Lakemeyer},
   TITLE = {{cc-Golog}: Towards More Realistic Logic-Based Robot Controllers},
   BOOKTITLE = {NMR-00},
   YEAR = {2000}
}

@InProceedings{grosskreutz2000_3, 
   AUTHOR = {Henrik Grosskreutz and Gerhard Lakemeyer},
   TITLE = {{cc-Golog}: Towards More Realistic Logic-Based Robot Controllers},
   BOOKTITLE = {AAAI-00},
   YEAR = {2000}
}

@InProceedings{grosskreutz2000_4, 
   AUTHOR = {Henrik Grosskreutz and Gerhard Lakemeyer},
   TITLE = {Turning High-Level Plans into Robot Programs in Uncertain Domains},
   BOOKTITLE = {ECAI-00},
   YEAR = {2000}
}

@Article{Grosskreutz2000Towards, 
   AUTHOR = {Henrik Grosskreutz and Gerhard Lakemeyer},
   TITLE = {Towards more realistic logic-based robot controllers in the {GOLOG} framework},
   JOURNAL = {Themenheft "Autonome mobile Systeme" der Zeitschrift KI},
   YEAR = {2000},
   VOLUME = {4}
}

@Article{halpern2001, 
   AUTHOR = {J. Y. Halpern and Gerhard Lakemeyer},
   TITLE = {Multi-Agent Only Knowing},
   JOURNAL = {Journal of Logic and Computation},
   YEAR = {2001}
}

@Article{halpern1995, 
   AUTHOR = {J. Y. Halpern and Gerhard Lakemeyer},
   TITLE = {Levesque's axiomatization of only knowing is incomplete},
   JOURNAL = {Artificial Intelligence},
   YEAR = {1995},
   VOLUME = {74},
   NUMBER = {2},
   PAGES = {381--387}
}

@InProceedings{ClassenLakemeyer06Foundations, 
   AUTHOR = {Jens Claßen and Gerhard Lakemeyer},
   TITLE = {Foundations for Knowledge-Based Programs using ES},
   BOOKTITLE = {10th Conf. on Principles of Knowledge Representation and Reasoning (KR2006)},
   YEAR = {2006},
   PUBLISHER = {AAAI Press}
}

@InProceedings{ClaLak06ADLSemantics, 
   AUTHOR = {Jens Claßen and Gerhard Lakemeyer},
   TITLE = {A Semantics for ADL as Progression in the Situation Calculus},
   BOOKTITLE = {Proceedings of the 11th Workshop on Nonmonotonic Reasoning},
   YEAR = {2006}
}

@InProceedings{ClaEyeLakNeb2007GologPlanning, 
   AUTHOR = {Jens Claßen and Patrick Eyerich and Gerhard Lakemeyer and Bernhard Nebel},
   TITLE = {Towards an Integration of Golog and Planning},
   BOOKTITLE = {20th International Joint Conference on Artificial Intelligence (IJCAI-07)},
   YEAR = {2007},
   PUBLISHER = {AAAI Press}
}

@InProceedings{ClassenHuLakemeyer2007PDDL, 
   AUTHOR = {Jens Claßen and Yuxiao Hu and Gerhard Lakemeyer},
   TITLE = {A Situation-Calculus Semantics for an Expressive Fragment of PDDL},
   BOOKTITLE = {Twenty-Second Conference on Artificial Intelligence (AAAI-07)},
   YEAR = {2007},
   PUBLISHER = {AAAI Press},
   NOTE = {to appear}
}

@MastersThesis{Calmes2002A, 
   AUTHOR = {Laurent Calmes},
   TITLE = {A Binaural Sound Source Localization System for a Mobile Robot},
   SCHOOL = {RWTH Aachen},
   YEAR = {2002}
}

@Article{calmes2007jasa, 
   AUTHOR = {Laurent Calmes and Gerhard Lakemeyer and Hermann Wagner},
   TITLE = {Azimuthal sound localization using coincidence of timing across frequency on a robotic platform},
   JOURNAL = {Journal of the Acoustical Society of America},
   YEAR = {2007},
   VOLUME = {121},
   NUMBER = {4},
   PAGES = {2034--2048},
   ADDRESS = {ASA},
   url = "khjbj"
}

@InProceedings{calmes2007soulabor, 
   AUTHOR = {Laurent Calmes and Hermann Wagner and Stefan Schiffer and Gerhard Lakemeyer},
   TITLE = {Combining Sound Localization and Laser based Object Recognition},
   BOOKTITLE = {Papers from the AAAI Spring Symposium},
   PAGES = {1-6},
   YEAR = {2007},
   EDITOR = {Adriana Tapus, Marek Michalowski, and Selma Sabanovic},
   PUBLISHER = {AAAI Press},
   ADDRESS = {Stanford CA}
}

@InProceedings{Beetz1998Causal, 
   AUTHOR = {Michael Beetz and Henrik Grosskreutz},
   TITLE = {Causal Models of Mobile Service Robot Behavior},
   BOOKTITLE = {AIPS-98},
   YEAR = {1998}
}

@InProceedings{Beetz2000Probabilistic, 
   AUTHOR = {Michael Beetz and Henrik Grosskreutz},
   TITLE = {Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior},
   BOOKTITLE = {AIPS-2000},
   YEAR = {2000}
}

@InProceedings{Beetz1999Probabilistic, 
   AUTHOR = {Michael Beetz and Maren Bennewitz and Henrik Grosskreutz},
   TITLE = {Probabilistic Prediction-based Schedule Debugging for Autonomous Robot Office Couriers},
   BOOKTITLE = {KI-99},
   YEAR = {1999},
   VOLUME = {1701},
   SERIES = {LNAI},
   PUBLISHER = {Springer}
}

@Book{Nilsson1998, 
   AUTHOR = {Nils J. Nilsson},
   TITLE = {Artificial Intelligence: A New Synthesis},
   PUBLISHER = {Morgan Kaufmann Publishers, San Francisco},
   YEAR = {1998}
}

@MastersThesis{Jansen2002Entwurf, 
   AUTHOR = {Norman Jansen},
   TITLE = {Entwurf eines Rahmenwerks zur Entwicklung von deliberativen Komponenten f?¼r unsichere, hochgradig dynamische Umgebungen mit Echtzeitanforderung},
   SCHOOL = {RWTH Aachen},
   YEAR = {2002}
}

@MastersThesis{Fischer2002Erkennen, 
   AUTHOR = {Olaf Fischer},
   TITLE = {Erkennen und Anfahren einer aktiven Landmarke durch einen ressourcenbeschr?¤nkten mobilen Roboter},
   SCHOOL = {RWTH Aachen},
   YEAR = {2002}
}

@InProceedings{ENLC06RelExp, 
   AUTHOR = {Patrick Eyerich and Bernhard Nebel and Gerhard Lakemeyer and Jens Claßen},
   TITLE = {Golog and PDDL: What is the Relative Expressiveness?},
   BOOKTITLE = {Proc. of International Symposium on Practical Cognitive Agents and Robots},
   YEAR = {2006},
   PUBLISHER = {University of Western Australia Press}
}

@Book{Winston1992Artificial, 
   AUTHOR = {Patrick H. Winston},
   TITLE = {Artificial Intelligence},
   PUBLISHER = {Addison-Wesley},
   YEAR = {1992},
   EDITION = {3rd edition}
}

@Book{brach2003, 
   AUTHOR = {Ronald J. Brachman and Hector J. Levesque},
   TITLE = {Knowledge Representation and Reasoning},
   YEAR = {2003}
}

@InProceedings{Jacobs2005Unreal, 
   AUTHOR = {S. Jacobs and A. Ferrein and G. Lakemeyer},
   TITLE = {Unreal Golog Bots},
   BOOKTITLE = { IJCAI'05 WS on Reasoning, Representation, and Learning in Computer Games},
   YEAR = {2005}
}

@Misc{Jacobs2005Controlling, 
   AUTHOR = {S. Jacobs and A. Ferrein and G. Lakemeyer},
   TITLE = {Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language Golog},
   YEAR = {2005}
}

@InProceedings{Konur2004Learning, 
   AUTHOR = {S. Konur and A. Ferrein and G. Lakemeyer},
   TITLE = {Learning Decision Trees for Action Selection in Soccer Agents},
   BOOKTITLE = {Proc. of Workshop on Agents in dynamic and real-time environments},
   YEAR = {2004}
}

@MastersThesis{schiffer05readyworld, 
   AUTHOR = {Stefan Schiffer},
   TITLE = {ReadyWorld - A Qualitative Worldmodel for Autonomous Soccer Agents in the ReadyLog Framework},
   SCHOOL = {Knowledge-based Systems Group, RWTH Aachen},
   YEAR = {2005}
}

@InProceedings{schifferFL06kiqcc, 
   AUTHOR = {Stefan Schiffer and Alexander Ferrein and Gerhard Lakemeyer},
   TITLE = {Qualitative World Models for Soccer Robots},
   CROSSREF = {ki2006qcc},
   BOOKTITLE = {Qualitative Constraint Calculi, Workshop at KI 2006, Bremen},
   PAGES = {3--14},
   YEAR = {2006},
   EDITOR = {Stefan Wölfl and Till Mossakowski},
   isbn =   {3-88722-666-6},
status = {Reviewed}
}

@InProceedings{schiffer2006football, 
   AUTHOR = {Stefan Schiffer and Alexander Ferrein and Gerhard Lakemeyer},
   TITLE = {Football is coming Home},
   BOOKTITLE = {Proc. of International Symposium on Practical Cognitive Agents and Robots},
   YEAR = {2006},
   PUBLISHER = {University of Western Australia Press},
   isbn = {1-74052-130-7},
location = {Perth, Australia}
}

@Book{Russell2003, 
   AUTHOR = {Stuart Russell and Peter Norvig},
   TITLE = {Artificial Intelligence: A Modern Approach},
   PUBLISHER = {Prentice-Hall, Englewood Cliffs, NJ},
   YEAR = {2003},
   EDITION = {2nd edition}
}

@Book{Russell1995, 
   AUTHOR = {Stuart Russell and Peter Norvig},
   TITLE = {Artificial Intelligence: A Modern Approach},
   PUBLISHER = {Prentice-Hall, Englewood Cliffs, NJ},
   YEAR = {1995}
}

@InProceedings{burgard1998, 
   AUTHOR = {W. Burgard and A.B. Cremers and D. Fox and D. Hähnel and Gerhard Lakemeyer and D. Schulz and W. Steiner and S. Thrun},
   TITLE = {The Interactive Museum Tour-Guide Robot},
   BOOKTITLE = {AAAI-98},
   YEAR = {1998}
}

@Book{Oberschelp2003, 
   AUTHOR = {Walter Oberschelp and Gottfried Vossen},
   TITLE = {Rechneraufbau und Rechnerstrukturen},
   PUBLISHER = {R. Oldenbourg Verlag, München, Wien},
   YEAR = {2003},
   EDITION = {9. Auflage}
}

@Book{Oberschelp2006, 
   AUTHOR = {Walter Oberschelp and Gottfried Vossen},
   TITLE = {Rechneraufbau und Rechnerstrukturen},
   PUBLISHER = {R. Oldenbourg Verlag, Müchen, Wien},
   YEAR = {2006},
   EDITION = {10. Auflage}
}

@InProceedings{LiuKR04LimitedBelief, 
   AUTHOR = {Y. Liu and G. Lakemeyer and H. J. Levesque},
   TITLE = {A Logic of Limited Belief for Reasoning with Disjunctive Information},
   BOOKTITLE = {9th Conf.  on Principles of Knowledge Representation and Reasoning (KR2004)},
   YEAR = {2004},
   PUBLISHER = {AAAI Press},
   NOTE = {to appear}
}

Date: 10 Oct 2007 TN   |   Disclaimer   |   Home