Bounded Situation Calculus Action Theories and Decidable Verification. De Giacomo, G., Lespérance, Y., & Patrizi, F. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012. Paper bibtex @inproceedings{DBLP:conf/kr/GiacomoLP12,
author = {Giuseppe {De Giacomo} and
Yves Lesp{\'{e}}rance and
Fabio Patrizi},
title = {Bounded Situation Calculus Action Theories and Decidable Verification},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
year = {2012},
crossref = {DBLP:conf/kr/2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4546},
timestamp = {Wed, 11 Jul 2012 10:51:15 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"fHdwuf6qy2qzgFJFZ","bibbaseid":"degiacomo-lesprance-patrizi-boundedsituationcalculusactiontheoriesanddecidableverification-2012","authorIDs":[],"author_short":["De Giacomo, G.","Lespérance, Y.","Patrizi, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]}],"title":"Bounded Situation Calculus Action Theories and Decidable Verification","booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012","year":"2012","crossref":"DBLP:conf/kr/2012","url":"http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4546","timestamp":"Wed, 11 Jul 2012 10:51:15 +0200","biburl":"https://dblp.org/rec/conf/kr/GiacomoLP12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/GiacomoLP12,\n author = {Giuseppe {De Giacomo} and\n Yves Lesp{\\'{e}}rance and\n Fabio Patrizi},\n title = {Bounded Situation Calculus Action Theories and Decidable Verification},\n booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Thirteenth International Conference, {KR} 2012, Rome, Italy,\n June 10-14, 2012},\n year = {2012},\n crossref = {DBLP:conf/kr/2012},\n url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4546},\n timestamp = {Wed, 11 Jul 2012 10:51:15 +0200},\n biburl = {https://dblp.org/rec/conf/kr/GiacomoLP12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Giacomo, G.","Lespérance, Y.","Patrizi, F."],"key":"DBLP:conf/kr/GiacomoLP12","id":"DBLP:conf/kr/GiacomoLP12","bibbaseid":"degiacomo-lesprance-patrizi-boundedsituationcalculusactiontheoriesanddecidableverification-2012","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4546"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.387Z","downloads":0,"keywords":[],"search_terms":["bounded","situation","calculus","action","theories","decidable","verification","de giacomo","lespérance","patrizi"],"title":"Bounded Situation Calculus Action Theories and Decidable Verification","year":2012,"dataSources":["a7J9cXfn5aGm5Rka2"]}