var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2Fwhitemech%2Fwhitemech.github.io%2Fmaster%2Fpublications.bib&theme=default&owner=none&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2Fwhitemech%2Fwhitemech.github.io%2Fmaster%2Fpublications.bib&theme=default&owner=none&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2Fwhitemech%2Fwhitemech.github.io%2Fmaster%2Fpublications.bib&theme=default&owner=none&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
  2. \n
  3. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
  4. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2023\n \n \n (36)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Formalization of Multi-Agent Planning with Explicit Agent Representation.\n \n \n \n \n\n\n \n Trapasso, A.; Santilli, S.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n In Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, of SAC '23, pages 816–823, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 8 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{sigapp2023tsip,\n\tauthor = {Trapasso, Alessandro and Santilli, Sofia and Iocchi, Luca and Patrizi, Fabio},\n\ttitle = {A Formalization of Multi-Agent Planning with Explicit Agent Representation},\n\tyear = {2023},\n\tisbn = {9781450395175},\n\tpublisher = {ACM},\n\turl_paper = {https://doi.org/10.1145/3555776.3577753},\n\tdoi = {10.1145/3555776.3577753},\n\tbooktitle = {Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing},\n\tpages = {816–823},\n\tnumpages = {8},\n\tseries = {SAC '23}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n LTLf Best-Effort Synthesis in Nondeterministc Planning Domains.\n \n \n \n\n\n \n Parretti, G.; De Giacomo, G.; and Zhu, S.\n\n\n \n\n\n\n In ECAI, 2023. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ecai2023pdz,\n  author       = {Gianmarco Parretti and\n                  Giuseppe {De Giacomo} and\n                  Shufang Zhu},\n  title        = {{LTLf} Best-Effort Synthesis in Nondeterministc Planning Domains},\n  booktitle    = {{ECAI}},\n  year         = {2023},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Symbolic LTLf Best-Effort Synthesis.\n \n \n \n\n\n \n De Giacomo, G.; Parretti, G.; and Zhu, S.\n\n\n \n\n\n\n In EUMAS, 2023. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{eumas2023dpz,\n  author       = {Giuseppe {De Giacomo} and\n                  Gianmarco Parretti and\n                  Shufang Zhu},\n  title        = {Symbolic {LTLf} Best-Effort Synthesis},\n  booktitle    = {{EUMAS}},\n  year         = {2023},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n LTL${}_f$ Synthesis Under Environment Specifications for Reachability and Safety Properties.\n \n \n \n\n\n \n Aminof, B.; Giacomo, G. D.; Stasio, A. D.; Francon, H.; Rubin, S.; and Zhu, S.\n\n\n \n\n\n\n In EUMAS, volume 14282, of Lecture Notes in Computer Science, pages 263–279, 2023. Springer\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{eumas2023agsfrz,\n  author       = {Benjamin Aminof and\n                  Giuseppe De Giacomo and\n                  Antonio Di Stasio and\n                  Hugo Francon and\n                  Sasha Rubin and\n                  Shufang Zhu},\n  title        = {LTL${}_f$ Synthesis Under Environment Specifications\n                  for Reachability and Safety Properties},\n  booktitle    = {{EUMAS}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14282},\n  pages        = {263--279},\n  publisher    = {Springer},\n  year         = {2023}\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n FOND Planning for Pure-Past Linear Temporal Logic Goals.\n \n \n \n \n\n\n \n Bonassi, L.; De Giacomo, G.; Favorito, M.; Fuggitti, F.; Gerevini, A.; and Scala, E.\n\n\n \n\n\n\n In ECAI, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"FOND code\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ecai2023bdffgs,\n  author       = {Luigi Bonassi and\n                  Giuseppe {De Giacomo} and\n                  Marco Favorito and\n                  Francesco Fuggitti and\n                  {Alfonso Emilio} Gerevini and\n                  Enrico Scala},\n  title        = {{FOND} Planning for Pure-Past Linear Temporal Logic Goals},\n  booktitle    = {{ECAI}},\n  year         = {2023},\n  url_code     = {https://github.com/whitemech/Plan4Past},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A novel algorithm for parallelizing actions of a sequential plan.\n \n \n \n \n\n\n \n Santilli, S.; Trapasso, A.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n In PlanRob Workshop, ICAPS 2023, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{planrob2023stip,\n  title = {A novel algorithm for parallelizing actions of a sequential plan},\n  author = {Santilli, Sofia and Trapasso, Alessandro and Iocchi, Luca and Patrizi, Fabio},\n  booktitle = {PlanRob Workshop, ICAPS 2023},\n\turl_paper    = {https://whitemech.github.io/papers/2023/planrob2023stip.pdf},\n  year = {2023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Lemming: A Tool for Guided Plan Selection using Landmarks.\n \n \n \n \n\n\n \n Kang, J.; Chakraborti, T.; Katz, M.; Sohrabi, S.; and Fuggitti, F.\n\n\n \n\n\n\n In ICAPS, 2023. \n System Demonstration.\n\n\n\n
\n\n\n\n \n \n \"Lemming: paper\n  \n \n \n \"Lemming: code\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icaps2023kcksf,\n  author       = {Jungkoo Kang and\n\t                Tathagata Chakraborti and\n                  Michael Katz and\n                  Shirin Sohrabi and\n                  Francesco Fuggitti},\n  title        = {{Lemming}: A Tool for Guided Plan Selection using Landmarks},\n  booktitle    = {{ICAPS}},\n  year         = {2023},\n  note         = {System Demonstration.},\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf},\n  url_code     = {https://github.com/IBM/lemming},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Abstraction of Nondeterministic Situation Calculus Action Theories.\n \n \n \n \n\n\n \n Banihashemi, B.; De Giacomo, G.; and Lesperance, Y.\n\n\n \n\n\n\n In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI, 2023. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"Abstraction paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2023bdl,\n  author       = {Bita Banihashemi and Giuseppe {De Giacomo} and Yves Lesperance},\n  title        = {Abstraction of Nondeterministic Situation Calculus Action Theories},\n  booktitle    = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI}},\n  publisher    = {ijcai.org},\n  year         = {2023},\n\turl_paper    = {https://whitemech.github.io/papers/2023/ijcai2023bdl.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Stochastic Best-Effort Strategies for Borel Goals.\n \n \n \n \n\n\n \n Aminof, B.; De Giacomo, G.; Rubin, S.; and Zuleger, F.\n\n\n \n\n\n\n In LICS '23: 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n \"Stochastic paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{lics2023adrz,\n  author       = {Benjamin Aminof and Giuseppe {De Giacomo} and Sasha Rubin and Florian Zuleger},\n  title        = {Stochastic Best-Effort Strategies for Borel Goals},\n  booktitle    = {{LICS} '23: 38th Annual {ACM/IEEE} Symposium on Logic in Computer Science},\n  publisher    = {{ACM}},\n  year         = {2023},\n\turl_paper    = {https://whitemech.github.io/papers/2023/lics2023adrz.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n AI-augmented Business Process Management Systems: A Research Manifesto.\n \n \n \n \n\n\n \n Dumas, M.; Fournier, F.; Limonad, L.; Marrella, A.; Montali, M.; Rehse, J.; Accorsi, R.; Calvanese, D.; De Giacomo, G.; Fahland, D.; Gal, A.; La Rosa, M.; Völzer, H.; and Weber, I.\n\n\n \n\n\n\n ACM Trans. Manag. Inf. Syst., 14(1): 11:1–11:19. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"AI-augmented paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{tmis2023dflmm,\n  author       = {Marlon Dumas and\n                  Fabiana Fournier and\n                  Lior Limonad and\n                  Andrea Marrella and\n                  Marco Montali and\n                  Jana{-}Rebecca Rehse and\n                  Rafael Accorsi and\n                  Diego Calvanese and\n                  Giuseppe {De Giacomo} and\n                  Dirk Fahland and\n                  Avigdor Gal and\n                  Marcello {La Rosa} and\n                  Hagen V{\\"{o}}lzer and\n                  Ingo Weber},\n  title        = {AI-augmented Business Process Management Systems: {A} Research Manifesto},\n  journal      = {{ACM} Trans. Manag. Inf. Syst.},\n  volume       = {14},\n  number       = {1},\n  pages        = {11:1--11:19},\n  year         = {2023},\n  doi          = {10.1145/3576047},\n  url_paper    = {https://doi.org/10.1145/3576047},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reactive Synthesis of Dominant Strategies.\n \n \n \n \n\n\n \n Aminof, B.; De Giacomo, G.; and Rubin, S.\n\n\n \n\n\n\n Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 37(5): 6228-6235. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Reactive paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{aaai2023ads,\n\tauthor={Aminof, Benjamin and {De Giacomo}, Giuseppe and Rubin, Sasha},\n\ttitle={Reactive Synthesis of Dominant Strategies},\n\tvolume={37},\n\tnumber={5},\n\tDOI={10.1609/aaai.v37i5.25767},\n\tjournal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},\n\tyear={2023},\n\tpages={6228-6235},\n\turl_paper={https://ojs.aaai.org/index.php/AAAI/article/view/25767},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.\n \n \n \n \n\n\n \n Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 37(6): 7227-7234. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Exploiting paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{aaai2023cdfip,\n\tauthor={Cipollone, Roberto and {De Giacomo}, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},\n\ttitle={Exploiting Multiple Abstractions in Episodic RL via Reward Shaping},\n\tvolume={37},\n\tnumber={6},\n\tDOI={10.1609/aaai.v37i6.25881},\n\tjournal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},\n\tyear={2023},\n\tpages={7227-7234},\n\turl_paper={https://ojs.aaai.org/index.php/AAAI/article/view/25881},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.\n \n \n \n \n\n\n \n Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n CoRR, abs/2303.00516. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Exploiting paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2023cdfip,\n  author       = {Roberto Cipollone and\n                  Giuseppe {De Giacomo} and\n                  Marco Favorito and\n                  Luca Iocchi and\n                  Fabio Patrizi},\n  title        = {Exploiting Multiple Abstractions in Episodic {RL} via Reward Shaping},\n  journal      = {CoRR},\n  volume       = {abs/2303.00516},\n  year         = {2023},\n  doi          = {10.48550/arXiv.2303.00516},\n  url_paper    = {https://doi.org/10.48550/arXiv.2303.00516},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robust Neuro-Symbolic Goal and Plan Recognition.\n \n \n \n \n\n\n \n Amado, L.; Fraga Pereira, R.; and Meneguzzi, F.\n\n\n \n\n\n\n Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 37(10): 11937-11944. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Robust paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{aaai2023afm,\n\tauthor={Amado, Leonardo and {Fraga Pereira}, Ramon and Meneguzzi, Felipe},\n\ttitle={Robust Neuro-Symbolic Goal and Plan Recognition},\n\tvolume={37},\n\tnumber={10},\n\tDOI={10.1609/aaai.v37i10.26408},\n\tjournal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},\n\tyear={2023},\n\tpages={11937-11944},\n\turl_paper={https://ojs.aaai.org/index.php/AAAI/article/view/26408},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models.\n \n \n \n \n\n\n \n Fraga Pereira, R.; Fuggitti, F.; Meneguzzi, F.; and De Giacomo, G.\n\n\n \n\n\n\n CoRR, abs/2306.08680. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Temporally paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2023ffmd,\n  author       = {Ramon {Fraga Pereira} and\n                  Francesco Fuggitti and\n                  Felipe Meneguzzi and\n                  Giuseppe {De Giacomo}},\n  title        = {Temporally Extended Goal Recognition in Fully Observable Non-Deterministic\n                  Domain Models},\n  journal      = {CoRR},\n  volume       = {abs/2306.08680},\n  year         = {2023},\n  doi          = {10.48550/arXiv.2306.08680},\n  url_paper    = {https://doi.org/10.48550/arXiv.2306.08680},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reactive Synthesis of Linear Temporal Logic on Finite Traces.\n \n \n \n \n\n\n \n Zhu, S.\n\n\n \n\n\n\n 12th workshop on Synthesis (SYNT). 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Reactive paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{synt2023z,\n    author    = {Shufang Zhu},\n    title     = {Reactive Synthesis of Linear Temporal Logic on Finite Traces},\n    journal   = {12th workshop on Synthesis (SYNT)},\n    year      = {2023},\n\t  url_paper    = {https://whitemech.github.io/papers/2023/synt2023z.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reactive Synthesis of Linear Temporal Logic on Finite Traces.\n \n \n \n \n\n\n \n Zhu, S.\n\n\n \n\n\n\n Women in Logic (WiL) workshop. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Reactive paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{wil2023z,\n    author    = {Shufang Zhu},\n    title     = {Reactive Synthesis of Linear Temporal Logic on Finite Traces},\n    journal   = {Women in Logic (WiL) workshop},\n    year      = {2023},\n\t  url_paper    = {https://whitemech.github.io/papers/2023/wil2023z.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Mimicking Behaviors in Separated Domains.\n \n \n \n \n\n\n \n De Giacomo, G.; Fried, D.; Patrizi, F.; and Zhu, S.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research (JAIR). 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Mimicking paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{jair2023dfpz,\n    author    = {Giuseppe {De Giacomo} and Dror Fried and Fabio Patrizi and Shufang Zhu},\n    title     = {Mimicking Behaviors in Separated Domains},\n    journal   = {Journal of Artificial Intelligence Research (JAIR)},\n    year      = {2023},\n\t  url_paper    = {https://whitemech.github.io/papers/2023/jair2023dfpz.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.\n \n \n \n \n\n\n \n De Giacomo, G.; Di Stasio, A.; Tabajara, L. M.; Vardi, M.; and Zhu, S.\n\n\n \n\n\n\n Formal Methods in System Design. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Finite-Trace paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{fmsd2023ddtvz,\n  author = {Giuseppe {De Giacomo} and Antonio {Di Stasio} and Lucas M. Tabajara and Moshe Vardi and Shufang Zhu},\n  title = {{Finite-Trace} and {Generalized-Reactivity} Specifications in Temporal Synthesis},\n\tjournal={Formal Methods in System Design},\n  year = {2023},\n  issn={1572-8102},\n  doi={10.1007/s10703-023-00413-2},\n  url_paper={https://doi.org/10.1007/s10703-023-00413-2}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Grounding LTLf Specifications in Image Sequences.\n \n \n \n \n\n\n \n Umili, E.; Capobianco, R.; and De Giacomo, G.\n\n\n \n\n\n\n In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, pages 668–678, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"Grounding paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/kr/UmiliCG23,\n\tauthor       = {Elena Umili and\n                  Roberto Capobianco and\n                  Giuseppe {De Giacomo}},\n  title        = {Grounding {LTLf} Specifications in Image Sequences},\n  booktitle    = {Proceedings of the 20th International Conference on Principles of\n                  Knowledge Representation and Reasoning, {KR} 2023},\n  pages        = {668--678},\n  year         = {2023},\n  url_paper          = {https://doi.org/10.24963/kr.2023/65},\n  doi          = {10.24963/kr.2023/65},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic Domains.\n \n \n \n \n\n\n \n Umili, E.\n\n\n \n\n\n\n In Multi-Agent Systems - 20th European Conference, EUMAS 2023, pages 521–527, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"Neurosymbolic paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/eumas/Umili23,\n\tauthor       = {Elena Umili},\n  title        = {Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic\n                  Domains},\n  booktitle    = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023},\n  pages        = {521--527},\n  year         = {2023},\n  url_paper          = {https://doi.org/10.1007/978-3-031-43264-4\\_41},\n  doi          = {10.1007/978-3-031-43264-4\\_41},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Visual Reward Machines.\n \n \n \n \n\n\n \n Umili, E.; Argenziano, F.; Barbin, A.; and Capobianco, R.\n\n\n \n\n\n\n In Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023, pages 255–267, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"Visual paper\n  \n \n \n \"VisualPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/nesy/UmiliABC23,\n\tauthor       = {Elena Umili and\n                  Francesco Argenziano and\n                  Aymeric Barbin and\n                  Roberto Capobianco},\n  title        = {Visual Reward Machines},\n  booktitle    = {Proceedings of the 17th International Workshop on Neural-Symbolic\n                  Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July\n                  3-5, 2023},\n  pages        = {255--267},\n  year         = {2023},\n  url_paper    = {https://ceur-ws.org/Vol-3432/paper23.pdf},\n  url          = {https://ceur-ws.org/Vol-3432/paper23.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis.\n \n \n \n \n\n\n \n Agostinelli, S.; Chiariello, F.; Maggi, F. M.; Marrella, A.; and Patrizi, F.\n\n\n \n\n\n\n Inf. Syst., 114: 102180. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Process paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{is2023acmmp,\n  author       = {Simone Agostinelli and\n                  Francesco Chiariello and\n                  Fabrizio Maria Maggi and\n                  Andrea Marrella and\n                  Fabio Patrizi},\n  title        = {Process mining meets model learning: Discovering deterministic finite\n                  state automata from event logs for business process analysis},\n  journal      = {Inf. Syst.},\n  volume       = {114},\n  pages        = {102180},\n  year         = {2023},\n  doi          = {10.1016/j.is.2023.102180},\n  url_paper    = {https://doi.org/10.1016/j.is.2023.102180},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas.\n \n \n \n \n\n\n \n Fuggitti, F.; and Chakraborti, T.\n\n\n \n\n\n\n Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 37(13): 16428-16430. 2023.\n System Demonstration.\n\n\n\n
\n\n\n\n \n \n \"NL2LTL paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 23 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{aaai2023fc,\n\tauthor={Fuggitti, Francesco and Chakraborti, Tathagata},\n\ttitle={NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas},\n\tvolume={37},\n\tDOI={10.1609/aaai.v37i13.27068},\n\tnumber={13},\n\tjournal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},\n\tyear={2023},\n\tpages={16428-16430},\n  note={System Demonstration.},\n\turl_paper={https://ojs.aaai.org/index.php/AAAI/article/view/27068},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas.\n \n \n \n\n\n \n Fuggitti, F.; and Chakraborti, T.\n\n\n \n\n\n\n ICAPS. 2023.\n System Demonstration.\n\nBest System Demonstration Runner-Up.\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 23 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{icaps2023fc,\n\tauthor={Fuggitti, Francesco and Chakraborti, Tathagata},\n\ttitle={NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas},\n\tjournal={{ICAPS}},\n\tyear={2023},\n        note={System Demonstration.},\n        bibbase_note = {<span style="color: red">Best System Demonstration Runner-Up.</span>} \n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Declarative Trace Alignment via Automated Planning (Extended Abstract).\n \n \n \n \n\n\n \n Acitelli, G.; De Giacomo, G.; Fuggitti, F.; Maggi, F.; Marrella, A.; and Patrizi, F.\n\n\n \n\n\n\n In AI4BPM at AAAI, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"Declarative paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aaai2023adfmmp,\n  author       = {Giacomo Acitelli and Giuseppe {De Giacomo} and Francesco Fuggitti and {Fabrizio Maria} Maggi and Andrea Marrella and Fabio Patrizi},\n  title        = {Declarative Trace Alignment via Automated Planning (Extended Abstract)},\n  booktitle    = {{AI4BPM} at {AAAI}},\n  year         = {2023},\n  url_paper    = {https://whitemech.github.io/papers/2023/aaai2023adfmmp.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.\n \n \n \n \n\n\n \n Bonassi, L.; De Giacomo, G.; Favorito, M.; Fuggitti, F.; Gerevini, A. E.; and Scala, E.\n\n\n \n\n\n\n In volume 33, pages 61-69, 2023. \n \n\nBest Student Paper Award.\n\n
\n\n\n\n \n \n \"Planning paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 48 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icaps2023bdffgs,\n\tauthor={Bonassi, Luigi and {De Giacomo}, Giuseppe and Favorito, Marco and Fuggitti, Francesco and Gerevini, Alfonso Emilio and Scala, Enrico},\n  title={Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic},\n\tvolume={33},\n\tDOI={10.1609/icaps.v33i1.27179},\n\tnumber={1},\n\tjournal={Proceedings of the International Conference on Automated Planning and Scheduling ({ICAPS})},\n\tyear={2023},\n\tpages={61-69},\n\turl_paper={https://ojs.aaai.org/index.php/ICAPS/article/view/27179},\n  bibbase_note = {<span style="color: red">Best Student Paper Award.</span>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A tool for declarative Trace Alignment via automated planning.\n \n \n \n \n\n\n \n De Giacomo, G.; Fuggitti, F.; Maggi, F. M.; Marrella, A.; and Patrizi, F.\n\n\n \n\n\n\n Software Impacts, 16: 100505. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{si2023dfmmp,\n  title = {A tool for declarative Trace Alignment via automated planning},\n  journal = {Software Impacts},\n  volume = {16},\n  pages = {100505},\n  year = {2023},\n  issn = {2665-9638},\n  doi = {https://doi.org/10.1016/j.simpa.2023.100505},\n  url_paper = {https://www.sciencedirect.com/science/article/pii/S2665963823000428},\n  author = {Giuseppe {De Giacomo} and Francesco Fuggitti and Fabrizio Maria Maggi and Andrea Marrella and Fabio Patrizi},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automata Cascades: Expressivity and Sample Complexity.\n \n \n \n \n\n\n \n Ronca, A.; Knorozova, N. A.; and De Giacomo, G.\n\n\n \n\n\n\n Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 37(8): 9588-9595. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Automata paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{aaai2023rkd,\n\tauthor={Ronca, Alessandro and Knorozova, Nadezda Alexandrovna and {De Giacomo}, Giuseppe},\n\ttitle={Automata Cascades: Expressivity and Sample Complexity},\n\tvolume={37},\n\tDOI={10.1609/aaai.v37i8.26147},\n\tnumber={8},\n\tjournal={Proceedings of the AAAI Conference on Artificial Intelligence ({AAAI})},\n\tyear={2023},\n\tpages={9588-9595},\n\turl_paper={https://ojs.aaai.org/index.php/AAAI/article/view/26147},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Krohn-Rhodes Logics.\n \n \n \n \n\n\n \n Ronca, A.\n\n\n \n\n\n\n CoRR, abs/2304.09639. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"The paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2023r,\n  author       = {Alessandro Ronca},\n  title        = {The Krohn-Rhodes Logics},\n  journal      = {CoRR},\n  volume       = {abs/2304.09639},\n  year         = {2023},\n  doi          = {10.48550/arXiv.2304.09639},\n  url_paper    = {https://doi.org/10.48550/arXiv.2304.09639},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Scalable and Cooperative Deep Reinforcement Learning Approaches for Multi-UAV Systems: A Systematic Review.\n \n \n \n \n\n\n \n Frattolillo, F.; Brunori, D.; and Iocchi, L.\n\n\n \n\n\n\n Drones, 7(4). 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Scalable paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{drones2023fbi,\n  author = {Frattolillo, Francesco and Brunori, Damiano and Iocchi, Luca},\n  title = {Scalable and Cooperative Deep Reinforcement Learning Approaches for Multi-UAV Systems: A Systematic Review},\n  journaL = {Drones},\n  volume = {7},\n  year = {2023},\n  number = {4},\n  article-number = {236},\n  url_paper = {https://www.mdpi.com/2504-446X/7/4/236},\n  issn = {2504-446X},\n  doi = {10.3390/drones7040236}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n AIDA: A Tool for Resiliency in Smart Manufacturing.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Monti, F.; and Silo, L.\n\n\n \n\n\n\n In Advanced Information Systems Engineering - 36th International Conference, CAiSE 2023, of Lecture Notes in Computer Science, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AIDA: paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{caise2023dflmms,\n  author       = {{De Giacomo}, Giuseppe and Favorito, Marco and Leotta, Francesco and Mecella, Massimo and Monti, Flavia and Silo, Luciana},\n  title        = {{AIDA}: A Tool for Resiliency in Smart Manufacturing},\n  booktitle    = {Advanced Information Systems Engineering - 36th International Conference, CAiSE 2023},\n  series       = {Lecture Notes in Computer Science},\n  publisher    = {Springer},\n  year         = {2023},\n  url_paper    = {https://whitemech.github.io/papers/2023/caise2023dflmms.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Services in smart manufacturing: comparing automated reasoning techniques for composition and orchestration.\n \n \n \n \n\n\n \n Monti, F.; Silo, L.; Leotta, F.; and Mecella, M.\n\n\n \n\n\n\n In Service-Oriented Computing - 17th Symposium and Summer School, SummerSOC 2023, of Communications in Computer and Information Science, 2023. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Services paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ssoc2023mslm,\n  author       = {Monti, Flavia and Silo, Luciana and Leotta, Francesco and Mecella, Massimo},\n  title        = {Services in smart manufacturing: comparing automated reasoning techniques for composition and orchestration},\n  booktitle    = {Service-Oriented Computing - 17th Symposium and Summer School, SummerSOC 2023},\n  series       = {Communications in Computer and Information Science},\n  publisher    = {Springer},\n  year         = {2023},\n  url_paper    = {https://whitemech.github.io/papers/2023/ssoc2023mslm.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On the Suitability of AI for Service-based Adaptive Supply Chains in Smart Manufacturing.\n \n \n \n \n\n\n \n Monti, F.; Silo, L.; Leotta, F.; and Mecella, M.\n\n\n \n\n\n\n In IEEE International Conference on Web Services, ICWS 2023, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icws2023mslm,\n  author       = {Monti, Flavia and Silo, Luciana and Leotta, Francesco and Mecella, Massimo},\n  title        = {On the Suitability of AI for Service-based Adaptive Supply Chains in Smart Manufacturing},\n  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2023},\n  publisher    = {{IEEE}},\n  year         = {2023},\n  url_paper    = {https://whitemech.github.io/papers/2023/icws2023mslm.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Digital twins composition in smart manufacturing via Markov decision processes.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; and Silo, L.\n\n\n \n\n\n\n Computers in Industry, 149: 103916. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Digital paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{cii2023dflms,\n  title={Digital twins composition in smart manufacturing via Markov decision processes},\n  author={{De Giacomo}, Giuseppe and Favorito, Marco and Leotta, Francesco and Mecella, Massimo and Silo, Luciana},\n  journal={Computers in Industry},\n  volume={149},\n  pages={103916},\n  year={2023},\n  publisher={Elsevier},\n\turl_paper={https://doi.org/10.1016/j.compind.2023.103916}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Mimicking Behaviors in Separated Domains.\n \n \n \n \n\n\n \n De Giacomo, G.; Fried, D.; Patrizi, F.; and Zhu, S.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research (JAIR). 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Mimicking paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{jair2023dfpz,\n  author    = {Giuseppe {De Giacomo} and\n              Dror Fried and\n              Fabio Patrizi and\n              Shufang Zhu},\n  title     = {Mimicking Behaviors in Separated Domains},\n  journal   = {Journal of Artificial Intelligence Research ({JAIR})},\n  url_paper = {https://whitemech.github.io/papers/2022/arxiv2022dfpz.pdf},\n  year = {2023},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (26)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Compositional Safety LTL Synthesis.\n \n \n \n \n\n\n \n Bansal, S.; De Giacomo, G.; Di Stasio, A.; Li, Y.; Vardi, M. Y.; and Zhu, S.\n\n\n \n\n\n\n In Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE, volume 13800, of Lecture Notes in Computer Science, pages 1–19, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Compositional paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{vstte2022bddlv,\n  author       = {Suguman Bansal and\n                  Giuseppe {De Giacomo} and\n                  Antonio {Di Stasio} and\n                  Yong Li and\n                  Moshe Y. Vardi and\n                  Shufang Zhu},\n  title        = {Compositional Safety {LTL} Synthesis},\n  booktitle    = {Verified Software. Theories, Tools and Experiments - 14th International\n                  Conference, {VSTTE}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13800},\n  pages        = {1--19},\n  publisher    = {Springer},\n  year         = {2022},\n  doi          = {10.1007/978-3-031-25803-9\\_1},\n  url_paper    = {https://doi.org/10.1007/978-3-031-25803-9\\_1},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A tool for compiling Declarative Process Mining problems in ASP.\n \n \n \n \n\n\n \n Chiariello, F.; Maggi, F. M.; and Patrizi, F.\n\n\n \n\n\n\n Softw. Impacts, 14: 100435. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{si2022cmp,\n  author       = {Francesco Chiariello and\n                  Fabrizio Maria Maggi and\n                  Fabio Patrizi},\n  title        = {A tool for compiling Declarative Process Mining problems in {ASP}},\n  journal      = {Softw. Impacts},\n  volume       = {14},\n  pages        = {100435},\n  year         = {2022},\n  doi          = {10.1016/j.simpa.2022.100435},\n  url_paper    = {https://doi.org/10.1016/j.simpa.2022.100435},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation.\n \n \n \n \n\n\n \n Chakraborti, T.; Rizk, Y.; Isahagian, V.; Aksar, B.; and Fuggitti, F.\n\n\n \n\n\n\n In RPA forum at BPM, pages 123–137, 2022. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n \"From paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{bpm2022criaf,\n  author={Tathagata Chakraborti and Yara Rizk and Vatche Isahagian and Burak Aksar and Francesco Fuggitti},\n  title={From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation},\n  booktitle={{RPA} forum at {BPM}},\n  year={2022},\n  publisher={Springer International Publishing},\n  pages={123--137},\n  doi={https://doi.org/10.1007/978-3-031-16168-1_8},\n  url_paper={https://link.springer.com/chapter/10.1007/978-3-031-16168-1_8}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On the Complexity of Rational Verification.\n \n \n \n \n\n\n \n Gutierrez, J.; Najib, M.; Perelli, G.; and Wooldridge, M.\n\n\n \n\n\n\n In Annals of Mathematics and Artificial Intelligence, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{amai2022gnpw,\n author    = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n title     = {On the Complexity of Rational Verification},\n booktitle = {{Annals of Mathematics and Artificial Intelligence}},\n year      = {2022},\n url_paper = {https://whitemech.github.io/papers/2022/amai2022gnpw.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Mimicking Behaviors in Separated Domains.\n \n \n \n \n\n\n \n De Giacomo, G.; Fried, D.; Patrizi, F.; and Zhu, S.\n\n\n \n\n\n\n CoRR, abs/2205.09201. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Mimicking paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2022dfpz,\n  author    = {Giuseppe {De Giacomo} and\n              Dror Fried and\n              Fabio Patrizi and\n              Shufang Zhu},\n  title     = {Mimicking Behaviors in Separated Domains},\n  journal   = {CoRR},\n  volume    = {abs/2205.09201},\n  year      = {2022},\n  url_paper = {https://arxiv.org/abs/2205.09201},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Timed Trace Alignment with Metric Temporal Logic over Finite Traces.\n \n \n \n \n\n\n \n De Giacomo, G.; Murano, A.; Patrizi, F.; and Perelli, G.\n\n\n \n\n\n\n In Highlights, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"Timed paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{highlights2022dmpp,\n\tauthor    = {Giuseppe {De Giacomo} and Aniello Murano and Fabio Patrizi and Giuseppe Perelli},\n\ttitle     = {Timed Trace Alignment with Metric Temporal Logic over Finite Traces},\n\tbooktitle = {{Highlights}},\n\tyear      = {2022},\n\turl_paper = {https://whitemech.github.io/papers/2022/highlights2022dmpp.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Multi-model Monitoring Framework for Hybrid Process Specifications.\n \n \n \n \n\n\n \n Alman, A.; Maggi, F. M.; Montali, M.; Patrizi, F.; and Rivkin, A.\n\n\n \n\n\n\n In Advanced Information Systems Engineering (CAiSE 2022), volume 13295, of Lecture Notes in Computer Science, pages 319–335, 2022. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Multi-model paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{caise2022ammpr,\n  author       = {Anti Alman and\n                  Fabrizio Maria Maggi and\n                  Marco Montali and\n                  Fabio Patrizi and\n                  Andrey Rivkin},\n  title        = {Multi-model Monitoring Framework for Hybrid Process Specifications},\n  booktitle    = {Advanced Information Systems Engineering ({CAiSE 2022})},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13295},\n  pages        = {319--335},\n  publisher    = {Springer},\n  year         = {2022},\n  url_paper    = {https://doi.org/10.1007/978-3-031-07472-1\\_19},\n  doi          = {10.1007/978-3-031-07472-1\\_19},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n ASP-Based Declarative Process Mining (Extended Abstract).\n \n \n \n\n\n \n Chiariello, F.; Maggi, F.; and Patrizi, F.\n\n\n \n\n\n\n In Proceedings of the 38th International Conference on Logic Programming (Technical Communications) (ICLP), 2022. Electronic Proceedings in Theoretical Computer Science (EPTCS)\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{iclp2022cmp,\nauthor = {Francesco Chiariello and {Fabrizio Maria} Maggi and Fabio Patrizi},\ntitle = {{ASP}-Based Declarative Process Mining (Extended Abstract)},\nbooktitle = {Proceedings of the 38th International Conference on Logic Programming (Technical Communications) ({ICLP})},\npublisher = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},\nyear = {2022},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ASP-Based Declarative Process Mining.\n \n \n \n \n\n\n \n Chiariello, F.; Maggi, F. M.; and Patrizi, F.\n\n\n \n\n\n\n CoRR, abs/2205.01979. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"ASP-Based paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2022cmp,\n  author       = {Francesco Chiariello and\n                  Fabrizio Maria Maggi and\n                  Fabio Patrizi},\n  title        = {ASP-Based Declarative Process Mining},\n  journal      = {CoRR},\n  volume       = {abs/2205.01979},\n  year         = {2022},\n  url_paper    = {https://doi.org/10.48550/arXiv.2205.01979}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Controller Synthesis for Manufacturing Systems in the Situation Calculus.\n \n \n \n \n\n\n \n De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; and Sardiña, S.\n\n\n \n\n\n\n In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI), 2022. \n Journal track\n\n\n\n
\n\n\n\n \n \n \"Controller paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2022dflps,\n  title = {Controller Synthesis for Manufacturing Systems in the Situation Calculus},\n  author = {Giuseppe {De Giacomo} and\n           Paolo Felli and\n           Brian Logan and\n           Fabio Patrizi and\n           Sebastian Sardi{\\~{n}}a},\n  year = {2022},\n  note      = {Journal track},\n  booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ({IJCAI})},\n  url_paper = {https://whitemech.github.io/papers/2022/ijcai2022dflps.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.\n \n \n \n \n\n\n \n Calvanese, D.; De Giacomo, G.; Montali, M.; and Patrizi, F.\n\n\n \n\n\n\n In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI, pages 2553–2560, 2022. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"Verification paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2022cdmp,\n  author       = {Diego Calvanese and\n                  Giuseppe {De Giacomo} and\n                  Marco Montali and\n                  Fabio Patrizi},\n  title        = {Verification and Monitoring for First-Order {LTL} with Persistence-Preserving\n                  Quantification over Finite and Infinite Traces},\n  booktitle    = {Proceedings of the Thirty-First International Joint Conference on\n                  Artificial Intelligence, {IJCAI}},\n  pages        = {2553--2560},\n  publisher    = {ijcai.org},\n  year         = {2022},\n  url_paper    = {https://doi.org/10.24963/ijcai.2022/354},\n  doi          = {10.24963/ijcai.2022/354},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments.\n \n \n \n \n\n\n \n Aminof, B.; De Giacomo, G.; Rubin, S.; and Zuleger, F.\n\n\n \n\n\n\n In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, pages 2525–2531, 2022. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"Beyond paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2022adrz,\n  author       = {Benjamin Aminof and\n                  Giuseppe {De Giacomo} and\n                  Sasha Rubin and\n                  Florian Zuleger},\n  title        = {Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments},\n  booktitle    = {Proceedings of the Thirty-First International Joint Conference on\n                  Artificial Intelligence, {IJCAI} 2022},\n  pages        = {2525--2531},\n  publisher    = {ijcai.org},\n  year         = {2022},\n  url_paper    = {https://doi.org/10.24963/ijcai.2022/350},\n  doi          = {10.24963/ijcai.2022/350},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.\n \n \n \n \n\n\n \n Alechina, N.; De Giacomo, G.; Logan, B.; and Perelli, G.\n\n\n \n\n\n\n In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"Automatic paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2022adlp,\n  author       = {Natasha Alechina and\n                  Giuseppe {De Giacomo} and\n                  Brian Logan and\n                  Giuseppe Perelli},\n  title        = {Automatic Synthesis of Dynamic Norms for Multi-Agent Systems},\n  booktitle    = {Proceedings of the 19th International Conference on Principles of\n                  Knowledge Representation and Reasoning, {KR} 2022},\n  year         = {2022},\n  url_paper    = {https://proceedings.kr.org/2022/2/},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation.\n \n \n \n \n\n\n \n De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; and Sardiña, S.\n\n\n \n\n\n\n Artificial Intelligence, 302: 103598. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Situation paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{aij2022dflps,\n  author    = {Giuseppe {De Giacomo} and\n               Paolo Felli and\n               Brian Logan and\n               Fabio Patrizi and\n               Sebastian Sardi{\\~{n}}a},\n  title     = {Situation Calculus for Controller Synthesis in Manufacturing Systems with {First-Order} State Representation},\n  journal   = {Artificial Intelligence},\n  volume    = {302},\n  pages     = {103598},\n  year      = {2022},\n  url_paper = {https://whitemech.github.io/papers/2022/aij2022dflps.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Measuring the interestingness of temporal logic behavioral specifications in process mining.\n \n \n \n \n\n\n \n Cecconi, A.; De Giacomo, G.; Di Ciccio, C.; Maggi, F.; and Mendling, J.\n\n\n \n\n\n\n Inf. Syst., 107: 101920. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Measuring paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{is2022cddmm,\n  author    = {Alessio Cecconi and\n               Giuseppe {De Giacomo} and\n               Claudio {Di Ciccio} and\n               {Fabrizio Maria} Maggi and\n               Jan Mendling},\n  title     = {Measuring the interestingness of temporal logic behavioral specifications\n               in process mining},\n  journal   = {Inf. Syst.},\n  volume    = {107},\n  pages     = {101920},\n  year      = {2022},\n  url_paper = {https://whitemech.github.io/papers/2022/is2022cddmm.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2.\n \n \n \n \n\n\n \n Lembo, D.; Santarelli, V.; Savo, D.; and De Giacomo, G.\n\n\n \n\n\n\n Future Internet, 14(3): 78. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Graphol: paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{fi2022lssd,\n  author    = {Domenico Lembo and\n               Valerio Santarelli and\n               {Domenico Fabio} Savo and\n               Giuseppe {De Giacomo}},\n  title     = {Graphol: {A} Graphical Language for Ontology Modeling Equivalent to\n               {OWL} 2},\n  journal   = {Future Internet},\n  volume    = {14},\n  number    = {3},\n  pages     = {78},\n  year      = {2022},\n  url_paper = {https://whitemech.github.io/papers/2022/fi2022lssd.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Augmented Business Process Management Systems: A Research Manifesto.\n \n \n \n \n\n\n \n Dumas, M.; Fournier, F.; Limonad, L.; Marrella, A.; Montali, M.; Rehse, J.; Accorsi, R.; Calvanese, D.; De Giacomo, G.; Fahland, D.; Gal, A.; Rosa, M. L.; and Voelzer, H.\n\n\n \n\n\n\n CoRR, abs/2201.12855. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Augmented paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2022dflmmracdfglv,\n  author    = {Marlon Dumas and\n               Fabiana Fournier and\n               Lior Limonad and\n               Andrea Marrella and\n               Marco Montali and\n               Jana-Rebecca Rehse and\n               Rafael Accorsi and\n               Diego Calvanese and\n               Giuseppe {De Giacomo} and\n               Dirk Fahland and\n               Avigdor Gal and\n               Marcello La Rosa and\n               Hagen Voelzer},\n  title     = {Augmented Business Process Management Systems: {A} Research Manifesto},\n  journal   = {CoRR},\n  volume    = {abs/2201.12855},\n  year      = {2022},\n  url_paper = {https://whitemech.github.io/papers/2022/arxiv2022dflmmracdfglv.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Mixed Human-UAV Reinforcement Learning: Literature Review and Open Challenges.\n \n \n \n\n\n \n Brandizzi, N.; Brunori, D.; Trapasso, A.; Frattolillo, F.; and Iocchi, L.\n\n\n \n\n\n\n In The International Conference on Cognitive Aircraft Systems (ICCAS), 2022. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{iccas2022bbtfi,\n  author = {Brandizzi, Nicolo' and Brunori, Damiano and Trapasso, Alessandro and Frattolillo, Francesco and Iocchi, Luca},\n  booktitle = {The International Conference on Cognitive Aircraft Systems ({ICCAS})},\n  title = {Mixed Human-{UAV} Reinforcement Learning: Literature Review and Open Challenges},\n  year = {2022},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Synthesis of Maximally Permissive Strategies for LTLf Specifications.\n \n \n \n \n\n\n \n Zhu, S.; and De Giacomo, G.\n\n\n \n\n\n\n In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, pages 2783–2789, 2022. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"Synthesis paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2022zd,\n  author       = {Shufang Zhu and\n                  Giuseppe {De Giacomo}},\n  title        = {Synthesis of Maximally Permissive Strategies for {LTLf} Specifications},\n  booktitle    = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022},\n  pages        = {2783--2789},\n  publisher    = {ijcai.org},\n  year         = {2022},\n  url_paper    = {https://doi.org/10.24963/ijcai.2022/386},\n  doi          = {10.24963/ijcai.2022/386},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Act for Your Duties but Maintain Your Rights.\n \n \n \n \n\n\n \n Zhu, S.; and De Giacomo, G.\n\n\n \n\n\n\n In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"Act paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2022zd,\n  author       = {Shufang Zhu and\n                  Giuseppe {De Giacomo}},\n  title        = {Act for Your Duties but Maintain Your Rights},\n  booktitle    = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2022},\n  year         = {2022},\n  url_paper    = {https://proceedings.kr.org/2022/38/},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; and Fuggitti, F.\n\n\n \n\n\n\n CoRR, abs/2204.09960. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Planning paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 37 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2022dff,\n  author    = {Giuseppe {De Giacomo} and\n               Marco Favorito and\n               Francesco Fuggitti},\n  title     = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: {A} Polynomial Reduction to Standard Planning},\n  journal   = {CoRR},\n  volume    = {abs/2204.09960},\n  year      = {2022},\n  url_paper = {https://whitemech.github.io/papers/2022/arxiv2022dff.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Li, J.; Vardi, M. Y.; Xiao, S.; and Zhu, S.\n\n\n \n\n\n\n In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, pages 2591–2598, 2022. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"LTLf paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2022dflvxz,\n  author       = {Giuseppe {De Giacomo} and\n                  Marco Favorito and\n                  Jianwen Li and\n                  Moshe Y. Vardi and\n                  Shengping Xiao and\n                  Shufang Zhu},\n  title        = {{LTLf} Synthesis as {AND-OR} Graph Search: Knowledge Compilation at Work},\n  booktitle    = {Proceedings of the Thirty-First International Joint Conference on\n                  Artificial Intelligence, {IJCAI} 2022},\n  pages        = {2591--2598},\n  publisher    = {ijcai.org},\n  year         = {2022},\n  url_paper    = {https://doi.org/10.24963/ijcai.2022/359},\n  doi          = {10.24963/ijcai.2022/359},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes.\n \n \n \n \n\n\n \n Ronca, A.; Paludo Licks, G.; and De Giacomo, G.\n\n\n \n\n\n\n In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, pages 3408–3415, 2022. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"Markov paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2022rpd,\n  author       = {Alessandro Ronca and\n                  Gabriel {Paludo Licks} and\n                  Giuseppe {De Giacomo}},\n  title        = {Markov Abstractions for {PAC} Reinforcement Learning in Non-Markov\n                  Decision Processes},\n  booktitle    = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022},\n  pages        = {3408--3415},\n  publisher    = {ijcai.org},\n  year         = {2022},\n  url_paper    = {https://doi.org/10.24963/ijcai.2022/473},\n  doi          = {10.24963/ijcai.2022/473},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Delay and Window Size Problems in Rule-Based Stream Reasoning.\n \n \n \n \n\n\n \n Ronca, A.; Kaminski, M.; Grau, B. C.; and Horrocks, I.\n\n\n \n\n\n\n Artificial Intelligence,103668. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"The paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{aij2022rkch,\n  title = {The Delay and Window Size Problems in Rule-Based Stream Reasoning},\n  journal = {Artificial Intelligence},\n  pages = {103668},\n  year = {2022},\n  issn = {0004-3702},\n  doi = {https://doi.org/10.1016/j.artint.2022.103668},\n  author = {Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks},\n  url_paper = {https://whitemech.github.io/papers/2022/aij2022rkch.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ASP-Based Declarative Process Mining.\n \n \n \n \n\n\n \n Chiariello, F.; Maggi, F.; and Patrizi, F.\n\n\n \n\n\n\n In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI), 2022. \n \n\n\n\n
\n\n\n\n \n \n \"ASP-Based paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aaai22cmp,\n  author = {Francesco Chiariello and {Fabrizio Maria} Maggi and Fabio Patrizi},\n  title = {{ASP}-Based Declarative Process Mining},\n  booktitle = {Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence ({AAAI})},\n  year = {2022},\n  url_paper = {https://whitemech.github.io/papers/2022/aaai2022cmp.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Iterative Depth-First Search for FOND Planning.\n \n \n \n \n\n\n \n Fraga Pereira, R.; Grahl Pereira, A.; Messa, F.; and De Giacomo, G.\n\n\n \n\n\n\n In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, pages 90–99, 2022. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n \"Iterative paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icaps2022fgmd,\n  author       = {Ramon {Fraga Pereira} and\n                  Andr{\\'{e}} {Grahl Pereira} and\n                  Frederico Messa and\n                  Giuseppe {De Giacomo}},\n  title        = {Iterative Depth-First Search for {FOND} Planning},\n  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated\n                  Planning and Scheduling, {ICAPS} 2022},\n  pages        = {90--99},\n  publisher    = {{AAAI} Press},\n  year         = {2022},\n  url_paper    = {https://ojs.aaai.org/index.php/ICAPS/article/view/19789},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (36)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Behavioral QLTL.\n \n \n \n \n\n\n \n De Giacomo, G.; and Perelli, G.\n\n\n \n\n\n\n In Highlights, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Behavioral paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{highlights2021dp,\n\tauthor    = {Giuseppe {De Giacomo} and Giuseppe Perelli},\n\ttitle     = {Behavioral QLTL},\n\tbooktitle = {{Highlights}},\n\tyear      = {2021},\n\turl_paper = {https://whitemech.github.io/papers/2021/highlights2021dp.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.\n \n \n \n \n\n\n \n De Giacomo, G.; Di Stasio, A.; Tabajara, L. M.; Vardi, M.; and Zhu, S.\n\n\n \n\n\n\n In Highlights, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Finite-Trace paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{highlights2021ddtvz,\n\tauthor    = {Giuseppe {De Giacomo} and Antonio {Di Stasio} and Lucas M. Tabajara and Moshe Vardi and Shufang Zhu},\n\ttitle     = {{Finite-Trace} and {Generalized-Reactivity} Specifications in Temporal Synthesis},\n\tbooktitle = {{Highlights}},\n\tyear      = {2021},\n\turl_paper = {https://whitemech.github.io/papers/2021/ijcai2021ddtvz.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Delivering Resources for Augmented Reality by UAVs: a Reinforcement Learning Approach.\n \n \n \n \n\n\n \n Brunori, D.; Colonnese, S.; Cuomo, F.; Flore, G.; and Iocchi, L.\n\n\n \n\n\n\n Frontiers in Communications and Networks, 2. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Delivering paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{frcmn2021bccfi,\nauthor={Brunori, Damiano and Colonnese, Stefania and Cuomo, Francesca and Flore, Giovanna and Iocchi, Luca},\ntitle={Delivering Resources for Augmented Reality by {UAVs}: a Reinforcement Learning Approach},\njournal={Frontiers in Communications and Networks},\nvolume={2},\nyear={2021},\ndoi={10.3389/frcmn.2021.709265},\nissn={2673-530X},\nurl_paper = {https://whitemech.github.io/papers/2021/frcmn2021bccfi.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n On the Power of Automata Minimization in Temporal Synthesis.\n \n \n \n\n\n \n Zhu, S.; Tabajara, L. M.; Pu, G.; and Vardi, M. Y.\n\n\n \n\n\n\n In GandALF, volume 346, of EPTCS, pages 117–134, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{gandalf2021ztpv,\n  author    = {Shufang Zhu and\n               Lucas M. Tabajara and\n               Geguang Pu and\n               Moshe Y. Vardi},\n  title     = {On the Power of Automata Minimization in Temporal Synthesis},\n  booktitle = {{GandALF}},\n  series    = {{EPTCS}},\n  volume    = {346},\n  pages     = {117--134},\n  year      = {2021}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning.\n \n \n \n \n\n\n \n Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Exploiting paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@misc{airo2021cdfip,\n  author = {Cipollone, Roberto and {De Giacomo}, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},\n  title = {Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning},\n  booktitle = {Proceedings of the 20th International Conference of the Italian Association for Artificial Intelligence ({AI*IA})},\n  publisher = {CEUR-WS.org},\n  year = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/airo2021cdfip.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Digital Twins Composition via Markov Decision Processes.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; and Silo, L.\n\n\n \n\n\n\n In ITBPM@BPM, volume 2952, of Proceedings of the CEUR Workshop, pages 44–49, 2021. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"Digital paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{itbpm2021dflms,\n  author = {{De Giacomo}, Giuseppe and Favorito, Marco and Leotta, Francesco and Mecella, Massimo and Silo, Luciana},\n  title = {Digital Twins Composition via Markov Decision Processes},\n  booktitle = {ITBPM@BPM},\n  series = {Proceedings of the {CEUR} Workshop},\n  volume = {2952},\n  pages = {44--49},\n  publisher = {CEUR-WS.org},\n  year = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/itbpm2021dflms.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Landmark-Based Approaches for Goal Recognition as Planning.\n \n \n \n \n\n\n \n Fraga Pereira, R.; Oren, N.; and Meneguzzi, F.\n\n\n \n\n\n\n In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS), Journal Track, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Landmark-Based video\n  \n \n \n \"Landmark-Based poster\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icaps2021fom,\n  author = {Ramon {Fraga Pereira} and Nir Oren and Felipe Meneguzzi},\n  title = {Landmark-Based Approaches for Goal Recognition as Planning},\n  booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling ({ICAPS}), Journal Track},\n  year = {2021},\n  url_video = {https://icaps21.icaps-conference.org/exhibition/index.html?channel=364},\n  url_poster = {https://icaps21.icaps-conference.org/link/posters/index.html?id=364},\n  doi = {https://doi.org/10.1016/j.artint.2019.103217},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Inferring Agents Preferences as Priors for Probabilistic Goal Recognition.\n \n \n \n \n\n\n \n Gusmão, K. M.; Fraga Pereira, R.; and Meneguzzi, F.\n\n\n \n\n\n\n In Workshop on Scheduling and Planning Applications woRKshop (SPARK), (ICAPS), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Inferring paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{spark2021gfm,\n  author = {Kin Max Gusmão and Ramon {Fraga Pereira} and Felipe Meneguzzi},\n  title = {Inferring Agents Preferences as Priors for Probabilistic Goal Recognition},\n  booktitle = {Workshop on Scheduling and Planning Applications woRKshop {(SPARK)}, ({ICAPS})},\n  year = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/spark2021gfm.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Rational Verification: A Progress Report.\n \n \n \n \n\n\n \n Abate, A.; Gutierrez, J.; Hammond, L.; Harrenstein, P.; Kwiatkowska, M.; Najib, M.; Perelli, G.; Steeples, T.; and Wooldridge, M.\n\n\n \n\n\n\n In Journal on Applied Intelligence, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Rational paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{apin2021aghhknpsw,\n\tauthor = \t {Alessandro Abate and Julian Gutierrez and Lewis Hammond and Paul Harrenstein and Marta Kwiatkowska and Muhammad Najib and Giuseppe Perelli and Thomas Steeples and Michael Wooldridge},\n\ttitle = \t {Rational Verification: A Progress Report},\n\tbooktitle = {Journal on Applied Intelligence},\n\tyear = \t {2021},\n\turl_paper = {https://whitemech.github.io/papers/2021/apin2021aghhknpsw.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Nondeterministic Situation Calculus.\n \n \n \n \n\n\n \n De Giacomo, G.; and Lespérance, Y.\n\n\n \n\n\n\n In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"The paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2021dl,\n  author = \t {Giuseppe {De Giacomo} and Yves {Lesp{\\'{e}}rance}},\n  title = \t {The Nondeterministic Situation Calculus},\n  booktitle = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year = \t {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/kr2021dl.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Synthesizing Best-Effort Strategies under Multiple Environment Specifications.\n \n \n \n \n\n\n \n Aminof, B.; De Giacomo, G.; Lomuscio, A.; Murano, A.; and Rubin, S.\n\n\n \n\n\n\n In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Synthesizing paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2021adlmr,\n  author = \t {Benjamin Aminof and Giuseppe {De Giacomo} and Alessio Lomuscio and Aniello Murano and Sasha Rubin},\n  title = \t {Synthesizing {Best-Effort} Strategies under Multiple Environment Specifications},\n  booktitle = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year = \t {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/kr2021adlmr.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Synthesis with Mandatory Stop Actions.\n \n \n \n \n\n\n \n De Giacomo, G.; Di Stasio, A.; Perelli, G.; and Zhu, S.\n\n\n \n\n\n\n In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 237–246, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Synthesis paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2021ddpz,\n  author = \t {Giuseppe {De Giacomo} and Antonio {Di Stasio} and Giuseppe Perelli and Shufang Zhu},\n  title = \t {Synthesis with Mandatory Stop Actions},\n  booktitle = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year = \t {2021},\n  pages     = {237--246},\n  doi       = {10.24963/kr.2021/23},\n  url_paper = {https://whitemech.github.io/papers/2021/kr2021ddpz.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Timed Trace Alignment with Metric Temporal Logic over Finite Traces.\n \n \n \n \n\n\n \n De Giacomo, G.; Murano, A.; Patrizi, F.; and Perelli, G.\n\n\n \n\n\n\n In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Timed paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2021dmpp,\n  author = \t {Giuseppe {De Giacomo} and Aniello Murano and Fabio Patrizi and Giuseppe Perelli},\n  title = \t {Timed Trace Alignment with Metric Temporal Logic over Finite Traces},\n  booktitle = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year = \t {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/kr2021dmpp.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.\n \n \n \n \n\n\n \n De Giacomo, G.; Di Stasio, A.; Tabajara, L. M.; Vardi, M.; and Zhu, S.\n\n\n \n\n\n\n In Workshop on Generalization in Planning (GenPlan), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Finite-Trace paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{genplan2021ddtvz,\n    author = {Giuseppe {De Giacomo} and Antonio {Di Stasio} and Lucas M. Tabajara and Moshe Vardi and Shufang Zhu},\n    title = {{Finite-Trace} and {Generalized-Reactivity} Specifications in Temporal Synthesis},\n    booktitle = {Workshop on Generalization in Planning ({GenPlan})},\n    year = {2021},\n    url_paper = {https://whitemech.github.io/papers/2021/ijcai2021ddtvz.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n IoT-based Digital Twins Orchestration via Automated Planning for Smart Manufacturing.\n \n \n \n \n\n\n \n De Giacomo, G.; Ghedallia, D.; Firmani, D.; Leotta, F.; Mandreoli, F.; and Mecella, M.\n\n\n \n\n\n\n In Workshop on Generalization in Planning (GenPlan), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"IoT-based paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{genplan2021dgflmm,\n    author = {Giuseppe {De Giacomo} and David Ghedallia and Donatella Firmani and Francesco Leotta and Federica Mandreoli and Massimo Mecella},\n    title = {{IoT-based} Digital Twins Orchestration via Automated Planning for Smart Manufacturing},\n    booktitle = {Workshop on Generalization in Planning ({GenPlan})},\n    year = {2021},\n    url_paper = {https://whitemech.github.io/papers/2021/genplan2021dgflmm.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Expressiveness and Nash Equilibrium in Iterated Boolean Games.\n \n \n \n \n\n\n \n Gutierrez, J.; Harrenstein, P.; Perelli, G.; and Wooldridge, M.\n\n\n \n\n\n\n ACM Trans. Comput. Logic, 22(2). June 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Expressiveness paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 8 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n
@article{tocl2021ghpw,\n\tauthor    = {Julian Gutierrez and Paul Harrenstein and Giuseppe Perelli and Michael Wooldridge},\n\ttitle     = {Expressiveness and Nash Equilibrium in Iterated Boolean Games},\n\tyear \t= {2021},\n\tpublisher = {Association for Computing Machinery},\n\taddress = {New York, NY, USA},\n\tvolume = {22},\n\tnumber = {2},\n\tissn = {1529-3785},\n\tdoi = {https://doi.org/10.1145/3439900},\n\tjournal = {ACM Trans. Comput. Logic},\n\tmonth = jun,\n\tarticleno = {8},\n\tnumpages = {38},\n\tkeywords = {game theory, multi-agent systems, expressiveness, Logic, concurrent games, Nash equilibrium},\n\turl_paper = {https://whitemech.github.io/papers/2021/tocl2021ghpw.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Learning a Symbolic Planning Domain through the Interaction with Continuous Environments.\n \n \n \n \n\n\n \n Umili, E.; Antonioni, E.; Riccio, F.; Capobianco, R.; Nardi, D.; and De Giacomo, G.\n\n\n \n\n\n\n In Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Learning paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{prl2021uarcnd,\n    author = {Elena Umili and\n              Emanuele Antonioni and\n              Francesco Riccio and\n              Roberto Capobianco and\n              Daniele Nardi and\n              Giuseppe {De Giacomo}},\n    title = {Learning a Symbolic Planning Domain through the Interaction with Continuous Environments},\n    booktitle = {Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning ({PRL})},\n    year = {2021},\n    url_paper = {https://whitemech.github.io/papers/2021/prl2021uarcnd.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Efficient PAC Reinforcement Learning in Regular Decision Processes.\n \n \n \n\n\n \n Ronca, A.; and De Giacomo, G.\n\n\n \n\n\n\n In Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{prl2021rd,\n    author = {Alessandro Ronca and Giuseppe {De Giacomo}},\n    title = {Efficient {PAC} Reinforcement Learning in Regular Decision Processes},\n    booktitle = {Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning ({PRL})},\n    year = {2021},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Domain-Independent Reward Machines for Modular Integration of Planning and Learning.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n In Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Domain-Independent paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{prl2021dfip,\n    author = {Giuseppe {De Giacomo} and Marco Favorito and Luca Iocchi and Fabio Patrizi},\n    title = {{Domain-Independent} Reward Machines for Modular Integration of Planning and Learning},\n    booktitle = {Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning ({PRL})},\n    year = {2021},\n    url_paper = {https://whitemech.github.io/papers/2021/prl2021dfip.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.\n \n \n \n \n\n\n \n De Giacomo, G.; Di Stasio, A.; Tabajara, L. M.; Vardi, M.; and Zhu, S.\n\n\n \n\n\n\n In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Finite-Trace paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2021ddtvz,\n author    = {Giuseppe {De Giacomo} and Antonio {Di Stasio} and Lucas M. Tabajara and Moshe Vardi and Shufang Zhu},\n title     = {Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis},\n booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},\n year      = {2021},\n url_paper = {https://whitemech.github.io/papers/2021/ijcai2021ddtvz.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Efficient PAC Reinforcement Learning in Regular Decision Processes.\n \n \n \n \n\n\n \n Ronca, A.; and De Giacomo, G.\n\n\n \n\n\n\n In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Efficient paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2021rd,\n author    = {Alessandro Ronca and Giuseppe {De Giacomo}},\n title     = {Efficient {PAC} Reinforcement Learning in Regular Decision Processes},\n booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},\n year      = {2021},\n url_paper = {https://whitemech.github.io/papers/2021/ijcai2021rd.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up.\n \n \n \n \n\n\n \n Aminof, B.; De Giacomo, G.; and Rubin, S.\n\n\n \n\n\n\n In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Best-Effort paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2021adr,\n author    = {Benjamin Aminof and Giuseppe {De Giacomo} and Sasha Rubin},\n title     = {Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up},\n booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},\n year      = {2021},\n url_paper = {https://whitemech.github.io/papers/2021/ijcai2021adr.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs.\n \n \n \n \n\n\n \n De Giacomo, G.; Felli, P.; Montali, M.; and Perelli, G.\n\n\n \n\n\n\n In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"HyperLDLf: paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2021dfmp,\n author    = {Giuseppe {De Giacomo} and Paolo Felli and Marco Montali and Giuseppe Perelli},\n title     = {{HyperLDLf}: a Logic for Checking Properties of Finite Traces Process Logs},\n booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},\n year      = {2021},\n url_paper = {https://whitemech.github.io/papers/2021/ijcai2021dfmp.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Intensional and Extensional Views in DL-Lite Ontologies.\n \n \n \n \n\n\n \n Console, M.; De Giacomo, G.; Lenzerini, M.; and Namici, M.\n\n\n \n\n\n\n In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Intensional paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2021cdln,\n author    = {Marco Console and Giuseppe {De Giacomo} and Maurizio Lenzerini and Manuel Namici},\n title     = {Intensional and Extensional Views in {DL-Lite} Ontologies},\n booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},\n year      = {2021},\n url_paper = {https://whitemech.github.io/papers/2021/ijcai2021cdln.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Survey on Goal Recognition as Planning.\n \n \n \n \n\n\n \n Meneguzzi, F.; and Fraga Pereira, R.\n\n\n \n\n\n\n In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021. \n Survey track\n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2021mf,\n author    = {Felipe Meneguzzi and Ramon {Fraga Pereira}},\n title     = {A Survey on Goal Recognition as Planning},\n booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence ({IJCAI})},\n year      = {2021},\n note    = {Survey track},\n url_paper = {https://whitemech.github.io/papers/2021/ijcai2021mf.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Reinforcement Learning Environment for Multi-Service UAV-enabled Wireless Systems.\n \n \n \n \n\n\n \n Brunori, D.; Colonnese, S.; Cuomo, F.; and Iocchi, L.\n\n\n \n\n\n\n . 2021.\n \n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2021bcci,\n  title={A Reinforcement Learning Environment for Multi-Service {UAV}-enabled Wireless Systems},\n  author={Damiano Brunori and Stefania Colonnese and Francesca Cuomo and Luca Iocchi},\n  year={2021},\n  eprint={2105.05094},\n  archivePrefix={arXiv},\n  primaryClass={cs.LG},\n  url_paper = {https://whitemech.github.io/papers/2021/arxiv2021bcci.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Inferring Agents Preferences as Priors for Probabilistic Goal Recognition.\n \n \n \n \n\n\n \n Max Gusmao, K.; Fraga Pereira, R.; Grahl Pereira, A.; and Meneguzzi, F.\n\n\n \n\n\n\n CoRR, abs/2102.11791. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Inferring paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2021mfgm,\n  author    = {Kin {Max Gusmao} and Ramon {Fraga Pereira} and Andre {Grahl Pereira} and Felipe Meneguzzi},\n  title     = {Inferring Agents Preferences as Priors for Probabilistic Goal Recognition},\n  journal   = {CoRR},\n  volume    = {abs/2102.11791},\n  year      = {2021},\n  archivePrefix = {arXiv},\n  eprint    = {2102.11791},\n  url_paper = {https://whitemech.github.io/papers/2021/arxiv2021mfgm.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Combining LSTMs and Symbolic Approaches for Robust Plan Recognition.\n \n \n \n \n\n\n \n Rosa Amado, L.; Fraga Pereira, R.; and Meneguzzi, F.\n\n\n \n\n\n\n In Proceedings of the Twentieth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Combining paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aamas2021rfm,\n  author    = {Leonardo {Rosa Amado} and\n               Ramon {Fraga Pereira} and\n               Felipe Meneguzzi},\n  title     = {Combining {LSTMs} and Symbolic Approaches for Robust Plan Recognition},\n  booktitle = {Proceedings of the Twentieth International Conference on Autonomous Agents and Multiagent Systems ({AAMAS})},\n  year      = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/aamas2021rfm.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An LP-Based Approach for Goal Recognition as Planning.\n \n \n \n \n\n\n \n de A. Santos, L. R.; Meneguzzi, F.; Fraga Pereira, R.; and Pereira, A. G.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"An paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aaai2021dmfp,\n  author    = {Luisa R. de A. Santos and\n               Felipe Meneguzzi and\n               Ramon {Fraga Pereira} and\n\t\t\t   Andre G. Pereira},\n  title     = {An LP-Based Approach for Goal Recognition as Planning},\n  booktitle = {Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence ({AAAI})},\n  year      = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/aaai2021dmfp.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata.\n \n \n \n \n\n\n \n De Giacomo, G.; and Favorito, M.\n\n\n \n\n\n\n In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), volume 14, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Compositional paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icaps2021df,\n  author = {{De Giacomo}, Giuseppe and Favorito, Marco},\n  title = {Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata},\n  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling ({ICAPS})},\n  volume = {14},\n  year = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/icaps2021df.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems.\n \n \n \n \n\n\n \n De Giacomo, G.; Lenzerini, M.; Leotta, F.; and Mecella, M.\n\n\n \n\n\n\n In Aiello, M.; Bouguettaya, A.; Tamburri, D. A.; and van den Heuvel, W., editor(s), Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement, volume 12521, of Lecture Notes in Computer Science, pages 3–15, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"From paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{lncs2021dllm,\n  author    = {Giuseppe {De Giacomo} and\n               Maurizio Lenzerini and\n               Francesco Leotta and\n               Massimo Mecella},\n  editor    = {Marco Aiello and\n               Athman Bouguettaya and\n               Damian Andrew Tamburri and\n               Willem{-}Jan van den Heuvel},\n  title     = {From Component-Based Architectures to Microservices: {A} 25-years-long\n               Journey in Designing and Realizing Service-Based Systems},\n  booktitle = {Next-Gen Digital Services. {A} Retrospective and Roadmap for Service\n               Computing of the Future - Essays Dedicated to Michael Papazoglou on\n               the Occasion of His 65th Birthday and His Retirement},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {12521},\n  pages     = {3--15},\n  publisher = {Springer},\n  year      = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/lncs2021dllm.pdf},\n  doi       = {10.1007/978-3-030-73203-5\\_1},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting.\n \n \n \n \n\n\n \n De Giacomo, G.; Oriol, X.; Rosati, R.; and Savo, D. F.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research (JAIR), 70: 1335–1371. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Instance-Level paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{jair2021dors,\n  author    = {Giuseppe {De Giacomo} and\n               Xavier Oriol and\n               Riccardo Rosati and\n               Domenico Fabio Savo},\n  title     = {Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting},\n  journal   = {Journal of Artificial Intelligence Research ({JAIR})},\n  volume    = {70},\n  pages     = {1335--1371},\n  year      = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/jair2021dors.pdf},\n  doi       = {10.1613/jair.1.12414},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On-the-fly Synthesis for LTL over Finite Traces.\n \n \n \n \n\n\n \n Xiao, S.; Li, J.; Zhu, S.; Shi, Y.; Pu, G.; and Vardi, M.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"On-the-fly paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 13 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aaai2021xlzspv,\n  author = {Shengping Xiao and\n            Jianwen Li and\n            Shufang Zhu and\n            Yingying Shi and\n            Geguang Pu and\n            Moshe Vardi},\n  title = {On-the-fly Synthesis for {LTL} over Finite Traces},\n  booktitle = {Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence ({AAAI})},\n  year = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/aaai2021xlzspv.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models.\n \n \n \n \n\n\n \n Fraga Pereira, R.; Fuggitti, F.; and De Giacomo, G.\n\n\n \n\n\n\n CoRR, abs/2103.11692. March 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Recognizing paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 29 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2021ffd,\n    title = {Recognizing {LTLf}/{PLTLf} Goals in Fully Observable Non-Deterministic Domain Models},\n    author = {{Fraga Pereira}, Ramon and Fuggitti, Francesco and {De Giacomo}, Giuseppe},\n    journal = {CoRR},\n    volume = {abs/2103.11692},\n    year = {2021},\n    month = {March},\n    archivePrefix = {arXiv},\n    eprint = {2103.11692},\n    primaryClass = {cs.AI},\n    url_paper = {https://whitemech.github.io/papers/2021/arxiv2021ffd.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Behavioral QLTL.\n \n \n \n \n\n\n \n De Giacomo, G.; and Perelli, G.\n\n\n \n\n\n\n CoRR, abs/2102.11184. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Behavioral paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2021dp,\n  author    = {Giuseppe {De Giacomo} and\n               Giuseppe Perelli},\n  title     = {Behavioral {QLTL}},\n  journal   = {CoRR},\n  volume    = {abs/2102.11184},\n  year      = {2021},\n  archivePrefix = {arXiv},\n  eprint    = {2102.11184},\n  url_paper = {https://whitemech.github.io/papers/2021/arxiv2021dp.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Embedding Reactive Behavior into Artifact-centric Business Process Models.\n \n \n \n \n\n\n \n Oriol, X.; De Giacomo, G.; Estañol, M.; and Teniente, E.\n\n\n \n\n\n\n Future Generation Computer Systems (FGCS), 117: 97–110. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Embedding paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{fgcs2021odet,\n  author    = {Xavier Oriol and\n               Giuseppe {De Giacomo} and\n               Montserrat Esta{\\~{n}}ol and\n               Ernest Teniente},\n  title     = {Embedding Reactive Behavior into Artifact-centric Business Process\n               Models},\n  journal   = {Future Generation Computer Systems (FGCS)},\n  volume    = {117},\n  pages     = {97--110},\n  year      = {2021},\n  url_paper = {https://whitemech.github.io/papers/2021/fgcs2021odet.pdf},\n  doi       = {10.1016/j.future.2020.11.018},\n}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (28)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Temporal Logic-Based Measurement Framework for Process Mining.\n \n \n \n \n\n\n \n Cecconi, A.; De Giacomo, G.; Di Ciccio, C.; Maggi, F.; and Mendling, J.\n\n\n \n\n\n\n In Proceedings of the 2nd International Conference on Process Mining (ICPM), pages 113–120, 2020. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icpm2020cddmm,\n  author    = {Alessio Cecconi and\n               Giuseppe {De Giacomo} and\n               Claudio {Di Ciccio} and\n               {Fabrizio Maria} Maggi and\n               Jan Mendling},\n  title     = {A Temporal {Logic-Based} Measurement Framework for Process Mining},\n  booktitle = {Proceedings of the 2nd International Conference on Process Mining ({ICPM})},\n  pages     = {113--120},\n  publisher = {{IEEE}},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/icpm2020cddmm.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Non-terminating Processes in the Situation Calculus.\n \n \n \n \n\n\n \n De Giacomo, G.; Ternovska, E.; and Reiter, R.\n\n\n \n\n\n\n Ann. Math. Artif. Intell., 88(5-6): 623–640. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Non-terminating paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{amai2020dtr,\n  author    = {Giuseppe {De Giacomo} and\n               Eugenia Ternovska and\n               Ray Reiter},\n  title     = {Non-terminating Processes in the Situation Calculus},\n  journal   = {Ann. Math. Artif. Intell.},\n  volume    = {88},\n  number    = {5-6},\n  pages     = {623--640},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/amai2020dtr.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Equilibrium Design for Concurrent Games.\n \n \n \n \n\n\n \n Gutierrez, J.; Najib, M.; Perelli, G.; and Wooldridge, M.\n\n\n \n\n\n\n 2020.\n 8th International Workshop on Strategic Reasoning\n\n\n\n
\n\n\n\n \n \n \"Equilibrium paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@unpublished{iwsr2020gnpw1,\n  author \t\t\t= {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n  title\t\t\t\t= {Equilibrium Design for Concurrent Games},\n  note \t\t\t= {8th International Workshop on Strategic Reasoning},\n  year  \t\t\t= {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/iwsr2020gnpw1.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On Computational Tractability for Rational Verification.\n \n \n \n \n\n\n \n Gutierrez, J.; Najib, M.; Perelli, G.; and Wooldridge, M.\n\n\n \n\n\n\n 2020.\n 8th International Workshop on Strategic Reasoning\n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@unpublished{iwsr2020gnpw2,\n\tauthor \t\t\t= {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n\ttitle\t\t\t\t= {On Computational Tractability for Rational Verification},\n\tnote \t\t\t\t= {8th International Workshop on Strategic Reasoning},\n\tyear  \t\t\t= {2020},\n\turl_paper = {https://whitemech.github.io/papers/2020/iwsr2020gnpw2.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Enforcing Equilibria in Multi-Agent Systems.\n \n \n \n \n\n\n \n Perelli, G.\n\n\n \n\n\n\n 2020.\n 8th International Workshop on Strategic Reasoning\n\n\n\n
\n\n\n\n \n \n \"Enforcing paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@unpublished{iwsr2020p,\n\tauthor \t\t\t= {Giuseppe Perelli},\n\ttitle\t\t\t\t= {Enforcing Equilibria in Multi-Agent Systems},\n\tnote \t\t\t\t= {8th International Workshop on Strategic Reasoning},\n\tyear  \t\t\t= {2020},\n\turl_paper = {https://whitemech.github.io/papers/2020/iwsr2020p.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Ontology Mediated Information Extraction with MASTRO SYSTEM-T.\n \n \n \n \n\n\n \n Lembo, D.; Li, Y.; Popa, L.; Qian, K.; and Scafoglieri, F. M.\n\n\n \n\n\n\n In ISWC (Demos/Industry), volume 2721, of CEUR Workshop Proceedings, pages 256–261, 2020. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"Ontology paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{iswc2020llpqs,\n  author    = {Domenico Lembo and\n               Yunyao Li and\n               Lucian Popa and\n               Kun Qian and\n               Federico Maria Scafoglieri},\n  title     = {Ontology Mediated Information Extraction with {MASTRO} {SYSTEM-T}},\n  booktitle = {{ISWC} (Demos/Industry)},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {2721},\n  pages     = {256--261},\n  publisher = {CEUR-WS.org},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/iswc2020llpqs.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Ontology mediated information extraction in financial domain with Mastro System-T.\n \n \n \n \n\n\n \n Lembo, D.; Li, Y.; Popa, L.; and Scafoglieri, F. M.\n\n\n \n\n\n\n In DSMM@SIGMOD, pages 3:1–3:6, 2020. ACM\n \n\n\n\n
\n\n\n\n \n \n \"Ontology paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{dsmm2020llps,\n  author    = {Domenico Lembo and\n               Yunyao Li and\n               Lucian Popa and\n               Federico Maria Scafoglieri},\n  title     = {Ontology mediated information extraction in financial domain with\n               Mastro System-T},\n  booktitle = {DSMM@SIGMOD},\n  pages     = {3:1--3:6},\n  publisher = {{ACM}},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/dsmm2020llps.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games.\n \n \n \n \n\n\n \n Gutierrez, J.; Najib, M.; Perelli, G.; and Wooldridge, M.\n\n\n \n\n\n\n In Artificial Intelligence. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Automated paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 8 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@incollection{ai2020gnpw,\n  author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n  title\t= {Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games},\n  booktitle = {Artificial Intelligence},\n  year  = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/ai2020gnpw.pdf},\n  doi =  {10.1016/j.artint.2020.103353},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n High-level Programming via Generalized Planning and LTL Synthesis.\n \n \n \n \n\n\n \n Bonet, B.; De Giacomo, G.; Geffner, H.; Patrizi, F.; and Rubin, S.\n\n\n \n\n\n\n In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"High-level paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2020bdgpr,\n  author = \t {Blai Bonet and  Giuseppe {De Giacomo} and Hector Geffner and Fabio Patrizi and Sasha Rubin},\n  title = \t {High-level Programming via Generalized Planning and {LTL} Synthesis},\n  booktitle = {Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year = \t {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/kr2020bdgpr.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n HyperLDL over Finite Traces (Poster).\n \n \n \n \n\n\n \n De Giacomo, G.; Felli, P.; Montali, M.; and Perelli, G.\n\n\n \n\n\n\n In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"HyperLDL poster\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2020dfmp,\n  author = \t {Giuseppe {De Giacomo} and Paolo Felli and Marco Montali and Giuseppe Perelli},\n  title = \t {Hyper{LDL} over Finite Traces (Poster)},\n  booktitle = {Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year = \t {2020},\n  url_poster = {https://whitemech.github.io/papers/2020/kr2020dfmp_poster.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Nondeterministic Strategies and their Refinement in Strategy Logic.\n \n \n \n \n\n\n \n De Giacomo, G.; Maubert, B.; and Murano, A.\n\n\n \n\n\n\n In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Nondeterministic paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2020dmm,\n  author = \t {Giuseppe {De Giacomo} and Bastien Maubert and Aniello Murano},\n  title = \t {Nondeterministic Strategies and their Refinement in Strategy Logic},\n  booktitle = {Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year = \t {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/kr2020dmm.pdf},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Temporal Logic Monitoring Rewards via Transducers.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Iocchi, L.; Patrizi, F.; and Ronca, A.\n\n\n \n\n\n\n In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Temporal paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2020dfipr,\n  author   = {{De Giacomo}, G., {Favorito}, M., {Iocchi}, L., {Patrizi}, F., {Ronca}, A.},\n  title     = {Temporal Logic Monitoring Rewards via Transducers},\n  booktitle = {Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year    = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/kr2020dfipr.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.\n \n \n \n \n\n\n \n De Giacomo, G.; Di Stasio, A.; Vardi, Y. M.; and Zhu, S.\n\n\n \n\n\n\n In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Two-Stage paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2020ddvz,\n  author   = {{De Giacomo}, G., {Di Stasio}, A., {Vardi}, Y. M., {Zhu}, S.},\n  title     = {Two-Stage Technique for {LTL}f Synthesis Under {LTL} Assumptions},\n  booktitle = {Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning ({KR})},\n  year    = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/kr2020ddvz.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Ontology-based explanation of classifiers.\n \n \n \n \n\n\n \n Croce, F.; Cima, G.; Lenzerini, M.; and Catarci, T.\n\n\n \n\n\n\n In EDBT/ICDT Workshops, volume 2578, of CEUR Workshop Proceedings, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Ontology-based paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{edbt2020cclc,\n  author    = {Federico Croce and\n               Gianluca Cima and\n               Maurizio Lenzerini and\n               Tiziana Catarci},\n  title     = {Ontology-based explanation of classifiers},\n  booktitle = {{EDBT/ICDT} Workshops},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {2578},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/edbt2020cclc.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Non-Monotonic Ontology-based Abstractions of Data Services.\n \n \n \n \n\n\n \n Cima, G.; Lenzerini, M.; and Poggi, A.\n\n\n \n\n\n\n In KR, pages 243–252, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Non-Monotonic paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{kr2020clp,\n  author    = {Gianluca Cima and\n               Maurizio Lenzerini and\n               Antonella Poggi},\n  title     = {Non-Monotonic Ontology-based Abstractions of Data Services},\n  booktitle = {{KR}},\n  pages     = {243--252},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/kr2020clp.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of UAVs.\n \n \n \n \n\n\n \n Umili, E.; Tognon, M.; Sanalitro, D.; Oriolo, G.; and Franchi, A.\n\n\n \n\n\n\n In Proceedings of the International Conference on Unmanned Aircraft System (ICUAS), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Communication-based paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icuas2020utsof,\n  author     =  {{Umili}, E., {Tognon}, M., {Sanalitro}, D., {Oriolo}, G., {Franchi}, A.},\n  title          = {Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of {UAV}s},\n  booktitle  = {Proceedings of the International Conference on Unmanned Aircraft System ({ICUAS})},\n  year        = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/icuas2020utsof.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Controlled Query Evaluation in Description Logics Through Instance Indistinguishability.\n \n \n \n \n\n\n \n Cima, G.; Lembo, D.; Rosati, R.; and Savo, D. F.\n\n\n \n\n\n\n In IJCAI, pages 1791–1797, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Controlled paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2020clrs,\n  author    = {Gianluca Cima and\n               Domenico Lembo and\n               Riccardo Rosati and\n               Domenico Fabio Savo},\n  title     = {Controlled Query Evaluation in Description Logics Through Instance\n               Indistinguishability},\n  booktitle = {{IJCAI}},\n  pages     = {1791--1797},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/ijcai2020clrs.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Synthesizing Best-Effort Strategies Under Expected and Exceptional Environment Behaviors.\n \n \n \n \n\n\n \n Aminof, B.; De Giacomo, G.; Lomuscio, A.; Murano, A.; and Rubin, S.\n\n\n \n\n\n\n In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Synthesizing paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2020adlmr,\n  author    = {{Aminof}, B., {De Giacomo}, G., {Lomuscio}, A., {Murano}, A., {Rubin}, S.},\n  title     = {Synthesizing Best-Effort Strategies Under Expected and Exceptional Environment Behaviors},\n  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence ({IJCAI})},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/ijcai2020adlmr.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.\n \n \n \n \n\n\n \n De Giacomo, G.; Di Stasio, A.; Fuggitti, F.; and Rubin, S.\n\n\n \n\n\n\n In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20, pages 4959–4965, 7 2020. International Joint Conferences on Artificial Intelligence Organization\n Survey track\n\n\n\n
\n\n\n\n \n \n \"Pure-Past paper\n  \n \n \n \"Pure-Past poster\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 90 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijcai2020ddfr,\n  title     = {Pure-Past Linear Temporal and Dynamic Logic on Finite Traces},\n  author    = {{De Giacomo}, Giuseppe and {Di Stasio}, Antonio and Fuggitti, Francesco and Rubin, Sasha},\n  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI-20}},\n  publisher = {International Joint Conferences on Artificial Intelligence Organization},\n  pages     = {4959--4965},\n  year      = {2020},\n  month     = {7},\n  note      = {Survey track},\n  doi       = {10.24963/ijcai.2020/690},\n  url_paper = {https://whitemech.github.io/papers/2020/ijcai2020ddfr.pdf},\n  url_poster = {https://whitemech.github.io/papers/2020/ijcai2020ddfr_poster.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.\n \n \n \n \n\n\n \n De Giacomo, G.; De Masellis, R.; Maggi, F.; and Montali, M.\n\n\n \n\n\n\n CoRR, abs/2004.01859. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Monitoring paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2020ddmm,\n  author    = {Giuseppe {De Giacomo} and\n               Riccardo {De Masellis} and\n               {Fabrizio Maria} Maggi and\n               Marco Montali},\n  title     = {Monitoring Constraints and Metaconstraints with Temporal Logics on\n               Finite Traces},\n  journal   = {CoRR},\n  volume    = {abs/2004.01859},\n  year      = {2020},\n  archivePrefix = {arXiv},\n  eprint    = {2004.01859},\n  url_paper = {https://whitemech.github.io/papers/2020/arxiv2020ddmm.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.\n \n \n \n \n\n\n \n Aminof, B.; De Giacomo, G.; and Rubin, S.\n\n\n \n\n\n\n In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Stochastic paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icaps2020adr,\n  author    = {{Aminof}, B., {De Giacomo}, G., {Rubin}, S.},\n  title     = {Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains},\n  booktitle = {Proceedings of the 30th International Conference on Automated Planning and Scheduling ({ICAPS})},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/icaps2020adr.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Imitation Learning over Heterogeneous Agents with Restraining Bolts.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Imitation paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{icaps2020dfip,\n  author    = {{De Giacomo}, G., {Favorito}, M., {Iocchi}, L., {Patrizi}, F.},\n  title     = {Imitation Learning over Heterogeneous Agents with Restraining Bolts},\n  booktitle = {Proceedings of the 30th International Conference on Automated Planning and Scheduling ({ICAPS})},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/icaps2020dfip.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science.\n \n \n \n \n\n\n \n De Giacomo, G.; and Lespérance, Y.\n\n\n \n\n\n\n In Proceedings of the International Conference On Autonomous Agents and Multi-Agent Systems (AAMAS), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Goal paper\n  \n \n \n \"Goal video\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aamas2020dl,\n  author    = {{De Giacomo}, G., {Lesp{\\'{e}}rance}, Y.},\n  title     = {Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science},\n  booktitle = {Proceedings of the International Conference On Autonomous Agents and Multi-Agent Systems ({AAMAS})},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/aamas2020dl.pdf},\n  url_video = {https://underline.io/lecture/323-goal-formation-through-interaction-in-the-situation-calculus-a-formal-account-grounded-in-behavioral-science}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Restraining Bolts for Reinforcement Learning Agents.\n \n \n \n \n\n\n \n De Giacomo, G.; Favorito, M.; Iocchi, L.; and Patrizi, F.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"Restraining paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aaai2020sisterdfip,\n  author    = {{De Giacomo}, G., {Favorito}, M., {Iocchi}, L., {Patrizi}, F.},\n  title     = {Restraining Bolts for Reinforcement Learning Agents},\n  booktitle = {Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence ({AAAI})},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/aaai2020sisterdfip.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ElGolog: A High-Level Programming Language with Memory of the Execution History.\n \n \n \n \n\n\n \n De Giacomo, G.; Lespérance, Y.; and Ternovska, T.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"ElGolog: paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aaai2020dlt,\n  author    = {{De Giacomo}, G., {Lesp{\\'{e}}rance}, Y., {Ternovska}, T.},\n  title     = {ElGolog: A High-Level Programming Language with Memory of the Execution History},\n  booktitle = {Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence ({AAAI})},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/aaai2020dlt.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n LTLf Synthesis with Fairness and Stability Assumptions.\n \n \n \n \n\n\n \n Zhu, S.; De Giacomo, G.; Geguang, P.; and Vardi, Y. M.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"LTLf paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{aaai2020zdpv,\n  author    = {{Zhu}, S., {De Giacomo}, G., {Geguang}, P., {Vardi}, Y. M.},\n  title     = {{LTL}f Synthesis with Fairness and Stability Assumptions},\n  booktitle = {Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence ({AAAI})},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/aaai2020zdpv.pdf}\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Controlled Query Evaluation in Ontology-Based Data Access.\n \n \n \n \n\n\n \n Cima, G.; Lembo, D.; Marconi, L.; Rosati, R.; and Savo, D. F.\n\n\n \n\n\n\n In ISWC (1), volume 12506, of Lecture Notes in Computer Science, pages 128–146, 2020. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Controlled paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{iswc2020clmrs,\n  author    = {Gianluca Cima and\n               Domenico Lembo and\n               Lorenzo Marconi and\n               Riccardo Rosati and\n               Domenico Fabio Savo},\n  title     = {Controlled Query Evaluation in Ontology-Based Data Access},\n  booktitle = {{ISWC} {(1)}},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {12506},\n  pages     = {128--146},\n  publisher = {Springer},\n  year      = {2020},\n  url_paper = {https://whitemech.github.io/papers/2020/iswc2020clmrs.pdf},\n}\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n CQE in Description Logics Through Instance Indistinguishability (extended version).\n \n \n \n \n\n\n \n Cima, G.; Lembo, D.; Rosati, R.; and Savo, D. F.\n\n\n \n\n\n\n CoRR, abs/2004.11870. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"CQE paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{arxiv2020clrs,\n  author    = {Gianluca Cima and\n               Domenico Lembo and\n               Riccardo Rosati and\n               Domenico Fabio Savo},\n  title     = {{CQE} in Description Logics Through Instance Indistinguishability\n               (extended version)},\n  journal   = {CoRR},\n  volume    = {abs/2004.11870},\n  year      = {2020},\n  archivePrefix = {arXiv},\n  eprint    = {2004.11870},\n  url_paper = {https://whitemech.github.io/papers/2020/arxiv2020clrs.pdf},\n}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Acquiring Ontology Axioms through Mappings to Data Sources.\n \n \n \n \n\n\n \n Di Pinto, F.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R.\n\n\n \n\n\n\n Future Internet, 11(12). 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Acquiring paper\n  \n \n \n \"Acquiring website\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@article{fi2019ddllr,\nauthor = {{Di Pinto}, Floriana and {De Giacomo}, Giuseppe and Lembo, Domenico and Lenzerini, Maurizio and Rosati, Riccardo},\ntitle = {Acquiring Ontology Axioms through Mappings to Data Sources},\njournal = {Future Internet},\nvolume = {11},\nyear = {2019},\nnumber = {12},\narticle-number = {260},\nurl_paper = {https://whitemech.github.io/papers/2019/fi2019ddllr.pdf},\nurl_website = {https://www.mdpi.com/1999-5903/11/12/260},\nissn = {1999-5903},\ndoi = {10.3390/fi11120260},\n}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n undefined\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Grounding LTLf Specifications in Images.\n \n \n \n\n\n \n Umili, E.; Capobianco, R.; and De Giacomo, G.\n\n\n \n\n\n\n In Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning at (IJCLR 2022), . \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{ijclr2022ucd,\n  author       = {Elena Umili and\n                  Roberto Capobianco and\n                  Giuseppe {De Giacomo}},\n  title        = {Grounding {LTLf} Specifications in Images},\n  booktitle    = {Proceedings of the 16th International Workshop on Neural-Symbolic\n                  Learning and Reasoning at {(IJCLR} 2022)}}
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Extending DL-LiteR TBoxes with View Definitions.\n \n \n \n\n\n \n Namici, M.; De Giacomo, G.; and Lenzerini, M.\n\n\n \n\n\n\n In Borgwardt, S.; and Meyer, T., editor(s), Proceedings of the Thirty-Third International Workshop on Description Logics (DL 2020) co-located with the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), . \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{dl2020ndl,\n   author    = {Manuel Namici and\n                Giuseppe {De Giacomo} and\n                Maurizio Lenzerini},\n   editor    = {Stefan Borgwardt and\n                Thomas Meyer},\n   title     = {Extending DL-LiteR TBoxes with View Definitions},\n   booktitle = {Proceedings of the Thirty-Third International Workshop on Description Logics\n                ({DL} 2020) co-located with the Seventeenth International Conference on Principles\n                of Knowledge Representation and Reasoning {(KR} 2020)}}
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);