A Classification of First-Order Progressable Action Theories in Situation Calculus. Vassos, S. & Patrizi, F. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 1132–1138, 2013. Paper bibtex 3 downloads @inproceedings{DBLP:conf/ijcai/VassosP13,
author = {Stavros Vassos and
Fabio Patrizi},
title = {A Classification of First-Order Progressable Action Theories in Situation
Calculus},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1132--1138},
year = {2013},
crossref = {DBLP:conf/ijcai/2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6646},
timestamp = {Tue, 20 Aug 2019 16:16:37 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/VassosP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 3
{"_id":{"_str":"5388358c0e577e1d6b002d3c"},"__v":0,"authorIDs":[],"author_short":["Vassos, S.","Patrizi, F."],"bibbaseid":"vassos-patrizi-aclassificationoffirstorderprogressableactiontheoriesinsituationcalculus-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stavros"],"propositions":[],"lastnames":["Vassos"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]}],"title":"A Classification of First-Order Progressable Action Theories in Situation Calculus","booktitle":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013","pages":"1132–1138","year":"2013","crossref":"DBLP:conf/ijcai/2013","url":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6646","timestamp":"Tue, 20 Aug 2019 16:16:37 +0200","biburl":"https://dblp.org/rec/conf/ijcai/VassosP13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/VassosP13,\n author = {Stavros Vassos and\n Fabio Patrizi},\n title = {A Classification of First-Order Progressable Action Theories in Situation\n Calculus},\n booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference\n on Artificial Intelligence, Beijing, China, August 3-9, 2013},\n pages = {1132--1138},\n year = {2013},\n crossref = {DBLP:conf/ijcai/2013},\n url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6646},\n timestamp = {Tue, 20 Aug 2019 16:16:37 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/VassosP13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Vassos, S.","Patrizi, F."],"key":"DBLP:conf/ijcai/VassosP13","id":"DBLP:conf/ijcai/VassosP13","bibbaseid":"vassos-patrizi-aclassificationoffirstorderprogressableactiontheoriesinsituationcalculus-2013","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6646"},"downloads":3},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","downloads":3,"keywords":["optique-project"],"search_terms":["classification","first","order","progressable","action","theories","situation","calculus","vassos","patrizi"],"title":"A Classification of First-Order Progressable Action Theories in Situation Calculus","year":2013,"dataSources":["a7J9cXfn5aGm5Rka2"]}