@inproceedings{DBLP:conf/aaai/DemriF23,
  author       = {St{\'{e}}phane Demri and
                  Raul Fervari},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Model-Checking for Ability-Based Logics with Constrained Plans},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {6305--6312},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i5.25776},
  doi          = {10.1609/AAAI.V37I5.25776},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DemriF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hvpeiZ4TfqRgD8B3J","bibbaseid":"demri-fervari-modelcheckingforabilitybasedlogicswithconstrainedplans-2023","author_short":["Demri, S.","Fervari, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]}],"editor":[{"firstnames":["Brian"],"propositions":[],"lastnames":["Williams"],"suffixes":[]},{"firstnames":["Yiling"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Jennifer"],"propositions":[],"lastnames":["Neville"],"suffixes":[]}],"title":"Model-Checking for Ability-Based Logics with Constrained Plans","booktitle":"Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023","pages":"6305–6312","publisher":"AAAI Press","year":"2023","url":"https://doi.org/10.1609/aaai.v37i5.25776","doi":"10.1609/AAAI.V37I5.25776","timestamp":"Mon, 04 Sep 2023 12:29:24 +0200","biburl":"https://dblp.org/rec/conf/aaai/DemriF23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/DemriF23,\n author = {St{\\'{e}}phane Demri and\n Raul Fervari},\n editor = {Brian Williams and\n Yiling Chen and\n Jennifer Neville},\n title = {Model-Checking for Ability-Based Logics with Constrained Plans},\n booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}\n 2023, Thirty-Fifth Conference on Innovative Applications of Artificial\n Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances\n in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February\n 7-14, 2023},\n pages = {6305--6312},\n publisher = {{AAAI} Press},\n year = {2023},\n url = {https://doi.org/10.1609/aaai.v37i5.25776},\n doi = {10.1609/AAAI.V37I5.25776},\n timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/DemriF23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Demri, S.","Fervari, R."],"editor_short":["Williams, B.","Chen, Y.","Neville, J."],"key":"DBLP:conf/aaai/DemriF23","id":"DBLP:conf/aaai/DemriF23","bibbaseid":"demri-fervari-modelcheckingforabilitybasedlogicswithconstrainedplans-2023","role":"author","urls":{"Paper":"https://doi.org/10.1609/aaai.v37i5.25776"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge"],"keywords":[],"search_terms":["model","checking","ability","based","logics","constrained","plans","demri","fervari"],"title":"Model-Checking for Ability-Based Logics with Constrained Plans","year":2023}