 |
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