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. 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
{"_id":"ZXBWDBYfAQ8vZR6aH","bibbaseid":"giacomo-lesprance-patrizi-vassos-progressionandverificationofsituationcalculusagentswithboundedbeliefs-2014","author_short":["Giacomo, G. D.","Lespérance, Y.","Patrizi, F.","Vassos, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]},{"firstnames":["Stavros"],"propositions":[],"lastnames":["Vassos"],"suffixes":[]}],"editor":[{"firstnames":["Ana","L.","C."],"propositions":[],"lastnames":["Bazzan"],"suffixes":[]},{"firstnames":["Michael","N."],"propositions":[],"lastnames":["Huhns"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Lomuscio"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Scerri"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/atal/GiacomoLPV14,\n author = {Giuseppe De Giacomo and\n Yves Lesp{\\'{e}}rance and\n Fabio Patrizi and\n Stavros Vassos},\n editor = {Ana L. C. Bazzan and\n Michael N. Huhns and\n Alessio Lomuscio and\n Paul Scerri},\n title = {Progression and verification of situation calculus agents with bounded\n beliefs},\n booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,\n {AAMAS} '14, Paris, France, May 5-9, 2014},\n pages = {141--148},\n publisher = {{IFAAMAS/ACM}},\n year = {2014},\n url = {http://dl.acm.org/citation.cfm?id=2615757},\n timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},\n biburl = {https://dblp.org/rec/conf/atal/GiacomoLPV14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Lespérance, Y.","Patrizi, F.","Vassos, S."],"editor_short":["Bazzan, A. L. C.","Huhns, M. N.","Lomuscio, A.","Scerri, P."],"key":"DBLP:conf/atal/GiacomoLPV14","id":"DBLP:conf/atal/GiacomoLPV14","bibbaseid":"giacomo-lesprance-patrizi-vassos-progressionandverificationofsituationcalculusagentswithboundedbeliefs-2014","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=2615757"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["progression","verification","situation","calculus","agents","bounded","beliefs","giacomo","lespérance","patrizi","vassos"],"title":"Progression and verification of situation calculus agents with bounded beliefs","year":2014}