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}
}