\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 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 \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 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 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 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 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 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 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 \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 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 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 \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 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 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 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 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 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 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 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 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 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 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 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 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