2008 |
82 | EE | Alexander Ferrein,
Stefan Schiffer,
Gerhard Lakemeyer:
A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus.
ICIRA (1) 2008: 498-509 |
81 | EE | Christoph Mies,
Alexander Ferrein,
Gerhard Lakemeyer:
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning.
KI 2008: 267-275 |
80 | | Jens Claßen,
Gerhard Lakemeyer:
A Logic for Non-Terminating Golog Programs.
KR 2008: 589-599 |
79 | | Stavros Vassos,
Gerhard Lakemeyer,
Hector J. Levesque:
First-Order Strong Progression for Local-Effect Basic Action Theories.
KR 2008: 662-672 |
78 | EE | Matthias Jarke,
Ralf Klamma,
Gerhard Lakemeyer,
Dominik Schmitz:
Continuous, Requirements-Driven Support for Organizations, Networks, and Communities.
iStar 2008: 47-50 |
77 | EE | 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 | EE | Jens Claßen,
Patrick Eyerich,
Gerhard Lakemeyer,
Bernhard Nebel:
Towards an Integration of Golog and Planning.
IJCAI 2007: 1846-1851 |
72 | EE | Lutz Böhnstedt,
Alexander Ferrein,
Gerhard Lakemeyer:
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog.
KI 2007: 352-366 |
71 | EE | 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 | EE | 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 | EE | Gerhard Lakemeyer,
Hector J. Levesque:
Semantics for a useful fragment of the situation calculus.
IJCAI 2005: 490-496 |
64 | EE | Vazha Amiranashvili,
Gerhard Lakemeyer:
Distributed Multi-robot Localization Based on Mutual Path Detection.
KI 2005: 279-290 |
63 | EE | Alexander Ferrein,
Lutz Hermanns,
Gerhard Lakemeyer:
Comparing Sensor Fusion Techniques for Ball Position Estimation.
RoboCup 2005: 154-165 |
62 | EE | Andreas Strack,
Alexander Ferrein,
Gerhard Lakemeyer:
Laser-Based Localization with Sparse Landmarks.
RoboCup 2005: 569-576 |
61 | EE | 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 | EE | Alexander Ferrein,
Christian Fritz,
Gerhard Lakemeyer:
Using Golog for Deliberation and Team Coordination in Robotic Soccer.
KI 19(1): 24- (2005) |
2004 |
59 | EE | Günter Gans,
Dominik Schmitz,
Thomas Arzdorf,
Matthias Jarke,
Gerhard Lakemeyer:
SNet Reloaded: Roles, Monitoring and Agent Evolution.
AOIS 2004: 68-84 |
58 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Alexander Hornung,
Gerhard Lakemeyer,
Georg Trogemann:
An Autonomous Real-Time Camera Agent for Interactive Narratives and Games.
IVA 2003: 236-243 |
50 | EE | 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 | EE | Henrik Grosskreutz,
Gerhard Lakemeyer:
Probabilistic Complex Actions in GOLOG.
Fundam. Inform. 57(2-4): 167-192 (2003) |
47 | EE | Henrik Grosskreutz,
Gerhard Lakemeyer:
ccGolog -- A Logical Language Dealing with Continuous Change.
Logic Journal of the IGPL 11(2): 179-221 (2003) |
46 | EE | 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 | EE | 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 | EE | Henrik Grosskreutz,
Gerhard Lakemeyer:
Belief Update in the pGOLOG Framework.
KI/ÖGAI 2001: 213-228 |
40 | EE | 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 | EE | 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 | EE | Joseph Y. Halpern,
Gerhard Lakemeyer:
Multi-Agent Only Knowing
CoRR cs.AI/0001015: (2000) |
34 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |