@inproceedings{281bd998206444e5a2cf9cb30fae49b2,
title = "State-based regression with sensing and knowledge",
abstract = "This paper develops a state-based regression method for planning domains with sensing operators and a representation of the knowledge of the planning agent. The language includes primitive actions, sensing actions, and conditional plans. We prove the soundness and completeness of the regression formulation with respect to the definition of progression and the semantics of a propositional modal logic of knowledge. It is our expectation that this work will serve as the foundation for the extension of recently successful work on state-based regression planning to include sensing and knowledge as well.",
keywords = "Knowledge, Plans, Regression, Sensing",
author = "Richard Scherl and Tran, {Cao Son} and Chitta Baral",
year = "2008",
doi = "10.1007/978-3-540-89197-0_33",
language = "English (US)",
isbn = "354089196X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "345--357",
booktitle = "PRICAI 2008",
note = "10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008 ; Conference date: 15-12-2008 Through 19-12-2008",
}