| Titolo | Pubblicato in | Anno |
|---|---|---|
| Synchronous games in the situation calculus | Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 | 2015 |
| Synthesis for LTL and LDL on Finite Traces | Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 | 2015 |
| On the undecidability of the situation calculus extended with description logic ontologies | Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 | 2015 |
| Adding DL-Lite TBoxes to Proper Knowledge Bases | The Semantic Web - ISWC 2015 | 2015 |
| Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis | Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 | 2015 |
| Service Composition with PDDL Representations and Visualization over Videogame Engines | 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) | 2015 |
| Temporal reasoning in bounded situation calculus | 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) | 2015 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
