A semantic characterization of a useful fragment of the situation calculus with knowledge

TitleA semantic characterization of a useful fragment of the situation calculus with knowledge
Publication TypeJournal Article
Year of Publication2011
AuthorsLakemeyer, G., and H. J. Levesque
Journal TitleArtificial Intelligence
Volume175
Number1
Pagination142-164
PublisherElsevier
DOI10.1016/j.artint.2010.04.005
Citation KeyKBSG_269
Submitted by Jens Claßen on 5. July 2012 - 13:54