Author: Jens Classen [RDF, Bibtex, BibBase] has 5 publications
A Logic for Non-Terminating Golog Programs
Jens Classen, Gerhard Lakemeyer.
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008
589-599
2008
A Situation-Calculus Semantics for an Expressive Fragment of PDDL
Jens Classen, Yuxiao Hu, Gerhard Lakemeyer.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada
956-961
2007
A Situation-Calculus Semantics for an Expressive Fragment of PDDL
Jens Classen, Yuxiao Hu, Gerhard Lakemeyer.
Proceedings of the Twentysecond Conference on Artificial Intelligence (AAAI-07)
2007
