Gerhard Lakemeyer Home Page Coauthor index pubzone.org

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

DBLP keys2012
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer: Flexible Command Interpretation on an Interactive Domestic Service Robot. ICAART (1) 2012: 26-35
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer: Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. Journal of Intelligent and Robotic Systems 66(1-2): 273-300 (2012)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel: Platas - Integrating Planning and the Action Language Golog. KI 26(1): 61-67 (2012)
2011
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaishak Belle, Gerhard Lakemeyer: A Semantical Account of Progression in the Presence of Uncertainty. AAAI 2011
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer: Fuzzy Representations and Control for Domestic Service Robots in Golog. ICIRA (2) 2011: 241-250
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Schiffer, Tobias Baumgartner, Gerhard Lakemeyer: A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot. ICIRA (2) 2011: 348-357
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaishak Belle, Gerhard Lakemeyer: On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. IJCAI 2011: 744-749
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. 175(1): 142-164 (2011)
2010
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaishak Belle, Gerhard Lakemeyer: Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. AAAI 2010
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer: Analyzing Agent-Based Simulations of Inter-organizational Networks. ADMI 2010: 87-102
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Claßen, Gerhard Lakemeyer: On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ECAI 2010: 887-892
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaishak Belle, Gerhard Lakemeyer: Multi-Agent Only-Knowing Revisited. KR 2010
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Niemüller, Alexander Ferrein, Daniel Beck, Gerhard Lakemeyer: Design Principles of the Component-Based Robot Software Framework Fawkes. SIMPAR 2010: 300-311
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaishak Belle, Gerhard Lakemeyer: Multi-Agent Only-Knowing Revisited CoRR abs/1009.2041: (2010)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: The Situation Calculus: A Case for Modal Logic. Journal of Logic, Language and Information 19(4): 431-450 (2010)
2009
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications 2009: 82-98
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer: Embedding fuzzy controllers in golog. FUZZ-IEEE 2009: 894-899
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009: 842-847
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongmei Liu, Gerhard Lakemeyer: On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI 2009: 860-866
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jacobs, Alexander Ferrein, Stefan Schiffer, Daniel Beck, Gerhard Lakemeyer: Robust Collision Avoidance in Unknown Domestic Environments. RoboCup 2009: 116-127
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Niemüller, Alexander Ferrein, Gerhard Lakemeyer: A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao. RoboCup 2009: 240-251
2008
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAristama Roesli, Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke: Modelling Actor Evolution in Agent-Based Simulations. AAMAS-OAMAS 2008: 126-144
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer: A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. ICIRA (1) 2008: 498-509
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Mies, Alexander Ferrein, Gerhard Lakemeyer: Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. KI 2008: 267-275
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Claßen, Gerhard Lakemeyer: A Logic for Non-Terminating Golog Programs. KR 2008: 589-599
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStavros Vassos, Gerhard Lakemeyer, Hector J. Levesque: First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008: 662-672
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasrur Doostdar, Stefan Schiffer, Gerhard Lakemeyer: A Robust Speech Recognition System for Service-Robotics Applications. RoboCup 2008: 1-12
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Beck, Alexander Ferrein, Gerhard Lakemeyer: Landmark-Based Representations for Navigating Holonomic Soccer Robots. RoboCup 2008: 25-36
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Jarke, Ralf Klamma, Gerhard Lakemeyer, Dominik Schmitz: Continuous, Requirements-Driven Support for Organizations, Networks, and Communities. iStar 2008: 47-50
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongmei Liu, Gerhard Lakemeyer: On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. (JAIR) 31: 259-272 (2008)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ferrein, Gerhard Lakemeyer: Logic-based robot control in highly dynamic domains. Robotics and Autonomous Systems 56(11): 980-991 (2008)
2007
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi: RoboCup 2006: Robot Soccer World Cup X Springer 2007
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Claßen, Yuxiao Hu, Gerhard Lakemeyer: A Situation-Calculus Semantics for an Expressive Fragment of PDDL. AAAI 2007: 956-961
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Gabaldon, Gerhard Lakemeyer: ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI 2007: 974-979
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Calmes, Hermann Wagner, Stefan Schiffer, Gerhard Lakemeyer: Combining Sound Localization and Laser-based Object Recognition. AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics 2007: 1-6
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel: Towards an Integration of Golog and Planning. IJCAI 2007: 1846-1851
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer: Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. KI 2007: 352-366
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Beck, Alexander Ferrein, Gerhard Lakemeyer: A Simulation Environment for Middle-Size Robots with Multi-level Abstraction. RoboCup 2007: 136-147
2006
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: Towards an Axiom System for Default Logic. AAAI 2006: 263-268
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik Schmitz, Gerhard Lakemeyer, Matthias Jarke: Comparing Three Formal Analysis Approaches of the Tropos Family. AOIS 2006: 164-182
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Claßen, Gerhard Lakemeyer: Foundations for Knowledge-Based Programs using ES. KR 2006: 318-318
2005
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI 2005: 633-638
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer: Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. AIIDE 2005: 151-152
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: Semantics for a useful fragment of the situation calculus. IJCAI 2005: 490-496
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVazha Amiranashvili, Gerhard Lakemeyer: Distributed Multi-robot Localization Based on Mutual Path Detection. KI 2005: 279-290
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ferrein, Lutz Hermanns, Gerhard Lakemeyer: Comparing Sensor Fusion Techniques for Ball Position Estimation. RoboCup 2005: 154-165
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Strack, Alexander Ferrein, Gerhard Lakemeyer: Laser-Based Localization with Sparse Landmarks. RoboCup 2005: 569-576
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGü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)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ferrein, Christian Fritz, Gerhard Lakemeyer: Using Golog for Deliberation and Team Coordination in Robotic Soccer. KI 19(1): 24- (2005)
2004
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGünter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer: SNet Reloaded: Roles, Monitoring and Agent Evolution. AOIS 2004: 68-84
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ferrein, Christian Fritz, Gerhard Lakemeyer: On-Line Decision-Theoretic Golog for Unpredictable Domains. KI 2004: 322-336
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: Situations, Si! Situation Terms, No! KR 2004: 516-526
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYongmei Liu, Gerhard Lakemeyer, Hector J. Levesque: A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004: 587-597
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGünter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz: Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. CAiSE 2003: 242-257
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ferrein, Christian Fritz, Gerhard Lakemeyer: Extending DTGOLOG with Options. IJCAI 2003: 1394-1395
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Hornung, Gerhard Lakemeyer, Georg Trogemann: An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. IVA 2003: 236-243
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGero Iwan, Gerhard Lakemeyer: What Observations Really Tell Us. KI 2003: 194-208
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Koehler, Gerhard Lakemeyer: The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). AI Magazine 24(2): 97-98 (2003)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: Probabilistic Complex Actions in GOLOG. Fundam. Inform. 57(2-4): 167-192 (2003)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: ccGolog -- A Logical Language Dealing with Continuous Change. Logic Journal of the IGPL 11(2): 179-221 (2003)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGü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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGü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
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. KR 2002: 73-81
2001
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: On-Line Execution of cc-Golog Plans. IJCAI 2001: 12-18
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: Belief Update in the pGOLOG Framework. KI/ÖGAI 2001: 213-228
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGü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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Gerhard Lakemeyer: Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001)
2000
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHector J. Levesque, Gerhard Lakemeyer: The logic of knowledge bases. MIT Press 2000: I-XVIII, 1-282
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: cc-Golog: Towards More Realistic Logic-Based Robot Controllers. AAAI/IAAI 2000: 476-482
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: Turning High-Level Plans into Robot Programs in Uncertain Domains. ECAI 2000: 548-552
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: Querying AOL Knowledge Bases. Intellectics and Computational Logic 2000: 225-244
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing CoRR cs.AI/0001015: (2000)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: cc-Golog: Towards More Realistic Logic-Based Robot Controllers CoRR cs.AI/0003032: (2000)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Grosskreutz, Gerhard Lakemeyer: Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework. KI 14(4): 11-15 (2000)
1999
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999: 124-131
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram 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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer: GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. KI 1998: 165-176
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR 1998: 316-329
1997
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Relevance from an Epistemic Perspective. Artif. Intell. 97(1-2): 137-167 (1997)
1996
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Wilfried Lang: Belief Revision in a Nonclassical Logic. KI 1996: 199-211
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Only Knowing in the Situation Calculus. KR 1996: 14-25
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing. TARK 1996: 251-265
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Limited Reasoning in First-Order Knowledge Bases with Full Introspection. Artif. Intell. 84(1-2): 209-255 (1996)
1995
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: A Logical Account of Relevance. IJCAI (1) 1995: 853-861
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Gerhard Lakemeyer: Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. 74(2): 381-387 (1995)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Bernhard Nebel: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop] Springer 1994
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Becker, Gerhard Lakemeyer: Epistemic Queries in Classic. KI 1994: 190-201
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Susanne Meyer: Enhancing the Power of a Decidable First-Order Reasoner. KR 1994: 403-414
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Limited Reasoning in First-Order Knowledge Bases. Artif. Intell. 71(2): 213-255 (1994)
1993
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: All They Know About. AAAI 1993: 662-667
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: All They Know: A Study in Multi-Agent Autoepistemic Reasoning. IJCAI 1993: 376-381
1992
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Bernhard Nebel: Foundations of Knowledge Representation and Reasoning. ECAI Workshop on Knowledge Representation and Reasoning 1992: 1-12
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). KR 1992: 639-648
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: On Perfect Introspection With Quantifying-in. TARK 1992: 199-213
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: On perfect introspection with Quantifying-in. Fundam. Inform. 17(1-2): 75-98 (1992)
1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: A Model of Decidable Introspective Reasoning with Quantifying-In. IJCAI 1991: 492-497
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: On the Relation between Explicit and Implicit Belief. KR 1991: 368-375
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: All I Know About Tweety. Nonmonotonic and Inductive Logic 1991: 241-253
1990
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. AAAI 1990: 531-537
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: A Computationally Attractive First-Order Logic of Belief. JELIA 1990: 333-347
1988
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer, Hector J. Levesque: A Tractable Knowledge Representation Service with Full Introspection. TARK 1988: 145-159
1987
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Tractable Meta-Reasoning in Propositional Logics of Belief. IJCAI 1987: 401-408
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Lakemeyer: Steps Towards a First-Order Logic of Explicit and Implicit Belief. TARK 1986: 325-340

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page