Person: Gerhard Lakemeyer

DBLP: Lakemeyer:Gerhard

Contributed to:

2014

2012

2010

2008

2006

2004

2003

2002

2002

2001

1998

1996

1994

1992

1991

2005

Wrote 19 papers:

KR-2014-BelleL14a #multi #on the

On the Progression of Knowledge in Multiagent Systems (VB, GL).

KR-2014-LakemeyerL #calculus #decidability #reasoning

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (GL, HJL).

KR-2012-LakemeyerL #logic

Only-Knowing Meets Nonmonotonic Modal Logic (GL, HJL).

KR-2010-BelleL #multi #revisited

Multi-Agent Only-Knowing Revisited (VB, GL).

KR-2008-ClassenL #logic #source code

A Logic for Non-Terminating Golog Programs (JC, GL), pp. 589–599.

KR-2008-VassosLL #first-order

First-Order Strong Progression for Local-Effect Basic Action Theories (SV, GL, HJL), pp. 662–672.

KR-2006-ClassenL #knowledge-based #source code #using

Foundations for Knowledge-Based Programs using ES (JC, GL), pp. 318–328.

KR-2004-LakemeyerL #exclamation

Situations, Si! Situation Terms, No! (GL, HJL), pp. 516–526.

KR-2004-LiuLL #logic #reasoning

A Logic of Limited Belief for Reasoning with Disjunctive Information (YL, GL, HJL), pp. 587–597.

CAiSE-2003-GansJLS #modelling #network #simulation

Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks (GG, MJ, GL, DS), pp. 242–257.

CAiSE-2002-GansLJV #modelling #named #network #simulation

SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog (GG, GL, MJ, TV), pp. 328–343.

KR-2002-Lakemeyer #first-order #knowledge base #reasoning

Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases (GL), pp. 73–81.

RE-2001-GansJKLEFM #approach #modelling #network #requirements #trust

Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach (GG, MJ, SK, GL, LE, CF, MM), pp. 154–165.

KR-1998-LakemeyerL #logic #named

AOL: A logic of Acting, Sensing, Knowing, and Only Knowing (GL, HJL), pp. 316–329.

KR-1996-Lakemeyer #calculus

Only Knowing in the Situation Calculus (GL), pp. 14–25.

KR-1994-LakemeyerM #decidability #first-order #power of

Enhancing the Power of a Decidable First-Order Reasoner (GL, SM), pp. 403–414.

KR-1992-Lakemeyer

All You Ever Wanted to Know about Tweety (But Were Afraid to Ask) (GL), pp. 639–648.

KR-1991-Lakemeyer #on the

On the Relation between Explicit and Implicit Belief (GL), pp. 368–375.

AIIDE-2005-JacobsFL

Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG (SJ, AF, GL), pp. 151–152.