BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Germany
2 × Austria
2 × Italy
2 × USA
4 × Canada
Collaborated with:
H.J.Levesque V.Belle J.Claßen G.Gans M.Jarke S.Meyer S.Vassos Y.Liu Stefan Jacobs A.Ferrein D.Schmitz T.Vits S.Kethers L.Ellrich C.Funken M.Meister
Talks about:
know (6) base (6) logic (5) situat (4) reason (4) onli (4) knowledg (3) network (3) order (3) model (3)

Person: Gerhard Lakemeyer

DBLP DBLP: Lakemeyer:Gerhard

Contributed to:

KR 20142014
KR 20122012
KR 20102010
KR 20082008
KR 20062006
KR 20042004
CAiSE 20032003
CAiSE 20022002
KR 20022002
RE 20012001
KR 19981998
KR 19961996
KR 19941994
KR 19921992
KR 19911991
AIIDE 20052005

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.
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.
Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG (SJ, AF, GL), pp. 151–152.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.