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.
Bounded Situation Calculus Action Theories and Decidable Verification [link]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