dblp.uni-trier.dewww.uni-trier.de

Gerhard Lakemeyer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
88EEGerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications 2009: 82-98
87EEGerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009: 842-847
86EEYongmei Liu, Gerhard Lakemeyer: On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI 2009: 860-866
2008
85EEAlexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer: A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. ICIRA (1) 2008: 498-509
84EEChristoph 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
81EEMasrur Doostdar, Stefan Schiffer, Gerhard Lakemeyer: A Robust Speech Recognition System for Service-Robotics Applications. RoboCup 2008: 1-12
80EEDaniel Beck, Alexander Ferrein, Gerhard Lakemeyer: Landmark-Based Representations for Navigating Holonomic Soccer Robots. RoboCup 2008: 25-36
79EEMatthias Jarke, Ralf Klamma, Gerhard Lakemeyer, Dominik Schmitz: Continuous, Requirements-Driven Support for Organizations, Networks, and Communities. iStar 2008: 47-50
78EEYongmei Liu, Gerhard Lakemeyer: On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. (JAIR) 31: 259-272 (2008)
77EEAlexander 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
73EEJens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel: Towards an Integration of Golog and Planning. IJCAI 2007: 1846-1851
72EELutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer: Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. KI 2007: 352-366
71EEDaniel 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
69EEDominik 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
65EEGerhard Lakemeyer, Hector J. Levesque: Semantics for a useful fragment of the situation calculus. IJCAI 2005: 490-496
64EEVazha Amiranashvili, Gerhard Lakemeyer: Distributed Multi-robot Localization Based on Mutual Path Detection. KI 2005: 279-290
63EEAlexander Ferrein, Lutz Hermanns, Gerhard Lakemeyer: Comparing Sensor Fusion Techniques for Ball Position Estimation. RoboCup 2005: 154-165
62EEAndreas Strack, Alexander Ferrein, Gerhard Lakemeyer: Laser-Based Localization with Sparse Landmarks. RoboCup 2005: 569-576
61EEGü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)
60EEAlexander Ferrein, Christian Fritz, Gerhard Lakemeyer: Using Golog for Deliberation and Team Coordination in Robotic Soccer. KI 19(1): 24- (2005)
2004
59EEGünter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer: SNet Reloaded: Roles, Monitoring and Agent Evolution. AOIS 2004: 68-84
58EEAlexander 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
55EEDominik 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
54EEFrank 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
53EEGü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
51EEAlexander Hornung, Gerhard Lakemeyer, Georg Trogemann: An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. IVA 2003: 236-243
50EEGero 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)
48EEHenrik Grosskreutz, Gerhard Lakemeyer: Probabilistic Complex Actions in GOLOG. Fundam. Inform. 57(2-4): 167-192 (2003)
47EEHenrik Grosskreutz, Gerhard Lakemeyer: ccGolog -- A Logical Language Dealing with Continuous Change. Logic Journal of the IGPL 11(2): 179-221 (2003)
46EEGü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
44EEGü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
41EEHenrik Grosskreutz, Gerhard Lakemeyer: Belief Update in the pGOLOG Framework. KI/ÖGAI 2001: 213-228
40EEGü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
39EEJoseph 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
35EEJoseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing CoRR cs.AI/0001015: (2000)
34EEHenrik 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
31EEWolfram 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
26EEGerhard 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
22EEGerhard 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
20EEJoseph 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
4EEGerhard 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

Coauthor Index

1Vazha Amiranashvili [64]
2Thomas Arzdorf [59]
3Daniel Beck [71] [80]
4Andreas Becker [17]
5Lutz Böhnstedt [72]
6Gerhard Brewka [19]
7Hans-Jürgen Bürckert [19]
8Wolfram Burgard [28] [29] [30] [31]
9Jens Claßen [68] [73] [75] [83]
10Armin B. Cremers [29] [30] [31]
11Masrur Doostdar [81]
12Frank Dylla [54]
13Lutz Ellrich [40]
14Patrick Eyerich [73]
15Alexander Ferrein [52] [54] [58] [60] [62] [63] [66] [71] [72] [77] [80] [84] [85]
16Dieter Fox [29] [30] [31]
17Christian Fritz [52] [58] [60]
18Christiane Funken [40]
19Ulrich Furbach [19]
20Alfredo Gabaldon [74]
21Günter Gans [40] [44] [46] [53] [55] [59] [61]
22Henrik Grosskreutz [33] [34] [37] [38] [41] [42] [47] [48]
23Dirk Hähnel [28] [29] [30] [31]
24Joseph Y. Halpern [20] [23] [35] [39]
25Lutz Hermanns [63]
26Joachim Hertzberg [19]
27Alexander Hornung [51]
28Yuxiao Hu [75]
29Gero Iwan [50]
30Stefan Jacobs [66]
31Matthias Jarke [40] [44] [45] [46] [53] [55] [59] [61] [69] [79]
32Stefanie Kethers [40] [46]
33Ralf Klamma [79]
34Jana Koehler (Jana Köhler) [45] [49]
35Wilfried Lang [25]
36Hector J. Levesque [3] [27] [32] [36] [56] [57] [65] [67] [70] [82] [87] [88]
37Yongmei Liu [56] [78] [86]
38Martin Meister [40]
39Susanne Meyer [16]
40Christoph Mies [84]
41Jan Murray [54]
42Bernhard Nebel [12] [18] [19] [73]
43Oliver Obst [54]
44Frank Puppe [19]
45Thomas Röfer [54]
46Torsten Schaub [19]
47Stefan Schiffer [81] [85]
48Dominik Schmitz [53] [55] [59] [61] [69] [79]
49Dirk Schulz [29] [30] [31]
50Elizabeth Sklar (Elizabeth Sklar Rozier) [76]
51Domenico G. Sorrenti [76]
52Walter Steiner [29] [30] [31]
53Frieder Stolzenburg [54]
54Andreas Strack [62]
55Tomoichi Takahashi [76]
56Sebastian Thrun [29] [30] [31]
57Georg Trogemann [51]
58Stavros Vassos [82]
59Ubbo Visser [54]
60Thomas Vits [44]
61Thomas Wagner [54]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)