 | 2009 |
|---|
| 88 |       | Gerhard Lakemeyer,
Hector J. Levesque:
A Semantical Account of Progression in the Presence of Defaults.
Conceptual Modeling: Foundations and Applications 2009: 82-98 |
| 87 | | Gerhard Lakemeyer,
Hector J. Levesque:
A Semantical Account of Progression in the Presence of Defaults.
IJCAI 2009: 842-847 |
| 86 | | Yongmei Liu,
Gerhard Lakemeyer:
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.
IJCAI 2009: 860-866 |
| 2008 |
|---|
| 85 | | Alexander Ferrein,
Stefan Schiffer,
Gerhard Lakemeyer:
A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus.
ICIRA (1) 2008: 498-509 |
| 84 | | Christoph Mies,
Alexander Ferrein,
Gerhard Lakemeyer:
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning.
KI 2008: 267-275 |
| 83 |  | Jens Claßen,
Gerhard Lakemeyer:
A Logic for Non-Terminating Golog Programs.
KR 2008: 589-599 |
| 82 | | Stavros Vassos,
Gerhard Lakemeyer,
Hector J. Levesque:
First-Order Strong Progression for Local-Effect Basic Action Theories.
KR 2008: 662-672 |
| 81 | | Masrur Doostdar,
Stefan Schiffer,
Gerhard Lakemeyer:
A Robust Speech Recognition System for Service-Robotics Applications.
RoboCup 2008: 1-12 |
| 80 | | Daniel Beck,
Alexander Ferrein,
Gerhard Lakemeyer:
Landmark-Based Representations for Navigating Holonomic Soccer Robots.
RoboCup 2008: 25-36 |
| 79 | | Matthias Jarke,
Ralf Klamma,
Gerhard Lakemeyer,
Dominik Schmitz:
Continuous, Requirements-Driven Support for Organizations, Networks, and Communities.
iStar 2008: 47-50 |
| 78 | | Yongmei Liu,
Gerhard Lakemeyer:
On the Expressiveness of Levesque's Normal Form.
J. Artif. Intell. Res. (JAIR) 31: 259-272 (2008) |
| 77 | | Alexander Ferrein,
Gerhard Lakemeyer:
Logic-based robot control in highly dynamic domains.
Robotics and Autonomous Systems 56(11): 980-991 (2008) |
| 2007 |
|---|
| 76 | | Gerhard Lakemeyer,
Elizabeth Sklar,
Domenico G. Sorrenti,
Tomoichi Takahashi:
RoboCup 2006: Robot Soccer World Cup X
Springer 2007 |
| 75 | | Jens Claßen,
Yuxiao Hu,
Gerhard Lakemeyer:
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
AAAI 2007: 956-961 |
| 74 | | Alfredo Gabaldon,
Gerhard Lakemeyer:
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting.
AAAI 2007: 974-979 |
| 73 | | Jens Claßen,
Patrick Eyerich,
Gerhard Lakemeyer,
Bernhard Nebel:
Towards an Integration of Golog and Planning.
IJCAI 2007: 1846-1851 |
| 72 | | Lutz Böhnstedt,
Alexander Ferrein,
Gerhard Lakemeyer:
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog.
KI 2007: 352-366 |
| 71 | | Daniel Beck,
Alexander Ferrein,
Gerhard Lakemeyer:
A Simulation Environment for Middle-Size Robots with Multi-level Abstraction.
RoboCup 2007: 136-147 |
| 2006 |
|---|
| 70 | | Gerhard Lakemeyer,
Hector J. Levesque:
Towards an Axiom System for Default Logic.
AAAI 2006 |
| 69 | | Dominik Schmitz,
Gerhard Lakemeyer,
Matthias Jarke:
Comparing Three Formal Analysis Approaches of the Tropos Family.
AOIS 2006: 164-182 |
| 68 | | Jens Claßen,
Gerhard Lakemeyer:
Foundations for Knowledge-Based Programs using ES.
KR 2006: 318-318 |
| 2005 |
|---|
| 67 | | Gerhard Lakemeyer,
Hector J. Levesque:
Only-Knowing: Taking It Beyond Autoepistemic Reasoning.
AAAI 2005: 633-638 |
| 66 | | Stefan Jacobs,
Alexander Ferrein,
Gerhard Lakemeyer:
Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG.
AIIDE 2005: 151-152 |
| 65 | | Gerhard Lakemeyer,
Hector J. Levesque:
Semantics for a useful fragment of the situation calculus.
IJCAI 2005: 490-496 |
| 64 | | Vazha Amiranashvili,
Gerhard Lakemeyer:
Distributed Multi-robot Localization Based on Mutual Path Detection.
KI 2005: 279-290 |
| 63 | | Alexander Ferrein,
Lutz Hermanns,
Gerhard Lakemeyer:
Comparing Sensor Fusion Techniques for Ball Position Estimation.
RoboCup 2005: 154-165 |
| 62 | | Andreas Strack,
Alexander Ferrein,
Gerhard Lakemeyer:
Laser-Based Localization with Sparse Landmarks.
RoboCup 2005: 569-576 |
| 61 | | Günter Gans,
Matthias Jarke,
Gerhard Lakemeyer,
Dominik Schmitz:
Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks.
Inf. Syst. 30(7): 587-607 (2005) |
| 60 | | Alexander Ferrein,
Christian Fritz,
Gerhard Lakemeyer:
Using Golog for Deliberation and Team Coordination in Robotic Soccer.
KI 19(1): 24- (2005) |
| 2004 |
|---|
| 59 | | Günter Gans,
Dominik Schmitz,
Thomas Arzdorf,
Matthias Jarke,
Gerhard Lakemeyer:
SNet Reloaded: Roles, Monitoring and Agent Evolution.
AOIS 2004: 68-84 |
| 58 | | Alexander Ferrein,
Christian Fritz,
Gerhard Lakemeyer:
On-Line Decision-Theoretic Golog for Unpredictable Domains.
KI 2004: 322-336 |
| 57 | | Gerhard Lakemeyer,
Hector J. Levesque:
Situations, Si! Situation Terms, No!
KR 2004: 516-526 |
| 56 | | Yongmei Liu,
Gerhard Lakemeyer,
Hector J. Levesque:
A Logic of Limited Belief for Reasoning with Disjunctive Information.
KR 2004: 587-597 |
| 55 | | Dominik Schmitz,
Gerhard Lakemeyer,
Günter Gans,
Matthias Jarke:
Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks.
OTM Workshops 2004: 520-532 |
| 54 | | Frank Dylla,
Alexander Ferrein,
Gerhard Lakemeyer,
Jan Murray,
Oliver Obst,
Thomas Röfer,
Frieder Stolzenburg,
Ubbo Visser,
Thomas Wagner:
Towards a League-Independent Qualitative Soccer Theory for RoboCup.
RobuCup 2004: 611-618 |
| 2003 |
|---|
| 53 | | Günter Gans,
Matthias Jarke,
Gerhard Lakemeyer,
Dominik Schmitz:
Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks.
CAiSE 2003: 242-257 |
| 52 | | Alexander Ferrein,
Christian Fritz,
Gerhard Lakemeyer:
Extending DTGOLOG with Options.
IJCAI 2003: 1394-1395 |
| 51 | | Alexander Hornung,
Gerhard Lakemeyer,
Georg Trogemann:
An Autonomous Real-Time Camera Agent for Interactive Narratives and Games.
IVA 2003: 236-243 |
| 50 | | Gero Iwan,
Gerhard Lakemeyer:
What Observations Really Tell Us.
KI 2003: 194-208 |
| 49 | | Jana Koehler,
Gerhard Lakemeyer:
The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002).
AI Magazine 24(2): 97-98 (2003) |
| 48 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
Probabilistic Complex Actions in GOLOG.
Fundam. Inform. 57(2-4): 167-192 (2003) |
| 47 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
ccGolog -- A Logical Language Dealing with Continuous Change.
Logic Journal of the IGPL 11(2): 179-221 (2003) |
| 46 | | Günter Gans,
Matthias Jarke,
Stefanie Kethers,
Gerhard Lakemeyer:
Continuous requirements management for organisation networks: a (dis)trust-based approach.
Requir. Eng. 8(1): 4-22 (2003) |
| 2002 |
|---|
| 45 | | Matthias Jarke,
Jana Koehler,
Gerhard Lakemeyer:
KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings
Springer 2002 |
| 44 | | Günter Gans,
Gerhard Lakemeyer,
Matthias Jarke,
Thomas Vits:
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog.
CAiSE 2002: 328-343 |
| 43 | | Gerhard Lakemeyer:
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases.
KR 2002: 73-81 |
| 2001 |
|---|
| 42 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
On-Line Execution of cc-Golog Plans.
IJCAI 2001: 12-18 |
| 41 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
Belief Update in the pGOLOG Framework.
KI/ÖGAI 2001: 213-228 |
| 40 | | Günter Gans,
Matthias Jarke,
Stefanie Kethers,
Gerhard Lakemeyer,
Lutz Ellrich,
Christiane Funken,
Martin Meister:
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach.
RE 2001: 154-165 |
| 39 | | Joseph Y. Halpern,
Gerhard Lakemeyer:
Multi-agent Only Knowing.
J. Log. Comput. 11(1): 41-70 (2001) |
| 2000 |
|---|
| 38 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
cc-Golog: Towards More Realistic Logic-Based Robot Controllers.
AAAI/IAAI 2000: 476-482 |
| 37 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
Turning High-Level Plans into Robot Programs in Uncertain Domains.
ECAI 2000: 548-552 |
| 36 | | Gerhard Lakemeyer,
Hector J. Levesque:
Querying AOL Knowledge Bases.
Intellectics and Computational Logic 2000: 225-244 |
| 35 | | Joseph Y. Halpern,
Gerhard Lakemeyer:
Multi-Agent Only Knowing
CoRR cs.AI/0001015: (2000) |
| 34 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
CoRR cs.AI/0003032: (2000) |
| 33 | | Henrik Grosskreutz,
Gerhard Lakemeyer:
Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework.
KI 14(4): 11-15 (2000) |
| 1999 |
|---|
| 32 | | Gerhard Lakemeyer,
Hector J. Levesque:
Query Evaluation and Progression in AOL Knowledge Bases.
IJCAI 1999: 124-131 |
| 31 | | Wolfram Burgard,
Armin B. Cremers,
Dieter Fox,
Dirk Hähnel,
Gerhard Lakemeyer,
Dirk Schulz,
Walter Steiner,
Sebastian Thrun:
Experiences with an Interactive Museum Tour-Guide Robot.
Artif. Intell. 114(1-2): 3-55 (1999) |
| 1998 |
|---|
| 30 | | Wolfram Burgard,
Armin B. Cremers,
Dieter Fox,
Dirk Hähnel,
Gerhard Lakemeyer,
Dirk Schulz,
Walter Steiner,
Sebastian Thrun:
The Interactive Museum Tour-Guide Robot.
AAAI/IAAI 1998: 11-18 |
| 29 | | Wolfram Burgard,
Armin B. Cremers,
Dieter Fox,
Dirk Hähnel,
Gerhard Lakemeyer,
Dirk Schulz,
Walter Steiner,
Sebastian Thrun:
The Museum Tour-Guide Robot RHINO.
AMS 1998: 245-254 |
| 28 | | Dirk Hähnel,
Wolfram Burgard,
Gerhard Lakemeyer:
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot.
KI 1998: 165-176 |
| 27 | | Gerhard Lakemeyer,
Hector J. Levesque:
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.
KR 1998: 316-329 |
| 1997 |
|---|
| 26 | | Gerhard Lakemeyer:
Relevance from an Epistemic Perspective.
Artif. Intell. 97(1-2): 137-167 (1997) |
| 1996 |
|---|
| 25 | | Gerhard Lakemeyer,
Wilfried Lang:
Belief Revision in a Nonclassical Logic.
KI 1996: 199-211 |
| 24 | | Gerhard Lakemeyer:
Only Knowing in the Situation Calculus.
KR 1996: 14-25 |
| 23 | | Joseph Y. Halpern,
Gerhard Lakemeyer:
Multi-Agent Only Knowing.
TARK 1996: 251-265 |
| 22 | | Gerhard Lakemeyer:
Limited Reasoning in First-Order Knowledge Bases with Full Introspection.
Artif. Intell. 84(1-2): 209-255 (1996) |
| 1995 |
|---|
| 21 | | Gerhard Lakemeyer:
A Logical Account of Relevance.
IJCAI (1) 1995: 853-861 |
| 20 | | Joseph Y. Halpern,
Gerhard Lakemeyer:
Levesque's Axiomatization of only Knowing is Incomplete.
Artif. Intell. 74(2): 381-387 (1995) |
| 19 | | Ulrich Furbach,
Hans-Jürgen Bürckert,
Joachim Hertzberg,
Bernhard Nebel,
Gerhard Brewka,
Gerhard Lakemeyer,
Torsten Schaub,
Frank Puppe:
Ist die Wissensrepräsentation tot?
KI 9(5): 18-26 (1995) |
| 1994 |
|---|
| 18 | | Gerhard Lakemeyer,
Bernhard Nebel:
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Springer 1994 |
| 17 | | Andreas Becker,
Gerhard Lakemeyer:
Epistemic Queries in Classic.
KI 1994: 190-201 |
| 16 | | Gerhard Lakemeyer,
Susanne Meyer:
Enhancing the Power of a Decidable First-Order Reasoner.
KR 1994: 403-414 |
| 15 | | Gerhard Lakemeyer:
Limited Reasoning in First-Order Knowledge Bases.
Artif. Intell. 71(2): 213-255 (1994) |
| 1993 |
|---|
| 14 | | Gerhard Lakemeyer:
All They Know About.
AAAI 1993: 662-667 |
| 13 | | Gerhard Lakemeyer:
All They Know: A Study in Multi-Agent Autoepistemic Reasoning.
IJCAI 1993: 376-381 |
| 1992 |
|---|
| 12 | | Gerhard Lakemeyer,
Bernhard Nebel:
Foundations of Knowledge Representation and Reasoning.
ECAI Workshop on Knowledge Representation and Reasoning 1992: 1-12 |
| 11 | | Gerhard Lakemeyer:
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask).
KR 1992: 639-648 |
| 10 | | Gerhard Lakemeyer:
On Perfect Introspection With Quantifying-in.
TARK 1992: 199-213 |
| 9 | | Gerhard Lakemeyer:
On perfect introspection with Quantifying-in.
Fundam. Inform. 17(1-2): 75-98 (1992) |
| 1991 |
|---|
| 8 | | Gerhard Lakemeyer:
A Model of Decidable Introspective Reasoning with Quantifying-In.
IJCAI 1991: 492-497 |
| 7 | | Gerhard Lakemeyer:
On the Relation between Explicit and Implicit Belief.
KR 1991: 368-375 |
| 6 | | Gerhard Lakemeyer:
All I Know About Tweety.
Nonmonotonic and Inductive Logic 1991: 241-253 |
| 1990 |
|---|
| 5 | | Gerhard Lakemeyer:
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection.
AAAI 1990: 531-537 |
| 4 | | Gerhard Lakemeyer:
A Computationally Attractive First-Order Logic of Belief.
JELIA 1990: 333-347 |
| 1988 |
|---|
| 3 | | Gerhard Lakemeyer,
Hector J. Levesque:
A Tractable Knowledge Representation Service with Full Introspection.
TARK 1988: 145-159 |
| 1987 |
|---|
| 2 | | Gerhard Lakemeyer:
Tractable Meta-Reasoning in Propositional Logics of Belief.
IJCAI 1987: 401-408 |
| 1986 |
|---|
| 1 | | Gerhard Lakemeyer:
Steps Towards a First-Order Logic of Explicit and Implicit Belief.
TARK 1986: 325-340 |
