@inproceedings{DBLP:conf/aaai/XuLZ17a,
  author    = {Giuseppe De Giacomo and
               Fabrizio Maria Maggi and
               Andrea Marrella and
               Fabio Patrizi},
  editor    = {Satinder P. Singh and
               Shaul Markovitch},
  title     = {On the Disruptive Effectiveness of Automated Planning for LTL\emph{f}-Based
               Trace Alignment},
  booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
               February 4-9, 2017, San Francisco, California, {USA}},
  pages     = {3555--3561},
  publisher = {{AAAI} Press},
  year      = {2017},
  url       = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14652},
  timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/XuLZ17a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2BcALwNXmoheayLXj","bibbaseid":"giacomo-maggi-marrella-patrizi-onthedisruptiveeffectivenessofautomatedplanningforltlemphfbasedtracealignment-2017","author_short":["Giacomo, G. D.","Maggi, F. M.","Marrella, A.","Patrizi, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Fabrizio","Maria"],"propositions":[],"lastnames":["Maggi"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Marrella"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]}],"editor":[{"firstnames":["Satinder","P."],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Shaul"],"propositions":[],"lastnames":["Markovitch"],"suffixes":[]}],"title":"On the Disruptive Effectiveness of Automated Planning for LTL\\emphf-Based Trace Alignment","booktitle":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA","pages":"3555–3561","publisher":"AAAI Press","year":"2017","url":"http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14652","timestamp":"Wed, 10 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/aaai/XuLZ17a.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/XuLZ17a,\n author = {Giuseppe De Giacomo and\n Fabrizio Maria Maggi and\n Andrea Marrella and\n Fabio Patrizi},\n editor = {Satinder P. Singh and\n Shaul Markovitch},\n title = {On the Disruptive Effectiveness of Automated Planning for LTL\\emph{f}-Based\n Trace Alignment},\n booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,\n February 4-9, 2017, San Francisco, California, {USA}},\n pages = {3555--3561},\n publisher = {{AAAI} Press},\n year = {2017},\n url = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14652},\n timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/aaai/XuLZ17a.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Maggi, F. M.","Marrella, A.","Patrizi, F."],"editor_short":["Singh, S. P.","Markovitch, S."],"key":"DBLP:conf/aaai/XuLZ17a","id":"DBLP:conf/aaai/XuLZ17a","bibbaseid":"giacomo-maggi-marrella-patrizi-onthedisruptiveeffectivenessofautomatedplanningforltlemphfbasedtracealignment-2017","role":"author","urls":{"Paper":"http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14652"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["disruptive","effectiveness","automated","planning","ltl","emphf","based","trace","alignment","giacomo","maggi","marrella","patrizi"],"title":"On the Disruptive Effectiveness of Automated Planning for LTL\\emphf-Based Trace Alignment","year":2017}