Author: Lakemeyer Gerhard [RDF, Bibtex, BibBase] has 1 publication


First-Order Strong Progression for Local-Effect Basic Action Theories Stavros Vassos, Lakemeyer Gerhard, Hector J. Levesque. Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08) 2008