The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gerhard Lakemeyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun
    The Interactive Museum Tour-Guide Robot. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:11-18 [Conf]
  2. Henrik Grosskreutz, Gerhard Lakemeyer
    cc-Golog: Towards More Realistic Logic-Based Robot Controllers. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:476-482 [Conf]
  3. Gerhard Lakemeyer
    Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:531-537 [Conf]
  4. Gerhard Lakemeyer
    All They Know About. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:662-667 [Conf]
  5. Gerhard Lakemeyer, Hector J. Levesque
    Only-Knowing: Taking It Beyond Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:633-638 [Conf]
  6. Gerhard Lakemeyer, Hector J. Levesque
    Towards an Axiom System for Default Logic. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  7. Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun
    The Museum Tour-Guide Robot RHINO. [Citation Graph (0, 0)][DBLP]
    AMS, 1998, pp:245-254 [Conf]
  8. Günter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer
    SNet Reloaded: Roles, Monitoring and Agent Evolution. [Citation Graph (0, 0)][DBLP]
    AOIS, 2004, pp:68-84 [Conf]
  9. Gerhard Lakemeyer, Hector J. Levesque
    Querying AOL Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:225-244 [Conf]
  10. Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz
    Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2003, pp:242-257 [Conf]
  11. Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits
    SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2002, pp:328-343 [Conf]
  12. Henrik Grosskreutz, Gerhard Lakemeyer
    Turning High-Level Plans into Robot Programs in Uncertain Domains. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:548-552 [Conf]
  13. Gerhard Lakemeyer, Bernhard Nebel
    Foundations of Knowledge Representation and Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:1-12 [Conf]
  14. Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer
    Extending DTGOLOG with Options. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1394-1395 [Conf]
  15. Henrik Grosskreutz, Gerhard Lakemeyer
    On-Line Execution of cc-Golog Plans. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:12-18 [Conf]
  16. Gerhard Lakemeyer
    Tractable Meta-Reasoning in Propositional Logics of Belief. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1987, pp:401-408 [Conf]
  17. Gerhard Lakemeyer
    A Model of Decidable Introspective Reasoning with Quantifying-In. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:492-497 [Conf]
  18. Gerhard Lakemeyer
    All They Know: A Study in Multi-Agent Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:376-381 [Conf]
  19. Gerhard Lakemeyer
    A Logical Account of Relevance. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1995, pp:853-861 [Conf]
  20. Gerhard Lakemeyer, Hector J. Levesque
    Semantics for a useful fragment of the situation calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:490-496 [Conf]
  21. Gerhard Lakemeyer, Hector J. Levesque
    Query Evaluation and Progression in AOL Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:124-131 [Conf]
  22. Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel
    Towards an Integration of Golog and Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1846-1851 [Conf]
  23. Alexander Hornung, Gerhard Lakemeyer, Georg Trogemann
    An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. [Citation Graph (0, 0)][DBLP]
    IVA, 2003, pp:236-243 [Conf]
  24. Gerhard Lakemeyer
    A Computationally Attractive First-Order Logic of Belief. [Citation Graph (0, 0)][DBLP]
    JELIA, 1990, pp:333-347 [Conf]
  25. Vazha Amiranashvili, Gerhard Lakemeyer
    Distributed Multi-robot Localization Based on Mutual Path Detection. [Citation Graph (0, 0)][DBLP]
    KI, 2005, pp:279-290 [Conf]
  26. Andreas Becker, Gerhard Lakemeyer
    Epistemic Queries in Classic. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:190-201 [Conf]
  27. Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer
    On-Line Decision-Theoretic Golog for Unpredictable Domains. [Citation Graph (0, 0)][DBLP]
    KI, 2004, pp:322-336 [Conf]
  28. Henrik Grosskreutz, Gerhard Lakemeyer
    Belief Update in the pGOLOG Framework. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:213-228 [Conf]
  29. Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer
    GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. [Citation Graph (0, 0)][DBLP]
    KI, 1998, pp:165-176 [Conf]
  30. Gero Iwan, Gerhard Lakemeyer
    What Observations Really Tell Us. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:194-208 [Conf]
  31. Gerhard Lakemeyer, Wilfried Lang
    Belief Revision in a Nonclassical Logic. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:199-211 [Conf]
  32. Jens Claßen, Gerhard Lakemeyer
    Foundations for Knowledge-Based Programs using ES. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:318-318 [Conf]
  33. Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
    A Logic of Limited Belief for Reasoning with Disjunctive Information. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:587-597 [Conf]
  34. Gerhard Lakemeyer
    Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:73-81 [Conf]
  35. Gerhard Lakemeyer
    On the Relation between Explicit and Implicit Belief. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:368-375 [Conf]
  36. Gerhard Lakemeyer
    All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:639-648 [Conf]
  37. Gerhard Lakemeyer
    Only Knowing in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:14-25 [Conf]
  38. Gerhard Lakemeyer, Hector J. Levesque
    Situations, Si! Situation Terms, No! [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:516-526 [Conf]
  39. Gerhard Lakemeyer, Hector J. Levesque
    AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:316-329 [Conf]
  40. Gerhard Lakemeyer, Susanne Meyer
    Enhancing the Power of a Decidable First-Order Reasoner. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:403-414 [Conf]
  41. Gerhard Lakemeyer
    All I Know About Tweety. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic and Inductive Logic, 1991, pp:241-253 [Conf]
  42. Dominik Schmitz, Gerhard Lakemeyer, Günter Gans, Matthias Jarke
    Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2004, pp:520-532 [Conf]
  43. 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. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:154-165 [Conf]
  44. 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. [Citation Graph (0, 0)][DBLP]
    RobuCup, 2004, pp:611-618 [Conf]
  45. Alexander Ferrein, Lutz Hermanns, Gerhard Lakemeyer
    Comparing Sensor Fusion Techniques for Ball Position Estimation. [Citation Graph (0, 0)][DBLP]
    RoboCup, 2005, pp:154-165 [Conf]
  46. Andreas Strack, Alexander Ferrein, Gerhard Lakemeyer
    Laser-Based Localization with Sparse Landmarks. [Citation Graph (0, 0)][DBLP]
    RoboCup, 2005, pp:569-576 [Conf]
  47. Joseph Y. Halpern, Gerhard Lakemeyer
    Multi-Agent Only Knowing. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:251-265 [Conf]
  48. Gerhard Lakemeyer
    Steps Towards a First-Order Logic of Explicit and Implicit Belief. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:325-340 [Conf]
  49. Gerhard Lakemeyer
    On Perfect Introspection With Quantifying-in. [Citation Graph (0, 0)][DBLP]
    TARK, 1992, pp:199-213 [Conf]
  50. Gerhard Lakemeyer, Hector J. Levesque
    A Tractable Knowledge Representation Service with Full Introspection. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:145-159 [Conf]
  51. Stefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer
    Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. [Citation Graph (0, 0)][DBLP]
    AIIDE, 2005, pp:151-152 [Conf]
  52. 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. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:114, n:1-2, pp:3-55 [Journal]
  53. Joseph Y. Halpern, Gerhard Lakemeyer
    Levesque's Axiomatization of only Knowing is Incomplete. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:74, n:2, pp:381-387 [Journal]
  54. Gerhard Lakemeyer
    Limited Reasoning in First-Order Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:71, n:2, pp:213-255 [Journal]
  55. Gerhard Lakemeyer
    Limited Reasoning in First-Order Knowledge Bases with Full Introspection. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:84, n:1-2, pp:209-255 [Journal]
  56. Gerhard Lakemeyer
    Relevance from an Epistemic Perspective. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:97, n:1-2, pp:137-167 [Journal]
  57. Jana Koehler, Gerhard Lakemeyer
    The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2003, v:24, n:2, pp:97-98 [Journal]
  58. Joseph Y. Halpern, Gerhard Lakemeyer
    Multi-Agent Only Knowing [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  59. Henrik Grosskreutz, Gerhard Lakemeyer
    cc-Golog: Towards More Realistic Logic-Based Robot Controllers [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  60. Henrik Grosskreutz, Gerhard Lakemeyer
    Probabilistic Complex Actions in GOLOG. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:167-192 [Journal]
  61. Gerhard Lakemeyer
    On perfect introspection with Quantifying-in. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:17, n:1-2, pp:75-98 [Journal]
  62. Henrik Grosskreutz, Gerhard Lakemeyer
    ccGolog -- A Logical Language Dealing with Continuous Change. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:2, pp:179-221 [Journal]
  63. Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz
    Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2005, v:30, n:7, pp:587-607 [Journal]
  64. Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer
    Using Golog for Deliberation and Team Coordination in Robotic Soccer. [Citation Graph (0, 0)][DBLP]
    KI, 2005, v:19, n:1, pp:24-0 [Journal]
  65. Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
    Ist die Wissensrepräsentation tot? [Citation Graph (0, 0)][DBLP]
    KI, 1995, v:9, n:5, pp:18-26 [Journal]
  66. Henrik Grosskreutz, Gerhard Lakemeyer
    Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework. [Citation Graph (0, 0)][DBLP]
    KI, 2000, v:14, n:4, pp:11-15 [Journal]
  67. Joseph Y. Halpern, Gerhard Lakemeyer
    Multi-agent Only Knowing. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:41-70 [Journal]
  68. Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer
    Continuous requirements management for organisation networks: a (dis)trust-based approach. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:1, pp:4-22 [Journal]
  69. Alfredo Gabaldon, Gerhard Lakemeyer
    ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:974-979 [Conf]
  70. Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer
    A Situation-Calculus Semantics for an Expressive Fragment of PDDL. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:956-961 [Conf]
  71. Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer
    Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:352-366 [Conf]

  72. Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. [Citation Graph (, )][DBLP]


  73. Comparing Three Formal Analysis Approaches of the Tropos Family. [Citation Graph (, )][DBLP]


  74. Modelling Actor Evolution in Agent-Based Simulations. [Citation Graph (, )][DBLP]


  75. A Semantical Account of Progression in the Presence of Defaults. [Citation Graph (, )][DBLP]


  76. On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. [Citation Graph (, )][DBLP]


  77. A Semantical Account of Progression in the Presence of Defaults. [Citation Graph (, )][DBLP]


  78. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. [Citation Graph (, )][DBLP]


  79. Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. [Citation Graph (, )][DBLP]


  80. First-Order Strong Progression for Local-Effect Basic Action Theories. [Citation Graph (, )][DBLP]


  81. A Logic for Non-Terminating Golog Programs. [Citation Graph (, )][DBLP]


  82. Multi-Agent Only-Knowing Revisited. [Citation Graph (, )][DBLP]


  83. Landmark-Based Representations for Navigating Holonomic Soccer Robots. [Citation Graph (, )][DBLP]


  84. A Simulation Environment for Middle-Size Robots with Multi-level Abstraction. [Citation Graph (, )][DBLP]


  85. A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao. [Citation Graph (, )][DBLP]


  86. A Robust Speech Recognition System for Service-Robotics Applications. [Citation Graph (, )][DBLP]


  87. Robust Collision Avoidance in Unknown Domestic Environments. [Citation Graph (, )][DBLP]


  88. Continuous, Requirements-Driven Support for Organizations, Networks, and Communities. [Citation Graph (, )][DBLP]


  89. A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. [Citation Graph (, )][DBLP]


  90. Analyzing Agent-Based Simulations of Inter-organizational Networks. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002