Pubblicazioni

The delay and window size problems in rule-based stream reasoning

2022 - ARTIFICIAL INTELLIGENCE
Ronca, Alessandro; Kaminski, Mark; Cuenca Grau, Bernardo; Horrocks, Ian

Investigating Monotone Abstractions

2022 - Proceedings of the 30th Italian Symposium on Advanced Database Systems
Cima, Gianluca; Console, Marco; Lenzerini, Maurizio; Poggi, Antonella

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)

2022 - Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022
De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardiña, S.

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

2022 - IJCAI International Joint Conference on Artificial Intelligence
Calvanese, D.; De Giacomo, G.; Montali, M.; Patrizi, F.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma