| Titolo | Pubblicato in | Anno |
|---|---|---|
| Abstraction in situation calculus action theories | AAAI'17 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence | 2017 |
| Generalized planning: Non-deterministic abstractions and trajectory constraints | IJCAI'17 Proceedings of the 26th International Joint Conference on Artificial Intelligence | 2017 |
| Linking data and BPMN processes to achieve executable models | Advanced Information Systems Engineering | 2017 |
| Practical update management in ontology-based data access | The Semantic Web – ISWC 2017 | 2017 |
| Service composition in stochastic settings | AI*IA 2017 Advances in Artificial Intelligence | 2017 |
| Progression and Verification of Situation Calculus Agents with Bounded Beliefs | STUDIA LOGICA | 2016 |
| Agent planning programs | ARTIFICIAL INTELLIGENCE | 2016 |
| Bounded situation calculus action theories | ARTIFICIAL INTELLIGENCE | 2016 |
| On First-Order μ-Calculus over Situation Calculus Action Theories | Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 | 2016 |
| Updating DL-Lite ontologies through first-order queries | The Semantic Web – ISWC 2016 | 2016 |
| LTLf and LDLf Synthesis under Partial Observability | Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016 | 2016 |
| Verifying congolog programs on bounded situation calculus theories | AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence | 2016 |
| Imperfect-information games and generalized planning | Proceedings of the twenty-fifth international joint conference on artificial intelligence | 2016 |
| Online agent supervision in the situation calculus | Proceedings of the twenty-fifth international joint conference on artificial intelligence | 2016 |
| Online situation-determined agents and their supervision | Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 | 2016 |
| Regular open APIs | Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 | 2016 |
| Verification of data-aware processes | Web Services, Formal Methods, and Behavioral Types | 2016 |
| Computing Trace Alignment against Declarative Process Models through Planning | ICAPS'16 Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling | 2016 |
| Situation calculus game structures and GDL | ECAI 2016 | 2016 |
| Data Complexity of Query Answering in Description Logics | Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015. | 2015 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
