Progression and verification of situation calculus agents with bounded beliefs. Giacomo, G. D., Lespérance, Y., Patrizi, F., & Vassos, S. In Bazzan, A. L. C., Huhns, M. N., Lomuscio, A., & Scerri, P., editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pages 141–148, 2014. IFAAMAS/ACM.
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},
  editor    = {Ana L. C. Bazzan and
               Michael N. Huhns and
               Alessio Lomuscio and
               Paul Scerri},
  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},
  publisher = {{IFAAMAS/ACM}},
  year      = {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