%0 Conference Paper %1 conf/ijcai/GiacomoLP13 %A Giacomo, Giuseppe De %A Lespérance, Yves %A Patrizi, Fabio %B IJCAI %D 2013 %E Rossi, Francesca %I IJCAI/AAAI %K optique-project %T Bounded Epistemic Situation Calculus Theories. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#GiacomoLP13 %X We define the class of e-bounded theories in the epistemic situation calculus, where the number of fluent atoms that the agent thinks may be true is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We show that for them verification of an expressive class of first-order mu-calculus temporal epistemic properties is decidable. We also show that if the agent’s knowledge in the initial situation is e-bounded and the objective part of an action theory maintains boundedness, then the entire epistemic theory is e-bounded. %@ 978-1-57735-633-2

@inproceedings{conf/ijcai/GiacomoLP13, abstract = {We define the class of e-bounded theories in the epistemic situation calculus, where the number of fluent atoms that the agent thinks may be true is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We show that for them verification of an expressive class of first-order mu-calculus temporal epistemic properties is decidable. We also show that if the agent’s knowledge in the initial situation is e-bounded and the objective part of an action theory maintains boundedness, then the entire epistemic theory is e-bounded.}, added-at = {2014-06-02T12:31:31.000+0200}, audience = {academic}, author = {Giacomo, Giuseppe De and Lespérance, Yves and Patrizi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/22855536a14aac6d121ed9d17f4d2ed3b/savo.fabio}, booktitle = {IJCAI}, editor = {Rossi, Francesca}, ee = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6649}, interhash = {60a22b61f95b2e4445db2e5564138df9}, intrahash = {2855536a14aac6d121ed9d17f4d2ed3b}, isbn = {978-1-57735-633-2}, keywords = {optique-project}, openaccess = {Yes}, partneroptique = {UNIROMA1}, publisher = {IJCAI/AAAI}, timestamp = {2016-12-01T19:00:25.000+0100}, title = {Bounded Epistemic Situation Calculus Theories.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#GiacomoLP13}, wpoptique = {WP4}, year = 2013, yearoptique = {Y1} }