| Titolo | Pubblicato in | Anno |
|---|---|---|
| Imitation Learning over Heterogeneous Agents with Restraining Bolts | Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) | 2020 |
| Restraining Bolts for Reinforcement Learning Agents | Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence | 2020 |
| Two-Stage Technique for LTLf Synthesis Under LTL Assumptions | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning | 2020 |
| A Temporal Logic-Based Measurement Framework for Process Mining | 2020 2nd International Conference on Process Mining (ICPM) | 2020 |
| Extending DL-LiteR TBoxes with view definitions | CEUR Workshop Proceedings | 2020 |
| Temporal Logic Monitoring Rewards via Transducers | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning | 2020 |
| ElGolog: A High-Level Programming Language with Memory of the Execution History | The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) | 2020 |
| LTLf Synthesis with Fairness and Stability Assumptions | The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) | 2020 |
| Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science | Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) | 2020 |
| Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains | Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020) | 2020 |
| Synthesizing strategies under expected and exceptional environment behaviors | Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020) | 2020 |
| High-level Programming via Generalized Planning and LTL Synthesis | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) | 2020 |
| Nondeterministic Strategies and their Refinement in Strategy Logic | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020 | 2020 |
| ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) | 2020 | |
| Acquiring Ontology Axioms through Mappings to Data Sources | FUTURE INTERNET | 2019 |
| The What-To-Ask Problem for Ontology-Based Peers | Description Logic, Theory Combination, and All That | 2019 |
| Hybrid Temporal Situation Calculus | Advances in Artificial Intelligence | 2019 |
| Planning for LTLF/LDLF goals in non-Markovian fully observable nondeterministic domains | IJCAI | 2019 |
| Regular decision processes: A model for non-markovian domains | IJCAI | 2019 |
| Hybrid temporal situation calculus | SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing | 2019 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
