@inproceedings{DBLP:conf/aaai/BanihashemiGL17,
  author    = {Bita Banihashemi and
               Giuseppe De Giacomo and
               Yves Lesp{\'{e}}rance},
  editor    = {Satinder P. Singh and
               Shaul Markovitch},
  title     = {Abstraction in Situation Calculus Action Theories},
  booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
               February 4-9, 2017, San Francisco, California, {USA}},
  pages     = {1048--1055},
  publisher = {{AAAI} Press},
  year      = {2017},
  url       = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14807},
  timestamp = {Wed, 10 Feb 2021 08:43:31 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/BanihashemiGL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"9scYh8v3SfGp84qkD","bibbaseid":"banihashemi-giacomo-lesprance-abstractioninsituationcalculusactiontheories-2017","author_short":["Banihashemi, B.","Giacomo, G. D.","Lespérance, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bita"],"propositions":[],"lastnames":["Banihashemi"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]}],"editor":[{"firstnames":["Satinder","P."],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Shaul"],"propositions":[],"lastnames":["Markovitch"],"suffixes":[]}],"title":"Abstraction in Situation Calculus Action Theories","booktitle":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA","pages":"1048–1055","publisher":"AAAI Press","year":"2017","url":"http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14807","timestamp":"Wed, 10 Feb 2021 08:43:31 +0100","biburl":"https://dblp.org/rec/conf/aaai/BanihashemiGL17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/BanihashemiGL17,\n author = {Bita Banihashemi and\n Giuseppe De Giacomo and\n Yves Lesp{\\'{e}}rance},\n editor = {Satinder P. Singh and\n Shaul Markovitch},\n title = {Abstraction in Situation Calculus Action Theories},\n booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,\n February 4-9, 2017, San Francisco, California, {USA}},\n pages = {1048--1055},\n publisher = {{AAAI} Press},\n year = {2017},\n url = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14807},\n timestamp = {Wed, 10 Feb 2021 08:43:31 +0100},\n biburl = {https://dblp.org/rec/conf/aaai/BanihashemiGL17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Banihashemi, B.","Giacomo, G. D.","Lespérance, Y."],"editor_short":["Singh, S. P.","Markovitch, S."],"key":"DBLP:conf/aaai/BanihashemiGL17","id":"DBLP:conf/aaai/BanihashemiGL17","bibbaseid":"banihashemi-giacomo-lesprance-abstractioninsituationcalculusactiontheories-2017","role":"author","urls":{"Paper":"http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14807"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["abstraction","situation","calculus","action","theories","banihashemi","giacomo","lespérance"],"title":"Abstraction in Situation Calculus Action Theories","year":2017}