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

Jens Claßen 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
6Electronic 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)
2010
5Electronic 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
2008
4no 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
2007
3no 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
2Electronic 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
2006
1no 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

Coauthor Index

1Patrick Eyerich [2]
2Yuxiao Hu [3]
3Gerhard Lakemeyer [1] [2] [3] [4] [5] [6]
4Bernhard Nebel [2] [6]
5Gabriele Röger [6]

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page