Publications

V. Fionda, A. Ielo, F. Ricca. Logic-based Composition of Business Process Models. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece, September 2023.

A. Ielo, F. Ricca, L. Pontieri. Declarative Mining of Business Processes via ASP. Proceedings of the Workshop on Process Management in the AI Era (PMAI), Vienna, Austria, July 2022.

C. Dodaro, V. Fionda, G. Greco. LTL on Weighted Finite Traces: Formal Foundations and Algorithms. Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI),  Vienna, Austria, July, 2022.

V. Fionda, A. Guzzo. Control-Flow Modeling with DECLARE: Behavioral Properties, Computational Complexity, and Tools. IEEE Transactions on Knowledge and Data Engineering (TKDE). 2020, vol. 32, n. 5, pp. 898-911.

V. Fionda, G. Greco. Control-flow Business Process Summarization via Activity Contraction. Proceedings of the 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL), Manchester, UK, November 2019.

V. Fionda, G. Greco. LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner. Journal of Artificial Intelligence Research. 2018, Vol. 63, pp. 557-623.

V. Fionda, G. Greco.The Complexity of LTL on Finite Traces: Hard and Easy Fragments. In the proceedings of the "Thirtieth AAAI Conference on Artificial Intelligence (AAAI)". Phoenix, Arizona, 12-17 February 2016.