diff --git a/papers/2023/aaai2023adfmmp.pdf b/papers/2023/aaai2023adfmmp.pdf
new file mode 100644
index 0000000..7030bc4
Binary files /dev/null and b/papers/2023/aaai2023adfmmp.pdf differ
diff --git a/papers/2023/caise2023dflmms.pdf b/papers/2023/caise2023dflmms.pdf
new file mode 100644
index 0000000..b128324
Binary files /dev/null and b/papers/2023/caise2023dflmms.pdf differ
diff --git a/papers/2023/icws2023mslm.pdf b/papers/2023/icws2023mslm.pdf
new file mode 100644
index 0000000..a597960
Binary files /dev/null and b/papers/2023/icws2023mslm.pdf differ
diff --git a/papers/2023/ijcai2023bdl.pdf b/papers/2023/ijcai2023bdl.pdf
new file mode 100644
index 0000000..6025bbc
Binary files /dev/null and b/papers/2023/ijcai2023bdl.pdf differ
diff --git a/papers/2023/jair2023dfpz.pdf b/papers/2023/jair2023dfpz.pdf
new file mode 100644
index 0000000..258828f
Binary files /dev/null and b/papers/2023/jair2023dfpz.pdf differ
diff --git a/papers/2023/kr2023ucd.pdf b/papers/2023/kr2023ucd.pdf
new file mode 100644
index 0000000..f1a8d59
Binary files /dev/null and b/papers/2023/kr2023ucd.pdf differ
diff --git a/papers/2023/lics2023adrz.pdf b/papers/2023/lics2023adrz.pdf
new file mode 100644
index 0000000..272dfe2
Binary files /dev/null and b/papers/2023/lics2023adrz.pdf differ
diff --git a/papers/2023/nesy2023uabc.pdf b/papers/2023/nesy2023uabc.pdf
new file mode 100644
index 0000000..de52fbb
Binary files /dev/null and b/papers/2023/nesy2023uabc.pdf differ
diff --git a/papers/2023/ssoc2023mslm.pdf b/papers/2023/ssoc2023mslm.pdf
new file mode 100644
index 0000000..0640c99
Binary files /dev/null and b/papers/2023/ssoc2023mslm.pdf differ
diff --git a/papers/2023/synt2023z.pdf b/papers/2023/synt2023z.pdf
new file mode 100644
index 0000000..8a318e6
Binary files /dev/null and b/papers/2023/synt2023z.pdf differ
diff --git a/papers/2023/wil2023z.pdf b/papers/2023/wil2023z.pdf
new file mode 100644
index 0000000..bb36d05
Binary files /dev/null and b/papers/2023/wil2023z.pdf differ
diff --git a/publications.bib b/publications.bib
index 3e27d3c..e55b4b5 100644
--- a/publications.bib
+++ b/publications.bib
@@ -17,7 +17,419 @@ @inproceedings{citing-name
% doi = {doi},
% bibbase_note = {To appear.},
% note = {To appear},
-%}
+%
+
+@inproceedings{ecai2023bdffgs,
+ author = {Luigi Bonassi and
+ Giuseppe {De Giacomo} and
+ Marco Favorito and
+ Francesco Fuggitti and
+ {Alfonso Emilio} Gerevini and
+ Enrico Scala},
+ title = {{FOND} Planning for Pure-Past Linear Temporal Logic Goals},
+ booktitle = {{ECAI}},
+ year = {2023},
+ url_code = {https://github.com/whitemech/Plan4Past},
+ bibbase_note = {To appear.}
+}
+
+@inproceedings{icaps2023fc,
+ author = {Jungkoo Kang and
+ Tathagata Chakraborti and
+ Michael Katz and
+ Shirin Sohrabi and
+ Francesco Fuggitti},
+ title = {{Lemming}: A Tool for Guided Plan Selection using Landmarks},
+ booktitle = {{ICAPS}},
+ year = {2023},
+ note = {System Demonstration.},
+ url_paper = {https://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf},
+ url_code = {https://github.com/IBM/lemming},
+}
+
+@inproceedings{ijcai2023bdl,
+ author = {Bita Banihashemi and Giuseppe {De Giacomo} and Yves Lesperance},
+ title = {Abstraction of Nondeterministic Situation Calculus Action Theories},
+ booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI}},
+ publisher = {ijcai.org},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/ijcai2023bdl.pdf},
+ bibbase_note = {To appear.},
+}
+
+@inproceedings{lics2023adrz,
+ author = {Benjamin Aminof and Giuseppe {De Giacomo} and Sasha Rubin and Florian Zuleger},
+ title = {Stochastic Best-Effort Strategies for Borel Goals},
+ booktitle = {{LICS} '23: 38th Annual {ACM/IEEE} Symposium on Logic in Computer Science},
+ publisher = {{ACM}},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/lics2023adrz.pdf},
+}
+
+@article{tmis2023dflmm,
+ author = {Marlon Dumas and
+ Fabiana Fournier and
+ Lior Limonad and
+ Andrea Marrella and
+ Marco Montali and
+ Jana{-}Rebecca Rehse and
+ Rafael Accorsi and
+ Diego Calvanese and
+ Giuseppe {De Giacomo} and
+ Dirk Fahland and
+ Avigdor Gal and
+ Marcello {La Rosa} and
+ Hagen V{\"{o}}lzer and
+ Ingo Weber},
+ title = {AI-augmented Business Process Management Systems: {A} Research Manifesto},
+ journal = {{ACM} Trans. Manag. Inf. Syst.},
+ volume = {14},
+ number = {1},
+ pages = {11:1--11:19},
+ year = {2023},
+ doi = {10.1145/3576047},
+ url_paper = {https://doi.org/10.1145/3576047},
+}
+
+
+@article{aaai2023ads,
+ author={Aminof, Benjamin and {De Giacomo}, Giuseppe and Rubin, Sasha},
+ title={Reactive Synthesis of Dominant Strategies},
+ volume={37},
+ number={5},
+ DOI={10.1609/aaai.v37i5.25767},
+ journal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
+ year={2023},
+ pages={6228-6235},
+ url_paper={https://ojs.aaai.org/index.php/AAAI/article/view/25767},
+}
+
+@article{aaai2023cdfip,
+ author={Cipollone, Roberto and {De Giacomo}, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},
+ title={Exploiting Multiple Abstractions in Episodic RL via Reward Shaping},
+ volume={37},
+ number={6},
+ DOI={10.1609/aaai.v37i6.25881},
+ journal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
+ year={2023},
+ pages={7227-7234},
+ url_paper={https://ojs.aaai.org/index.php/AAAI/article/view/25881},
+}
+
+@article{arxiv2023cdfip,
+ author = {Roberto Cipollone and
+ Giuseppe {De Giacomo} and
+ Marco Favorito and
+ Luca Iocchi and
+ Fabio Patrizi},
+ title = {Exploiting Multiple Abstractions in Episodic {RL} via Reward Shaping},
+ journal = {CoRR},
+ volume = {abs/2303.00516},
+ year = {2023},
+ doi = {10.48550/arXiv.2303.00516},
+ url_paper = {https://doi.org/10.48550/arXiv.2303.00516},
+}
+
+
+@article{aaai2023afm,
+ author={Amado, Leonardo and {Fraga Pereira}, Ramon and Meneguzzi, Felipe},
+ title={Robust Neuro-Symbolic Goal and Plan Recognition},
+ volume={37},
+ number={10},
+ DOI={10.1609/aaai.v37i10.26408},
+ journal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
+ year={2023},
+ pages={11937-11944},
+ url_paper={https://ojs.aaai.org/index.php/AAAI/article/view/26408},
+}
+
+@article{arxiv2023ffmd,
+ author = {Ramon {Fraga Pereira} and
+ Francesco Fuggitti and
+ Felipe Meneguzzi and
+ Giuseppe {De Giacomo}},
+ title = {Temporally Extended Goal Recognition in Fully Observable Non-Deterministic
+ Domain Models},
+ journal = {CoRR},
+ volume = {abs/2306.08680},
+ year = {2023},
+ doi = {10.48550/arXiv.2306.08680},
+ url_paper = {https://doi.org/10.48550/arXiv.2306.08680},
+}
+
+@article{synt2023z,
+ author = {Shufang Zhu},
+ title = {Reactive Synthesis of Linear Temporal Logic on Finite Traces},
+ journal = {12th workshop on Synthesis (SYNT)},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/synt2023z.pdf},
+}
+
+@article{wil2023z,
+ author = {Shufang Zhu},
+ title = {Reactive Synthesis of Linear Temporal Logic on Finite Traces},
+ journal = {Women in Logic (WiL) workshop},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/wil2023z.pdf},
+}
+
+@article{jair2023dfpz,
+ author = {Giuseppe {De Giacomo} and Dror Fried and Fabio Patrizi and Shufang Zhu},
+ title = {Mimicking Behaviors in Separated Domains},
+ journal = {Journal of Artificial Intelligence Research (JAIR)},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/jair2023dfpz.pdf},
+ bibbase_note = {To appear.},
+}
+
+@article{fmsd2023ddtvz,
+ author = {Giuseppe {De Giacomo} and Antonio {Di Stasio} and Lucas M. Tabajara and Moshe Vardi and Shufang Zhu},
+ title = {{Finite-Trace} and {Generalized-Reactivity} Specifications in Temporal Synthesis},
+ journal={Formal Methods in System Design},
+ year = {2023},
+ issn={1572-8102},
+ doi={10.1007/s10703-023-00413-2},
+ url_paper={https://doi.org/10.1007/s10703-023-00413-2}
+}
+
+@inproceedings{vstte2022bddlv,
+ author = {Suguman Bansal and
+ Giuseppe {De Giacomo} and
+ Antonio {Di Stasio} and
+ Yong Li and
+ Moshe Y. Vardi and
+ Shufang Zhu},
+ title = {Compositional Safety {LTL} Synthesis},
+ booktitle = {Verified Software. Theories, Tools and Experiments - 14th International
+ Conference, {VSTTE}},
+ series = {Lecture Notes in Computer Science},
+ volume = {13800},
+ pages = {1--19},
+ publisher = {Springer},
+ year = {2022},
+ doi = {10.1007/978-3-031-25803-9\_1},
+ url_paper = {https://doi.org/10.1007/978-3-031-25803-9\_1},
+}
+
+
+@inproceedings{nesy2022uabc,
+ author = {Elena Umili and Francesco Argenziano and Aymeric Barbin and Roberto Capobianco},
+ title = {Visual Reward Machines},
+ booktitle = {Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy)},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/nesy2022uabc.pdf},
+ bibbase_note = {To appear.},
+}
+
+@inproceedings{kr2023ucd,
+ author = {Elena Umili and
+ Roberto Capobianco and
+ Giuseppe {De Giacomo}},
+ title = {Grounding {LTLf} Specifications in Image Sequences},
+ booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023)},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/kr2023ucd.pdf},
+ bibbase_note = {To appear.},
+}
+
+@inproceedings{ijclr2022ucd,
+ author = {Elena Umili and
+ Roberto Capobianco and
+ Giuseppe {De Giacomo}},
+ title = {Grounding {LTLf} Specifications in Images},
+ booktitle = {Proceedings of the 16th International Workshop on Neural-Symbolic
+ Learning and Reasoning at {(IJCLR} 2022)}},
+ series = {{CEUR} Workshop Proceedings},
+ volume = {3212},
+ pages = {45--63},
+ publisher = {CEUR-WS.org},
+ year = {2022},
+ url_paper = {https://ceur-ws.org/Vol-3212/paper4.pdf},
+}
+
+@article{si2022cmp,
+ author = {Francesco Chiariello and
+ Fabrizio Maria Maggi and
+ Fabio Patrizi},
+ title = {A tool for compiling Declarative Process Mining problems in {ASP}},
+ journal = {Softw. Impacts},
+ volume = {14},
+ pages = {100435},
+ year = {2022},
+ doi = {10.1016/j.simpa.2022.100435},
+ url_paper = {https://doi.org/10.1016/j.simpa.2022.100435},
+}
+
+@article{is2023acmmp,
+ author = {Simone Agostinelli and
+ Francesco Chiariello and
+ Fabrizio Maria Maggi and
+ Andrea Marrella and
+ Fabio Patrizi},
+ title = {Process mining meets model learning: Discovering deterministic finite
+ state automata from event logs for business process analysis},
+ journal = {Inf. Syst.},
+ volume = {114},
+ pages = {102180},
+ year = {2023},
+ doi = {10.1016/j.is.2023.102180},
+ url_paper = {https://doi.org/10.1016/j.is.2023.102180},
+}
+
+@article{aaai2023fc,
+ author={Fuggitti, Francesco and Chakraborti, Tathagata},
+ title={NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas},
+ volume={37},
+ DOI={10.1609/aaai.v37i13.27068},
+ number={13},
+ journal={Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
+ year={2023},
+ pages={16428-16430},
+ note={System Demonstration.},
+ url_paper={https://ojs.aaai.org/index.php/AAAI/article/view/27068},
+}
+
+@article{icaps2023fc,
+ author={Fuggitti, Francesco and Chakraborti, Tathagata},
+ title={NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas},
+ journal={{ICAPS}},
+ year={2023},
+ note={System Demonstration.},
+ bibbase_note = {Best System Demonstration Runner-Up.}
+}
+@inproceedings{aaai2023adfmmp,
+ author = {Giacomo Acitelli and Giuseppe {De Giacomo} and Francesco Fuggitti and {Fabrizio Maria} Maggi and Andrea Marrella and Fabio Patrizi},
+ title = {Declarative Trace Alignment via Automated Planning (Extended Abstract)},
+ booktitle = {{AI4BPM} at {AAAI}},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/aaai2023adfmmp.pdf},
+}
+
+@inproceedings{icaps2023bdffgs,
+ author={Bonassi, Luigi and {De Giacomo}, Giuseppe and Favorito, Marco and Fuggitti, Francesco and Gerevini, Alfonso Emilio and Scala, Enrico},
+ title={Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic},
+ volume={33},
+ DOI={10.1609/icaps.v33i1.27179},
+ number={1},
+ journal={Proceedings of the International Conference on Automated Planning and Scheduling ({ICAPS})},
+ year={2023},
+ pages={61-69},
+ url_paper={https://ojs.aaai.org/index.php/ICAPS/article/view/27179},
+ bibbase_note = {Best Student Paper Award.},
+}
+
+@article{si2023dfmmp,
+ title = {A tool for declarative Trace Alignment via automated planning},
+ journal = {Software Impacts},
+ volume = {16},
+ pages = {100505},
+ year = {2023},
+ issn = {2665-9638},
+ doi = {https://doi.org/10.1016/j.simpa.2023.100505},
+ url_paper = {https://www.sciencedirect.com/science/article/pii/S2665963823000428},
+ author = {Giuseppe {De Giacomo} and Francesco Fuggitti and Fabrizio Maria Maggi and Andrea Marrella and Fabio Patrizi},
+}
+
+@inproceedings{bpm2022criaf,
+ author={Tathagata Chakraborti and Yara Rizk and Vatche Isahagian and Burak Aksar and Francesco Fuggitti},
+ title={From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation},
+ booktitle={{RPA} forum at {BPM}},
+ year={2022},
+ publisher={Springer International Publishing},
+ pages={123--137},
+ doi={https://doi.org/10.1007/978-3-031-16168-1_8},
+ url_paper={https://link.springer.com/chapter/10.1007/978-3-031-16168-1_8}
+}
+
+@article{aaai2023rkd,
+ author={Ronca, Alessandro and Knorozova, Nadezda Alexandrovna and {De Giacomo}, Giuseppe},
+ title={Automata Cascades: Expressivity and Sample Complexity},
+ volume={37},
+ DOI={10.1609/aaai.v37i8.26147},
+ number={8},
+ journal={Proceedings of the AAAI Conference on Artificial Intelligence ({AAAI})},
+ year={2023},
+ pages={9588-9595},
+ url_paper={https://ojs.aaai.org/index.php/AAAI/article/view/26147},
+}
+
+@article{arxiv2023r,
+ author = {Alessandro Ronca},
+ title = {The Krohn-Rhodes Logics},
+ journal = {CoRR},
+ volume = {abs/2304.09639},
+ year = {2023},
+ doi = {10.48550/arXiv.2304.09639},
+ url_paper = {https://doi.org/10.48550/arXiv.2304.09639},
+}
+
+@article{drones2023fbi,
+ author = {Frattolillo, Francesco and Brunori, Damiano and Iocchi, Luca},
+ title = {Scalable and Cooperative Deep Reinforcement Learning Approaches for Multi-UAV Systems: A Systematic Review},
+ journaL = {Drones},
+ volume = {7},
+ year = {2023},
+ number = {4},
+ article-number = {236},
+ url_paper = {https://www.mdpi.com/2504-446X/7/4/236},
+ issn = {2504-446X},
+ doi = {10.3390/drones7040236}
+}
+
+@inproceedings{caise2023dflmms,
+ author = {{De Giacomo}, Giuseppe and Favorito, Marco and Leotta, Francesco and Mecella, Massimo and Monti, Flavia and Silo, Luciana},
+ title = {{AIDA}: A Tool for Resiliency in Smart Manufacturing},
+ booktitle = {Advanced Information Systems Engineering - 36th International Conference, CAiSE 2023},
+ series = {Lecture Notes in Computer Science},
+ publisher = {Springer},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/caise2023dflmms.pdf},
+ bibbase_note = {To appear.},
+}
+
+@inproceedings{ssoc2023mslm,
+ author = {Monti, Flavia and Silo, Luciana and Leotta, Francesco and Mecella, Massimo},
+ title = {Services in smart manufacturing: comparing automated reasoning techniques for composition and orchestration},
+ booktitle = {Service-Oriented Computing - 17th Symposium and Summer School, SummerSOC 2023},
+ series = {Communications in Computer and Information Science},
+ publisher = {Springer},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/ssoc2023mslm.pdf},
+ bibbase_note = {To appear.},
+}
+
+@inproceedings{icws2023mslm,
+ author = {Monti, Flavia and Silo, Luciana and Leotta, Francesco and Mecella, Massimo},
+ title = {On the Suitability of AI for Service-based Adaptive Supply Chains in Smart Manufacturing},
+ booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2023},
+ publisher = {{IEEE}},
+ year = {2023},
+ url_paper = {https://whitemech.github.io/papers/2023/icws2023mslm.pdf},
+ bibbase_note = {To appear.},
+}
+
+@article{cii2023dflms,
+ title={Digital twins composition in smart manufacturing via Markov decision processes},
+ author={{De Giacomo}, Giuseppe and Favorito, Marco and Leotta, Francesco and Mecella, Massimo and Silo, Luciana},
+ journal={Computers in Industry},
+ volume={149},
+ pages={103916},
+ year={2023},
+ publisher={Elsevier},
+ url_paper={https://doi.org/10.1016/j.compind.2023.103916}
+}
+
+@article{jair2023dfpz,
+ author = {Giuseppe {De Giacomo} and
+ Dror Fried and
+ Fabio Patrizi and
+ Shufang Zhu},
+ title = {Mimicking Behaviors in Separated Domains},
+ journal = {Journal of Artificial Intelligence Research ({JAIR})},
+ url_paper = {https://whitemech.github.io/papers/2022/arxiv2022dfpz.pdf},
+ year = {2023},
+ bibbase_note = {To appear.},
+}
@inproceedings{amai2022gnpw,
author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
@@ -28,15 +440,15 @@ @inproceedings{amai2022gnpw
}
@article{arxiv2022dfpz,
- author = {Giuseppe {De Giacomo} and
- Dror Fried and
- Fabio Patrizi and
- Shufang Zhu},
- title = {Mimicking Behaviors in Separated Domains},
- journal = {CoRR},
- volume = {abs/2205.09201},
- year = {2022},
- url_paper = {https://whitemech.github.io/papers/2022/arxiv2022dfpz.pdf},
+ author = {Giuseppe {De Giacomo} and
+ Dror Fried and
+ Fabio Patrizi and
+ Shufang Zhu},
+ title = {Mimicking Behaviors in Separated Domains},
+ journal = {CoRR},
+ volume = {abs/2205.09201},
+ year = {2022},
+ url_paper = {https://arxiv.org/abs/2205.09201},
}
@inproceedings{highlights2022dmpp,
@@ -60,25 +472,42 @@ @inproceedings{highlights2021ddtvz
year = {2021},
url_paper = {https://whitemech.github.io/papers/2021/ijcai2021ddtvz.pdf},
}
-@inproceedings{caise2022cmp,
-author = {Anti Alman and
- {Fabrizio Maria} Maggi and
- Marco Montali and
- Fabio Patrizi and
- Andrey Rivkin},
-title = {{Multi-Model} Monitoring Framework for Hybrid Process Specifications},
-booktitle = {Proceedings of the 34th International Conference on Advanced Information Systems Engineering ({CAISE})},
-year = {2022},
-note = {To appear},
+@inproceedings{caise2022ammpr,
+ author = {Anti Alman and
+ Fabrizio Maria Maggi and
+ Marco Montali and
+ Fabio Patrizi and
+ Andrey Rivkin},
+ title = {Multi-model Monitoring Framework for Hybrid Process Specifications},
+ booktitle = {Advanced Information Systems Engineering ({CAiSE 2022})},
+ series = {Lecture Notes in Computer Science},
+ volume = {13295},
+ pages = {319--335},
+ publisher = {Springer},
+ year = {2022},
+ url_paper = {https://doi.org/10.1007/978-3-031-07472-1\_19},
+ doi = {10.1007/978-3-031-07472-1\_19},
}
+
@inproceedings{iclp2022cmp,
author = {Francesco Chiariello and {Fabrizio Maria} Maggi and Fabio Patrizi},
title = {{ASP}-Based Declarative Process Mining (Extended Abstract)},
booktitle = {Proceedings of the 38th International Conference on Logic Programming (Technical Communications) ({ICLP})},
publisher = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
year = {2022},
-note = {To appear},
}
+
+@article{arxiv2022cmp,
+ author = {Francesco Chiariello and
+ Fabrizio Maria Maggi and
+ Fabio Patrizi},
+ title = {ASP-Based Declarative Process Mining},
+ journal = {CoRR},
+ volume = {abs/2205.01979},
+ year = {2022},
+ url_paper = {https://doi.org/10.48550/arXiv.2205.01979}
+}
+
@inproceedings{ijcai2022dflps,
title = {Controller Synthesis for Manufacturing Systems in the Situation Calculus},
author = {Giuseppe {De Giacomo} and
@@ -92,38 +521,47 @@ @inproceedings{ijcai2022dflps
url_paper = {https://whitemech.github.io/papers/2022/ijcai2022dflps.pdf},
}
@inproceedings{ijcai2022cdmp,
- title = {Verification and Monitoring for First-Order {LTL} with {Persistence-Preserving} Quantification over Finite and Infinite Traces},
- author = {Diego Calvanese and
- Giuseppe {De Giacomo} and
- Marco Montali and
- Fabio Patrizi},
- year = {2022},
- booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ({IJCAI})},
- url_paper = {https://whitemech.github.io/papers/2022/ijcai2022cdmp.pdf},
- note = {To appear},
+ author = {Diego Calvanese and
+ Giuseppe {De Giacomo} and
+ Marco Montali and
+ Fabio Patrizi},
+ title = {Verification and Monitoring for First-Order {LTL} with Persistence-Preserving
+ Quantification over Finite and Infinite Traces},
+ booktitle = {Proceedings of the Thirty-First International Joint Conference on
+ Artificial Intelligence, {IJCAI}},
+ pages = {2553--2560},
+ publisher = {ijcai.org},
+ year = {2022},
+ url_paper = {https://doi.org/10.24963/ijcai.2022/354},
+ doi = {10.24963/ijcai.2022/354},
}
@inproceedings{ijcai2022adrz,
- title = {Beyond {Strong-Cyclic}: Doing Your Best in Stochastic Environments},
- author = {Benjamin Aminof and
- Giuseppe {De Giacomo} and
- Sasha Rubin and
- Florian Zulegerand},
- year = {2022},
- booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ({IJCAI})},
- url_paper = {https://whitemech.github.io/papers/2022/ijcai2022adrz.pdf},
- note = {To appear},
+ author = {Benjamin Aminof and
+ Giuseppe {De Giacomo} and
+ Sasha Rubin and
+ Florian Zuleger},
+ title = {Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments},
+ booktitle = {Proceedings of the Thirty-First International Joint Conference on
+ Artificial Intelligence, {IJCAI} 2022},
+ pages = {2525--2531},
+ publisher = {ijcai.org},
+ year = {2022},
+ url_paper = {https://doi.org/10.24963/ijcai.2022/350},
+ doi = {10.24963/ijcai.2022/350},
}
+
@inproceedings{kr2022adlp,
- title = {Automatic Synthesis of Dynamic Norms for {Multi-Agent} Systems},
- author = {Natasha Alechina and
- Giuseppe {De Giacomo} and
- Brian Logan and
- Giuseppe Perelli},
- year = {2022},
- booktitle = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
- url_paper = {https://whitemech.github.io/papers/2022/kr2022adlp.pdf},
- note = {To appear},
+ author = {Natasha Alechina and
+ Giuseppe {De Giacomo} and
+ Brian Logan and
+ Giuseppe Perelli},
+ title = {Automatic Synthesis of Dynamic Norms for Multi-Agent Systems},
+ booktitle = {Proceedings of the 19th International Conference on Principles of
+ Knowledge Representation and Reasoning, {KR} 2022},
+ year = {2022},
+ url_paper = {https://proceedings.kr.org/2022/2/},
}
+
@article{aij2022dflps,
author = {Giuseppe {De Giacomo} and
Paolo Felli and
@@ -155,7 +593,7 @@ @article{fi2022lssd
author = {Domenico Lembo and
Valerio Santarelli and
{Domenico Fabio} Savo and
- Giuseppe {De Giacomo},
+ Giuseppe {De Giacomo}},
title = {Graphol: {A} Graphical Language for Ontology Modeling Equivalent to
{OWL} 2},
journal = {Future Internet},
@@ -190,7 +628,6 @@ @inproceedings{iccas2022bbtfi
booktitle = {The International Conference on Cognitive Aircraft Systems ({ICCAS})},
title = {Mixed Human-{UAV} Reinforcement Learning: Literature Review and Open Challenges},
year = {2022},
- note = {To appear}
}
@article{frcmn2021bccfi,
author={Brunori, Damiano and Colonnese, Stefania and Cuomo, Francesca and Flore, Giovanna and Iocchi, Luca},
@@ -198,7 +635,6 @@ @article{frcmn2021bccfi
journal={Frontiers in Communications and Networks},
volume={2},
year={2021},
-url={https://www.frontiersin.org/article/10.3389/frcmn.2021.709265},
doi={10.3389/frcmn.2021.709265},
issn={2673-530X},
url_paper = {https://whitemech.github.io/papers/2021/frcmn2021bccfi.pdf},
@@ -216,20 +652,26 @@ @inproceedings{gandalf2021ztpv
year = {2021}
}
@inproceedings{ijcai2022zd,
- title = {Synthesis of Maximally Permissive Strategies for LTLf Specifications},
- author = {Shufang Zhu and Giuseppe {De Giacomo}},
- year = {2022},
- booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ({IJCAI})},
- url_paper = {https://whitemech.github.io/papers/2022/ijcai2022zd.pdf},
- note = {To appear},
+ author = {Shufang Zhu and
+ Giuseppe {De Giacomo}},
+ title = {Synthesis of Maximally Permissive Strategies for {LTLf} Specifications},
+ booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022},
+ pages = {2783--2789},
+ publisher = {ijcai.org},
+ year = {2022},
+ url_paper = {https://doi.org/10.24963/ijcai.2022/386},
+ doi = {10.24963/ijcai.2022/386},
}
+
@inproceedings{kr2022zd,
- title = {Act for Your Duties but Maintain Your Rights},
- author = {Shufang Zhu and Giuseppe {De Giacomo}},
- year = {2022},
- booktitle = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning ({KR})},
- url_paper = {https://whitemech.github.io/papers/2022/kr2022zd.pdf},
- note = {To appear},
+ author = {Shufang Zhu and
+ Giuseppe {De Giacomo}},
+ title = {Act for Your Duties but Maintain Your Rights},
+ booktitle = {Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2022},
+ year = {2022},
+ url_paper = {https://proceedings.kr.org/2022/38/},
+}
+
}
@article{arxiv2022dff,
author = {Giuseppe {De Giacomo} and
@@ -261,21 +703,36 @@ @BPM
url_paper = {https://whitemech.github.io/papers/2021/itbpm2021dflms.pdf},
}
@inproceedings{ijcai2022dflvxz,
- title = {LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work},
- author = {{De Giacomo}, Giuseppe and Favorito, Marco and Li, Jianwen and Vardi, Moshe and Xiao, Shengping and Zhu, Shufang},
- year = {2022},
- booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ({IJCAI})},
- url_paper = {https://whitemech.github.io/papers/2022/ijcai2022dflvxz.pdf},
- note = {To appear},
+ author = {Giuseppe {De Giacomo} and
+ Marco Favorito and
+ Jianwen Li and
+ Moshe Y. Vardi and
+ Shengping Xiao and
+ Shufang Zhu},
+ title = {{LTLf} Synthesis as {AND-OR} Graph Search: Knowledge Compilation at Work},
+ booktitle = {Proceedings of the Thirty-First International Joint Conference on
+ Artificial Intelligence, {IJCAI} 2022},
+ pages = {2591--2598},
+ publisher = {ijcai.org},
+ year = {2022},
+ url_paper = {https://doi.org/10.24963/ijcai.2022/359},
+ doi = {10.24963/ijcai.2022/359},
}
+
@inproceedings{ijcai2022rpd,
- author = {Alessandro Ronca and Gabriel {Paludo Licks} and Giuseppe {De Giacomo}},
- title = {Markov Abstractions for {PAC} Reinforcement Learning in Non-Markov Decision Processes},
- booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence ({IJCAI})},
- year = {2022},
- url_paper = {https://whitemech.github.io/papers/2022/ijcai2022rpd.pdf},
- note = {To appear},
+ author = {Alessandro Ronca and
+ Gabriel {Paludo Licks} and
+ Giuseppe {De Giacomo}},
+ title = {Markov Abstractions for {PAC} Reinforcement Learning in Non-Markov
+ Decision Processes},
+ booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022},
+ pages = {3408--3415},
+ publisher = {ijcai.org},
+ year = {2022},
+ url_paper = {https://doi.org/10.24963/ijcai.2022/473},
+ doi = {10.24963/ijcai.2022/473},
}
+
@article{aij2022rkch,
title = {The Delay and Window Size Problems in Rule-Based Stream Reasoning},
journal = {Artificial Intelligence},
@@ -294,13 +751,19 @@ @inproceedings{aaai22cmp
url_paper = {https://whitemech.github.io/papers/2022/aaai2022cmp.pdf},
}
@inproceedings{icaps2022fgmd,
- author = {Ramon {Fraga Pereira} and Andre {Grahl Pereira} and Frederico Messa and Giuseppe {De Giacomo}},
- title = {Iterative {Depth-First} Search for Fully Observable Non-Deterministic Planning},
- booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling ({ICAPS})},
- year = {2022},
- url_paper = {https://whitemech.github.io/papers/2022/icaps2022fgmd.pdf},
- note = {To appear}
+ author = {Ramon {Fraga Pereira} and
+ Andr{\'{e}} {Grahl Pereira} and
+ Frederico Messa and
+ Giuseppe {De Giacomo}},
+ title = {Iterative Depth-First Search for {FOND} Planning},
+ booktitle = {Proceedings of the Thirty-Second International Conference on Automated
+ Planning and Scheduling, {ICAPS} 2022},
+ pages = {90--99},
+ publisher = {{AAAI} Press},
+ year = {2022},
+ url_paper = {https://ojs.aaai.org/index.php/ICAPS/article/view/19789},
}
+
@inproceedings{icaps2021fom,
author = {Ramon {Fraga Pereira} and Nir Oren and Felipe Meneguzzi},
title = {Landmark-Based Approaches for Goal Recognition as Planning},
@@ -810,8 +1273,7 @@ @inproceedings{dl2020ndl
title = {Extending DL-LiteR TBoxes with View Definitions},
booktitle = {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), Online Event
- [Rhodes, Greece], September 12th to 14th, 2020},
+ of Knowledge Representation and Reasoning {(KR} 2020)}},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
@@ -880,15 +1342,4 @@ @article{fi2019ddllr
url_website = {https://www.mdpi.com/1999-5903/11/12/260},
issn = {1999-5903},
doi = {10.3390/fi11120260},
-abstract = {Although current languages used in ontology-based data access (OBDA) systems allow for mapping source data
-to instances of concepts and relations in the ontology, several application domains need more flexible tools for
-inferring knowledge from data, which are able to dynamically acquire axioms about new concepts and relations directly
-from the data. In this paper we introduce the notion of mapping-based knowledge base (MKB) to formalize the situation
-where both the extensional and the intensional level of the ontology are determined by suitable mappings to a set of
-data sources. This allows for making the intensional level of the ontology as dynamic as the extensional level
-traditionally is. To do so, we resort to the meta-modeling capabilities of higher-order description logics, in
-particular the description logic Hi(DL-Lite R), which allows seeing concepts and relations as individuals,
-and vice versa. The challenge in this setting is to design efficient algorithms for answering queries posed to MKBs.
-Besides the definition of MKBs, our main contribution is to prove that answering instance queries posed to MKBs
-expressed in Hi(DL-Lite R) can be done efficiently.},
}