Marco Montali

Free University of Bozen-Bolzano , Italy

10 papers in the IJCAI proceedings

IJCAI 2026

Monitoring Data-aware Temporal Properties

with Alessandro Gianola, Sarah Winkler

doi:10.24963/ijcai.2026/13

Details PDF

IJCAI 2023

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)

with Sander J.J. Leemans, Fabrizio M. Maggi

doi:10.24963/ijcai.2023/719

Details PDF

Safety Verification and Universal Invariants for Relational Action Bases

with Silvio Ghilardi, Alessandro Gianola, Andrey Rivkin

doi:10.24963/ijcai.2023/362

Details PDF

IJCAI 2022

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

with Diego Calvanese, Giuseppe De Giacomo, Fabio Patrizi

doi:10.24963/ijcai.2022/354

Details PDF

IJCAI 2021

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

with Giuseppe De Giacomo, Paolo Felli, Giuseppe Perelli

doi:10.24963/ijcai.2021/256

Details PDF

IJCAI 2016

Plan Synthesis for Knowledge and Action Bases

with Diego Calvanese, Fabio Patrizi, Michele Stawowy

Details PDF

IJCAI 2015

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

with Diego Calvanese, Fabio Patrizi, Giuseppe De Giacomo

Details PDF

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases

with Diego Calvanese, Ario Santoso

Details PDF

IJCAI 2013

Verification of Inconsistency-Aware Knowledge and Action Bases

with Diego Calvanese, Evgeny Kharlamov, Ario Santoso, Dmitriy Zheleznyakov

Details PDF

IJCAI 2009

Commitment Tracking via the Reactive Event Calculus

with Federico Chesani, Paola Mello, Paolo Torroni

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings