Progression and verification of situation calculus agents with bounded beliefs. De Giacomo, G.; Lespérance, Y.; Patrizi, F.; and Vassos, S. In International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pages 141–148, 2014.
Paper bibtex @inproceedings{DBLP:conf/atal/GiacomoLPV14,
author = {Giuseppe {De Giacomo} and
Yves Lesp{\'{e}}rance and
Fabio Patrizi and
Stavros Vassos},
title = {Progression and verification of situation calculus agents with bounded
beliefs},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {141--148},
year = {2014},
crossref = {DBLP:conf/atal/2014},
url = {http://dl.acm.org/citation.cfm?id=2615757},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/GiacomoLPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}