| Titolo | Pubblicato in | Anno |
|---|---|---|
| Automatic Business Process Model Extension to Repair Constraint Violations | Service-Oriented Computing | 2019 |
| Regular decision processes: Modelling dynamic systems without using hidden variables | AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems | 2019 |
| Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications | Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling | 2019 |
| Unbounded Orchestrations of Transducers for Manufacturing | The Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI 2019) | 2019 |
| Planning under LTL Environment Specifications | Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019) | 2019 |
| Using Ontologies for Semantic Data Integration | A Comprehensive GuideThrough the Italian DatabaseResearch Over the Last25 Years | 2018 |
| Ontology-Based Data Access and Integration | Encyclopedia of Database Systems | 2018 |
| First-order μ-calculus over generic transition systems and applications to the situation calculus | INFORMATION AND COMPUTATION | 2018 |
| LTLf/LDLf Non-Markovian Rewards | Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) | 2018 |
| Synthesis of Orchestrations of Transducers for Manufacturing | Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) | 2018 |
| Hierarchical agent supervision | Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS' 18) | 2018 |
| Interestingness of traces in declarative process mining: The janus LTLPf Approach | Business Process Management | 2018 |
| Abstraction of Agents Executing Online and their Abilities in the Situation Calculus | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18) | 2018 |
| Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018 | 2018 |
| Comparing query answering in OBDA tools over W3C-compliant specifications | DL 2018 Description Logics | 2018 |
| On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment | Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Seventh Symposium on Educational Advances in Artificial Intelligence : 4-9 February 2017, San Francisco, California, USA | 2017 |
| On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies | WIMS '17 Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics | 2017 |
| Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime | Proceedings of the 25th Italian Symposium on Advanced Database Systems | 2017 |
| 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 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
