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.
A Classification of First-Order Progressable Action Theories in Situation Calculus [link]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