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.
Progression and verification of situation calculus agents with bounded beliefs [link]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}
}
Downloads: 0