Pubblicazioni del gruppo di ricerca Artificial Intelligence and Knowledge Representation
2023
De Giacomo G., Fuggitti F., Maggi F. M., Marrella A., Patrizi F.
A tool for declarative Trace Alignment via automated planning. SOFTWARE IMPACTS 2023: 100505-
2022
Chiariello Francesco, Maggi Fabrizio Maria, Patrizi Fabio
ASP-Based Declarative Process Mining. Proceedings of the 36th AAAI Conference on Artificial Intelligence 2022: 5539-5547
Chiariello Francesco, Maggi FABRIZIO MARIA, Patrizi Fabio
ASP-Based Declarative Process Mining (Extended Abstract). Electronic Proceedings in Theoretical Computer Science 2022: -
Liberatore P
Belief merging in absence of reliability information. SYNTHESE 2022: -
Bonatti Piero, Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Sauro Luigi, Savo Domenico Fabio
Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach. The Semantic Web – ISWC 2022 2022: -
Cima Gianluca, Console Marco, Lenzerini Maurizio, Poggi Antonella
Investigating Monotone Abstractions. Proceedings of the 30th Italian Symposium on Advanced Database Systems 2022: 522-529
Cecconi Alessio, De Giacomo Giuseppe, Di Ciccio Claudio, Maggi Fabrizio Maria, Mendling Jan
Measuring the interestingness of temporal logic behavioral specifications in process mining. INFORMATION SYSTEMS 2022: -
Cima Gianluca, Console Marco, Lenzerini Maurizio, Poggi Antonella
Monotone Abstractions in Ontology-Based Data Management. Thirty-Sixth AAAI Conference on Artificial Intelligence 2022: 5556-5563
Cima Gianluca, Console Marco, Lenzerini Maurizio, Poggi Antonella
Monotone Abstractions in Ontology-Based Data Management. The Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI-2022 2022: 5556-5563
DE GIACOMO Giuseppe, Favorito Marco, Fuggitti Francesco
Console M., Guagliardo P., Libkin L.
Propositional and predicate logics of incomplete information. ARTIFICIAL INTELLIGENCE 2022: 103603-
De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. ARTIFICIAL INTELLIGENCE 2022: -
2021
Brunori D., Colonnese S., Cuomo F., Iocchi L.
A reinforcement learning environment for multi-service UAV-enabled wireless systems. 2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021 2021: 251-256
Cima G., Console M., Lenzerini M., Poggi A.
Abstraction in Data Integration. 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2021: 1-11
Lacerra Caterina, Pasini Tommaso, Tripodi Rocco, Navigli Roberto
ALaSca: an Automated approach for Large-Scale Lexical Substitution. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence 2021: 3836-3842
Orlando Riccardo, Conia Simone, Brignone Fabrizio, Cecconi Francesco, Navigli Roberto
AMuSE-WSD: an all-in-one multilingual system for easy word sense disambiguation. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing: System Demonstrations 2021: 298-307
Calautti M., Console M., Pieris A.
Benchmarking approximate consistent query answering. PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems 2021: 233-246
Aminof Benjamin, De Giacomo Giuseppe, Rubin Sasha
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021: -
De Giacomo Giuseppe, Favorito Marco
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021 2021: 122-130
Barba Edoardo, Procopio Luigi, Navigli Roberto
ConSeC: Word Sense Disambiguation as Continuous Sense Comprehension. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing 2021: 1492-1503
Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Savo Domenico Fabio, Sinibaldi Daniele
Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions. 2021 IEEE Fourth International Conference on Artificial Intelligence and Knowledge Engineering (AIKE) 2021: -
Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Fabio Savo Domenico
Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies. The Semantic Web – ISWC 2021 2021: -
Brunori Damiano, Colonnese Stefania, Cuomo Francesca, Flore Giovanna, Iocchi Luca
Delivering resources for augmented reality by UAVs: a reinforcement learning approach. FRONTIERS IN COMMUNICATIONS AND NETWORKS 2021: 1-14
Martelli Federico, Navigli Roberto, Krek Simon, Kallas Jelena, Gantar Polona, Koeva Svetla, Nimb Sanni, Sandford Pedersen Bolette, Olsen Sussi, Langemets Margit, Koppel Kristina, Üksik Tiiu, Dobrovoljc Kaja, Ureña-Ruiz Rafael-J., Sancho-Sánchez José-Luis, Lipp Veronika, Váradi Tamás, Győrffy András, László Simon, Quochi Valeria, Monachini Monica, Frontini Francesca, Tiberius Carole, Tempelaars Rob, Costa Rute, Salgado Ana, Čibej Jaka, Munda Tina
Designing the ELEXIS Parallel Sense-Annotated Dataset in 10 European Languages. Proceedings of eLex 2021 2021: -
De Giacomo G., Favorito M., Leotta F., Mecella M., Silo L.
Digital Twins Composition via Markov Decision Processes. CEUR workshop proceedings 2021: 44-49
Ronca Alessandro, De Giacomo Giuseppe
Efficient PAC Reinforcement Learning in Regular Decision Processes. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021: -
Oriol X., De Giacomo G., Estanol M., Teniente E.
Embedding reactive behavior into artifact-centric business process models. FUTURE GENERATION COMPUTER SYSTEMS 2021: 97-110
Barba Edoardo, Pasini Tommaso, Navigli Roberto
ESC: Redesigning WSD with Extractive Sense Comprehension. In Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies 2021 2021: -
Barba Edoardo, Procopio Luigi, Lacerra Caterina, Pasini Tommaso, Navigli Roberto
Exemplification Modeling: Can You Give Me an Example, Please?. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence 2021: 3779-3785
Gutierrez Julian, Harrenstein Paul, Perelli Giuseppe, Wooldridge Michael
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2021: -
De Giacomo Giuseppe, Di Stasio Antonio, Tabajara Lucas M., Vardi Moshe, Zhu Shufang
Conia S., Navigli R.
Framing word sense disambiguation as a multi-label problem for model-agnostic knowledge integration. EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference 2021: 3269-3275
De Giacomo G., Lenzerini M., Leotta F., Mecella M.
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future 2021: 3-15
Blloshmi Rexhina, Conia Simone, Tripodi Rocco, Navigli Roberto
Generating Senses and RoLes: An End-to-End Model for Dependency- and Span-based Semantic Role Labeling. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) 2021: 3786-3793
Lacerra Caterina, Tripodi Rocco, Navigli Roberto
GeneSis: A Generative Approach to Substitutes in Context. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing 2021: 10810-10823
De Giacomo Giuseppe, Felli Paolo, Montali Marco, Perelli Giuseppe
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021 2021: 1859-1865
Di Stasio Antonio, Murano Aniello, Prignano Vincenzo, Sorrentino. Loredana
Improving parity games in practice. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2021: -
De Giacomo Giuseppe, Oriol Xavier, Rosati Riccardo, Savo Domenico Fabio
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2021: 1335-1371
El Sheikh Ahmed, Bevilacqua Michele, Navigli Roberto
Integrating personalized pagerank into neural word sense disambiguation. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing 2021: 9092-9098
Console Marco, De Giacomo Giuseppe, Lenzerini Maurizio, Namici Manuel
Intensional and Extensional Views in DL-Lite Ontologies. IJCAI 2021: 1822-1828
Conia Simone, Orlando Riccardo, Brignone Fabrizio, Cecconi Francesco, Navigli Roberto
InVeRo-XL: Making Cross-Lingual Semantic Role Labeling Accessible with Intelligible Verbs and Roles. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing: System Demonstrations 2021: 319-328
Blloshmi Rexhina, Pasini Tommaso, Campolungo Niccolò, Banerjee Somnath, Navigli Roberto, Pasi Gabriella
IR like a SIR: Sense-enhanced Information Retrieval for Multiple Languages. Proceedings of the 2021 Conference on Empirical Methods in Natural Language 2021: 1030-1041
Hogan A., Blomqvist E., Cochez M., D'Amato C., Melo G. D., Gutierrez C., Kirrane S., Gayo J. E. L., Navigli R., Neumaier S., Ngomo A. -C. N., Polleres A., Rashid S. M., Rula A., Schmelzeisen L., Sequeda J., Staab S., Zimmermann A.
Knowledge graphs. ACM COMPUTING SURVEYS 2021: 1-37
Umili Elena, Antonioni Emanuele, Riccio Francesco, Capobianco Roberto, Nardi Daniele, De Giacomo Giuseppe
Learning a Symbolic Planning Domain through the Interaction with Continuous Environments. Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), workshop at ICAPS 2021 2021: -
Lenzerini M., Lepore L., Poggi A.
Metamodeling and metaquerying in OWL 2 QL. ARTIFICIAL INTELLIGENCE 2021: -
Console M., Kolaitis P. G., Pieris A.
Model-theoretic characterizations of rule-based ontologies. PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems 2021: 416-428
Procopio Luigi, Barba Edoardo, Martelli Federico, Navigli Roberto
MultiMirror: Neural Cross-lingual Word Alignment for Multilingual Word Sense Disambiguation. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21 2021: -
Tedeschi Simone, Conia Simone, Cecconi Francesco, Navigli Roberto
Named entity recognition for entity linking: what works and what’s next. Findings of the Association for Computational Linguistics: EMNLP 2021 2021: 2584-2596
Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Fabio Savo Domenico
On Information Disclosure in Ontology-based Data Access (Extended Abstract). Proceedings of the 34th International Workshop on Description Logics (DL 2021) 2021: -
Zhu Shufang, Tabajara Lucas M., Pu Geguang, Vardi Moshe Y.
On the Power of Automata Minimization in Temporal Synthesis. GandALF 2021 2021: -
Xiao Shengping, Li Jianwen, Zhu Shufang, Shi Yingying, Pu Geguang, Vardi Moshe Y.
On-the-fly Synthesis for LTL over Finite Traces. AAAI2021 2021: -
Bevilacqua Michele, Blloshmi Rexhina, Navigli Roberto
One SPRING to Rule Them Both: Symmetric AMR Semantic Parsing and Generation without a Complex Pipeline. AAAI-21 Technical Tracks 14 2021: 12564-12573
Cima G., Croce F., Lenzerini M.
Query Definability and Its Approximations in Ontology-based Data Management. International Conference on Information and Knowledge Management, Proceedings 2021: 271-280
Abate Alessandro, Gutierrez Julian, Hammond Lewis, Harrenstein Paul, Kwiatkowska Marta, Najib Muhammad, Perelli Giuseppe, Steeples Thomas, Wooldridge Michael
Rational verification: Game-Theoretic Verification of Multi-Agent Systems. APPLIED INTELLIGENCE 2021: -
Huguet Cabot Pere-Lluís, Navigli Roberto
REBEL: Relation Extraction By End-to-end Language generation. Findings of the Association for Computational Linguistics: EMNLP 2021 2021: 2370-2381
Bevilacqua Michele, Pasini Tommaso, Raganato Alessandro, Navigli Roberto
Recent Trends in Word Sense Disambiguation: A Survey. Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21) Survey Track. 2021: 4330-4338
Martelli Federico, Kalach Najla, Tola Gabriele, Navigli Roberto
SemEval-2021 Task 2: Multilingual and Cross-lingual Word-in-Context Disambiguation (MCL-WiC). Proceedings of the 15th International Workshop on Semantic Evaluation (SemEval-2021) 2021: -
Procopio Luigi, Tripodi Rocco, Navigli Roberto
SGL: Speaking the Graph Languages of Semantic Parsing via Multilingual Translation. Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies 2021: 325-337
Blloshmi Rexhina, Bevilacqua Michele, Fabiano Edoardo, Caruso Valentina, Navigli Roberto
SPRING Goes Online: End-to-End AMR Parsing and Generation. Proceedings of the 2021 Conference on Empirical Methods in Natural Language 2021: 134-142
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
Synthesis with Mandatory Stop Actions. KR 2021 2021: -
Aminof Benjamin, De Giacomo Giuseppe, Lomuscio Alessio, Murano Aniello, Rubin Sasha
Synthesizing Best-effort Strategies under Multiple Environment Specifications. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 2021: -
Navigli Roberto, Bevilacqua Michele, Conia Simone, Montagnini Dario, Cecconi Francesco
Ten Years of BabelNet: A Survey. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence 2021: 4559-4567
De Giacomo Giuseppe, Lesperance Yves
The Nondeterministic Situation Calculus. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 2021: -
De Giacomo Giuseppe, Murano Aniello, Patrizi Fabio, Perelli Giuseppe
Conia Simone, Bacciu Andrea, Navigli Roberto
Unifying Cross-Lingual Semantic Role Labeling with Heterogeneous Linguistic Resources. Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies 2021: 338-351
Tripodi Rocco, Conia Simone, Navigli Roberto
UniteD-SRL: A Unified Dataset for Span-and Dependency-Based Multilingual and Cross-Lingual Semantic Role Labeling. Findings of the Association for Computational Linguistics: EMNLP 2021 2021: 2293-2305
Tedeschi Simone, Maiorca Valentino, Campolungo Niccolò, Cecconi Francesco, Navigli Roberto
WikiNEuRal: Combined Neural and Knowledge-based Silver Data Creation for Multilingual NER. Findings of the Association for Computational Linguistics: EMNLP 2021 2021: 2521-2533
Pasini Tommaso, Raganato Alessandro, Navigli Roberto
XL-WSD: An Extra-Large and Cross-Lingual Evaluation Framework for Word Sense Disambiguation. AAAI-21 Technical Tracks 15 2021: 13648-13656
2020
Cima Gianluca, Lenzerini Maurizio, Poggi Antonella
Answering conjunctive queries with inequalities in DL-liteℛ. The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI-2020 2020: 2782-2789
Gutierrez Julian, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. ARTIFICIAL INTELLIGENCE 2020: -25
Umili Elena, Tognon Marco, Sanalitro Dario, Oriolo Giuseppe, Franchi Antonio
Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of UAVs. Proceedings of the International Conference on Unmanned Aircraft Systems (ICUAS), 2020 2020: 279-288
Cima Gianluca, Lembo Domenico, Rosati Riccardo, Fabio Savo Domenico
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability. IJCAI 2020: 1791-1797
Cima Gianluca, Lembo Domenico, Rosati Riccardo, Fabio Savo Domenico
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract). Proceedings of the Thirty-Third International Workshop on Description Logics 2020: -
Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Fabio Savo Domenico
Controlled Query Evaluation in Ontology-Based Data Access. The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference 2020: 128-146
Console M., Guagliardo P., Libkin L., Toussaint E.
Coping with Incomplete Data: Recent Advances. Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems 2020: 33-47
De Giacomo Giuseppe, Catalá Alejandro, Dilkina Bistra, Milano Michela, Barro Senén, Bugarín Alberto, Lang Jérôme
De Giacomo Giuseppe, Lespérance Yves, Ternovska Eugenia
ElGolog: A High-Level Programming Language with Memory of the Execution History. The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) 2020: 2806-2813
Console Marco, Lenzerini Maurizio
Epistemic Integrity Constraints for Ontology-Based Data Management. The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020 2020: 2790-2797
Gutierrez Juilan, Murano Aniello, Perelli Giuseppe, Rubin Sasha, Steeples Thomas, Wooldridge Michael
Equilibria for Games with Combined Qualitative and Quantitative Objects. ACTA INFORMATICA 2020: -
De Giacomo Giuseppe, Lesperance Yves
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: 294-302
Bozzelli Laura, Murano Aniello, Perelli Giuseppe, Sorrentino Loredana
Hierarchical Cost-Parity Games. THEORETICAL COMPUTER SCIENCE 2020: -
Bonet Blai, De Giacomo Giuseppe, Geffner Hector, Patrizi Fabio, Rubin Sasha
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: 152-161
Wang L., Iocchi L., Marrella A., Nardi D.
HRI Users' Studies in the Context of the SciRoc Challenge: Some Insights on Gender-Based Differences. HAI 2020 - Proceedings of the 8th International Conference on Human-Agent Interaction 2020: 287-289
De Giacomo Giuseppe, Iocchi Luca, Favorito Marco, Patrizi Fabio
Imitation Learning over Heterogeneous Agents with Restraining Bolts. Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) 2020: 517-521
Zhu Shufang, De Giacomo Giuseppe, Pu Geguang, Vardi Moshe Y.
LTLf Synthesis with Fairness and Stability Assumptions. The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) 2020: 3088-3095
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
Metaquerying made practical for OWL 2 QL ontologies. INFORMATION SYSTEMS 2020: 1-16
Gutierrez J., Perelli G., Wooldridge M.
Multi-player games with LDL goals over finite traces. INFORMATION AND COMPUTATION 2020: -
Cima Gianluca, Lenzerini Maurizio, Poggi Antonella
Non-Monotonic Ontology-based Abstractions of Data Services. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 243-252
De Giacomo G., Ternovska E., Reiter R.
Non-terminating processes in the situation calculus. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE 2020: 623-640
De Giacomo Giuseppe, Maubert Bastien, Murano Aniello
Nondeterministic Strategies and their Refinement in Strategy Logic. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020 2020: 294-303
Lembo Domenico, Li Yunyao, Popa Lucian, Qian Kun, Scafoglieri Federico
Ontology Mediated Information Extraction with MASTRO SYSTEM-T. Proceedings of the ISWC 2020 Demos and Industry Tracks 2020: 256-261
Lembo Domenico, Scafoglieri Federico
Ontology-based Document Spanning Systems for Information Extraction. INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING 2020: 3-26
De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI 2020: 4959-4965
Bouyer Patricia, Kupferman Orna, Markey Nicolas, Maubert Bastien, Murano Aniello, Perelli Giuseppe
Reasoning about Quality and Fuzziness of Strategic Behaviour. ECAI 2020 2020: -
Abd Alrahman Yehia, Perelli Giuseppe, Piterman Nir
Giacomo De, Favorito Marco, Iocchi Luca, Patrizi Fabio
Restraining Bolts for Reinforcement Learning Agents. Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence 2020: 13659-13662
Favorito Marco
Aminof Benjamin, De Giacomo Giuseppe, Rubin Sasha
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: 20-28
Aminof Benjamin, De Giacomo Giuseppe, Lomuscio Alessio, Murano Aniello, Rubin Sasha
Synthesizing strategies under expected and exceptional environment behaviors. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020) 2020: 1674-1680
De Giacomo Giuseppe, Favorito Marco, Iocchi Luca, Patrizi Fabio, Ronca Alessandro
Temporal Logic Monitoring Rewards via Transducers. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 860-870
De Giacomo Giuseppe, Di Stasio Antonio, Vardi Moshe, Zhu Shufang
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 304-314
2019
DI PINTO FLORIANA, DE GIACOMO Giuseppe, LEMBO Domenico, LENZERINI Maurizio, ROSATI Riccardo
Acquiring Ontology Axioms through Mappings to Data Sources. FUTURE INTERNET 2019: -
Tan J. T. C., Iocchi L., Eguchi A., Okada H.
Bridging Robotics Education between High School and University: RoboCup@Home Education. IEEE AFRICON Conference 2019: 1-4
Lembo Domenico, Scafoglieri Federico
Coupling ontologies with document spanners. Proceedings of the 32nd International Workshop on Description Logics 2019: -
Fawakherji Mulham, Youssef Ali, Bloisi Domenico, Pretto Alberto, Nardi Daniele
Crop and Weeds Classification for Precision Agriculture Using Context-Independent Pixel-Wise Segmentation. 2019 Third IEEE International Conference on Robotic Computing (IRC) 2019: 146-152
Wang L., Iocchi L., Marrella A., Nardi D.
Developing a Questionnaire to Evaluate Customers' Perception in the Smart City Robotic Challenge. 2019 28th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2019 2019: 1-6
DE GIACOMO Giuseppe, Iocchi Luca, Favorito Marco, Patrizi Fabio
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling 2019: 128-136
Batusov V., De Giacomo G., Soutchanski M.
Hybrid Temporal Situation Calculus. Advances in Artificial Intelligence 2019: 173-185
Batusov V., De Giacomo G., Soutchanski M.
Hybrid temporal situation calculus. SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 2019: 1162-1164
Brafman R. I., De Giacomo G.
Planning for LTLF/LDLF goals in non-Markovian fully observable nondeterministic domains. IJCAI 2019: 1602-1608
Brafman R. I., De Giacomo G.
Regular decision processes: A model for non-markovian domains. IJCAI 2019: 5516-5522
Brafman R. I., De Giacomo G.
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: 1844-1846
Lembo Domenico, Rosati Riccardo, Savo Domenico Fabio
Revisiting Controlled Query Evaluation in Description Logics. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019 2019: 1786-1792
Asada M., Stone P., Veloso M., Lee D., Nardi D.
RoboCup: A Treasure Trove of Rich Diversity for Research Issues and Interdisciplinary Connections [TC Spotlight]. IEEE ROBOTICS AND AUTOMATION MAGAZINE 2019: 99-102
Calvanese D., De Giacomo G., Lembo D., Lenzerini M., Rosati R.
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211
2018
Lembo Domenico, Rosati Riccardo, Savo Domenico Fabio
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018 2018: 653-654
Liberatore Paolo
Belief Integration and Source Reliability Assessment. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2018: 87-143
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
First-order μ-calculus over generic transition systems and applications to the situation calculus. INFORMATION AND COMPUTATION 2018: 328-347
Brafman RONEN ISRAEL, DE GIACOMO Giuseppe, Patrizi Fabio
LTLf/LDLf Non-Markovian Rewards. Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) 2018: 1771-1778
Xiao Guohui, Calvanese Diego, Kontchakov Roman, Lembo Domenico, Poggi Antonella, Rosati Riccardo, Zakharyaschev Michael
Ontology-Based Data Access: A Survey. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018 2018: 5511-5519
Schlegel Dominik, Colosi Mirco, Grisetti Giorgio
ProSLAM: Graph SLAM from a Programmer's Perspective. 2018 IEEE International Conference on Robotics and Automation (ICRA 2018) 2018: 3833-3840
RONCA ALESSANDRO, Kaminski Mark, Cuenca Grau Bernardo, Motik Boris, Horrocks Ian
Stream Reasoning in Temporal Datalog. Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New ... 2018: 1941-1948
RONCA ALESSANDRO, Kaminski Mark, Cuenca Grau Bernardo, Horrocks Ian
The Window Validity Problem in Rule-Based Stream Reasoning. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018 2018: 571-581
2017
Lembo Domenico, Rosati Riccardo, Santarelli Valerio, Savo Domenico Fabio, Evgenij Thorstensen
Mapping Repair in Ontology-based Data Access Evolving Systems. IJCAI 2017: 1160-1166
Catarci Tiziana, Scannapieco Monica, Console Marco, Demetrescu Camil
My (Fair) Big Data. 2017 IEEE International Conference on Big Data (Big Data 2017) 2017: 2974-2979
DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Rosati Riccardo, Ruzzi Marco, Savo Domenico Fabio, Santarelli Valerio
OBDA Systems. 2017: -
Console M., Guagliardo P., Libkin L.
On querying incomplete information in databases under bag semantics. IJCAI International Joint Conference on Artificial Intelligence 2017: 993-999
De Giacomo Giuseppe, Maggi Fabrizio Maria, Marrella Andrea, Patrizi Fabio
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 Franci... 2017: 3555-3561
Cima Gianluca, DE GIACOMO Giuseppe, Lenzerini Maurizio, Poggi Antonella
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: -
Cima Gianluca, DE GIACOMO Giuseppe, Lenzerini Maurizio, Poggi Antonella
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime. Proceedings of the 25th Italian Symposium on Advanced Database Systems 2017: 172-179
Cima Gianluca, Lenzerini Maurizio, Poggi Antonella
Semantic technology for open data publishing. Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics 2017: -
2016
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
A Higher-Order Semantics for Metaquerying in OWL 2 QL. Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) 2016: 577-580
De Giacomo Giuseppe, Gerevini Alfonso, Patrizi Fabio, Saetti Alessandro, Sardina Sebastian
Agent planning programs. ARTIFICIAL INTELLIGENCE 2016: 64-106
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
Answering metaqueries over Hi(OWL 2 QL) ontologies. IJCAI 2016: 1174-1180
Lembo Domenico, Rosati Riccardo, Santarelli Valerio, Savo Domenico Fabio, Thorstensen Evgenij
Approaching OBDA Evolution through Mapping Repair. DL 2016 International Workshop on Description Logics. Proceedings of the 29th International Workshop on Description Logics 2016: -
Console M., Guagliardo P., Libkin L.
Approximations and refinements of certain answers via many-valued logics. Proc. Int. Workshop Tempor. Represent. Reason. 2016: 349-358
De Giacomo Giuseppe, Lespérance Yves, Patrizi Fabio
Bounded situation calculus action theories. ARTIFICIAL INTELLIGENCE 2016: 172-203
Console M.
Data accuracy as knowledge in ontology based data access (preliminary report). CEUR Workshop Proceedings 2016: -
Lembo Domenico, Pantaleone Daniele, Santarelli Valerio, Savo Domenico Fabio
Easy OWL Drawing with the Graphol Visual Ontology Language. KR'16 Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning 2016: 573-576
Lembo Domenico, Pantaleone Daniele, Santarelli Valerio, Savo Domenico Fabio
Eddy: A Graphical Editor for OWL 2 Ontologies. IJCAI 2016: 4252-4253
Dumas Marlon, Hull Richard, Patrizi Fabio
Guest editorial: special issue on data and artifact-centric business processes. COMPUTING 2016: 343-344
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
On First-Order μ-Calculus over Situation Calculus Action Theories. Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 2016: 411-420
Poggi Antonella
On the SPARQL Direct Semantics Entailment Regime for OWL 2 QL. Proceedings of the 29th International Workshop on Description Logics (DL 2016) 2016: -
Calvanese Diego, Montali Marco, Patrizi Fabio, Stawowy Michele
Plan Synthesis for Knowledge and Action Bases. IJCAI 2016: 1022-1029
DE GIACOMO Giuseppe, Lesperance Y., Patrizi Fabio, Vassos Stavros
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. STUDIA LOGICA 2016: 705-739
Calvanese Diego, Montali Marco, Patrizi Fabio, Stawowy Michele
Synthesizing and executing plans in Knowledge and Action Bases. Proceedings of the 29th International Workshop on Description Logics. DL 2016 2016: -
Ferrara Andrea, Liberatore Paolo, Schaerf Marco
The size of BDDs and other data structures in temporal logics model checking. IEEE TRANSACTIONS ON COMPUTERS 2016: 3148-3156
DE GIACOMO Giuseppe, Lesṕerance Yves, Patrizi Fabio, Sardina Sebastian
Verifying congolog programs on bounded situation calculus theories. AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence 2016: 950-956
2015
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
A higher-order semantics for OWL 2 QL ontologies (Extended abstract). Proceedings of the 28th International Workshop on Description Logics 2015: -
Liberatore Paolo
Belief merging by examples. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2015: 1-38
Calvanese Diego, DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Rosati Riccardo
Data Complexity of Query Answering in Description Logics. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015. 2015: 4163-4167
Calvanese Diego, Montali Marco, Patrizi Fabio, DE GIACOMO Giuseppe
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 2015: 4247-4253
Calvanese Diego, Montali Marco, Patrizi Fabio, Rivkin Andrey
Implementing data-centric dynamic systems over a relational DBMS. Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management. AMW 2015 2015: 209-212
GAGGL SARAH A., MANTHEY NORBERT, RONCA ALESSANDRO, WALLNER JOHANNES P., WOLTRAN STEFAN
Improved Answer-Set Programming Encodings for Abstract Argumentation. THEORY AND PRACTICE OF LOGIC PROGRAMMING 2015: 434-448
Lembo Domenico, Mora Jose, Rosati Riccardo, Savo Domenico Fabio, Thorstensen Evgenij
Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity. The Semantic Web - ISWC 2015 2015: 217-234
Lembo Domenico, Mora José, Rosati Riccardo, Savo Domenico Fabio, Thorstensen Evgenij
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract). Proceedings of the 28th International Workshop on Description Logics. DL 2015 2015: -
Liberatore Paolo, Schaerf Marco
On the complexity of second-best abductive explanations. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2015: 22-31
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
Rethinking punning: a new semantics for OWL 2 QL. Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 2015: -
Liberatore Paolo
Revision by History. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2015: 287-329
DE GIACOMO Giuseppe, Ntouskos Valsamis, Patrizi Fabio, Vassos Stavros, Aversa Davide
Service Composition with PDDL Representations and Visualization over Videogame Engines. 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) 2015: 101-107
Lembo Domenico, Faber Wolfgang
Web Reasoning and Rule Systems. SEMANTIC WEB 2015: 425-426
2014
Patrizi Fabio, Vassos Stavros
Action theories over generalized databases with equality constraints. Proc. of KR 2014 2014: 650-652
Patrizi F., Vassos S.
Action theories over generalized databases with equality constraints. Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. 2014: 472-485
DE GIACOMO Giuseppe, Ntouskos Valsamis, Patrizi Fabio, Vassos Stavros, Aversa Davide
Agent Behavior Composition in Virtual Environments Realized Using Game Engines. Proceedings of the 2014 Workshop on AI Problems and Approaches for Intelligent Environments 2014: -
DE GIACOMO Giuseppe, Mecella Massimo, Patrizi Fabio
Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214
DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardiña
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 2014: -
Console Marco, Lenzerini Maurizio
Data Quality in Ontology-based Data Access: The Case of Consistency. Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence 2014: 1020-1026
Console Marco, José Mora, Rosati Riccardo, Santarelli Valerio, Savo Domenico Fabio
Effective Computation of Maximal Sound Approximations of Description Logic Ontologies. The Semantic Web - (ISWC) 2014 - 13th International Semantic Web Conference 2014: 164-179
Console Marco, Lembo Domenico, Santarelli Valerio, Savo Domenico Fabio
Graphical Representation of OWL 2 Ontologies through Graphol. Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, October 21, 2014. CEUR-WS.org 2014 CEUR Workshop Proceedings 2014: 73-76
Console Marco, Lembo Domenico, Santarelli Valerio, Savo Domenico Fabio
Graphol: Ontology Representation through Diagrams. Informal Proceedings of the 27th International Workshop on Description Logics 2014: ---
DE GIACOMO Giuseppe, Yves Lespérance, Patrizi Fabio, Vassos Stavros
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI 2014 - 21st European Conference on Artificial Intelligence 2014: 369-374
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
Making Metaquerying Practical for Hi(DL-Lite R)-Knowledge Bases. Proceedings of the "On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences" 2014: 580-596
Antonioli Natalia, Castanò Francesco, Coletta Spartaco, Grossi Stefano, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Virardi Emanuela, Castracane Patrizia
Ontology-based Data Management for the Italian Public Debt. Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014 2014: 372-385
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
Practical higher-order query answering over Hi(DL-LiteR) knowledge bases. CEUR Workshop Proceedings 2014: 608-619
DE GIACOMO Giuseppe, Y. Lespérance, Patrizi Fabio, Vassos Stavros
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 2014: 141-148
Console Marco, Lenzerini Maurizio
Reducing global consistency to local consistency in Ontology-based Data Access. ECAI 2014 - 21st European Conference on Artificial Intelligence 2014: 219-224
Console M., Lenzerini M.
Reducing global consistency to local consistency in ontology-based data access. DL 2014 27th International Workshop on Description Logics 2014: 496-499
Lomuscio A., Nepal S., Patrizi F., Benatallah B., Brandic I.
Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. 2014: v-vi
Russo Alessandro, Mecella Massimo, Marco Montali, Patrizi Fabio
Towards a reference implementation for Data Centric Dynamic Systems. Lecture Notes in Business Information Processing, Business Process Management Workshops 2014: 141-154
Lembo Domenico, José Mora, Rosati Riccardo, Savo Domenico Fabio, Evgenij Thorstensen
Towards Mapping Analysis in Ontology-Based Data Access. Web Reasoning and Rule Systems - 8th International Conference (RR) 2014: 108-123
Belardinelli Francesco, Lomuscio Alessio, Patrizi Fabio
Verification of agent-based artifact systems. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2014: 333-376
2013
VASSOS STAVROS, PATRIZI FABIO
A classification of first-order progressable action theories in situation calculus. IJCAIProceedings of the 23rd International Joint Conference on Artificial Intelligence 2013: 1132-1138
Lembo Domenico, Santarelli Valerio, Savo Domenico Fabio
A graph-based approach for classifying OWL 2 QL ontologies. Informal Proceedings of the 26th International Workshop on Description Logics 2013: 747-759
DE GIACOMO Giuseppe, Patrizi Fabio, Sardina Sebastian
Automatic behavior composition synthesis. ARTIFICIAL INTELLIGENCE 2013: 106-142
DE GIACOMO Giuseppe, Yves Lesperance, Patrizi Fabio
Bounded epistemic situation calculus theories. Proceedings of the 23rd International Joint Conference on Artificial Intelligence 2013: 846-853
Diego Calvanese, DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Rosati Riccardo
Data complexity of query answering in description logics. ARTIFICIAL INTELLIGENCE 2013: 335-360
Diego Calvanese, DE GIACOMO Giuseppe, M. Montali, Patrizi Fabio
Dynamic Systems based on Description Logics: Formalization, verification, and synthesis. CEUR WORKSHOP PROCEEDINGSProceedings of the 26th International Workshop on Description Logics 2013: 573-586
Console Marco, Santarelli Valerio, Savo Domenico Fabio
Efficient approximation in DL-Lite of OWL 2 ontologies. Description Logics 2013: 132-143
PATRIZI FABIO, N. Lipovetzky, H. Geffner
Fair LTL synthesis for non-deterministic systems using strong cyclic planners. IJCAIProceedings of the 23rd International Joint Conference on Artificial Intelligence 2013: 2343-2349
Console Marco, Santarelli Valerio, Savo Domenico Fabio
From OWL to DL-Lite through efficient ontology approximation. Web Reasoning and Rule Systems 2013: 229-234
Lembo Domenico, Santarelli Valerio, Savo Domenico Fabio
Graph-based ontology classification in OWL 2 QL. The Semantic Web: Semantics and Big Data - 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings 2013: 320-334
Russo Alessandro, Mecella Massimo, Patrizi Fabio, Marco Montali
Implementing and running data-centric dynamic systems. 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications 2013: 225-232
Civili Cristina, Console Marco, Lembo Domenico, Lepore Lorenzo, Mancini Riccardo, Poggi Antonella, Santarelli Valerio, Savo Domenico Fabio, Ruzzi Marco
Civili Cristina, Console Marco, DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Lepore Lorenzo, Mancini Riccardo, Poggi Antonella, Rosati Riccardo, Ruzzi Marco, Santarelli Valerio, Savo Domenico Fabio
MASTRO STUDIO: Managing ontology-based data access applications. PROCEEDINGS OF THE VLDB ENDOWMENT 2013: 1314-1317
E. Kharlamov, M. Giese, E. Jiménez Ruiz, M. G. Skjæveland, A. Soylu, D. Zheleznyakov, T. Bagosi, Console Marco, P. Haase, I. Horrocks, S. Marciuska, C. Pinkel, M. Rodriguez Muro, M. Ruzzi, Santarelli Valerio, Savo Domenico Fabio, K. Sengupta, M. Schmidt, E. Thorstensen, J. Trame, A. Waaler
Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. International Semantic Web Conference (Posters & Demos) 2013: 65-68
Console Marco, Lenzerini Maurizio, Mancini Riccardo, Rosati Riccardo, Ruzzi Marco
Synthesizing extensional constraints in Ontology-based Data Access. Description Logics 2013: 628-639
Diego Calvanese, De Giacomo Giuseppe, Marco Montali, Patrizi Fabio
Verification and synthesis in description logic based dynamic systems. LECTURE NOTES IN COMPUTER SCIENCEProceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013 2013: 50-64
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
Verification and synthesis in description logic based dynamic systems (abridged version). CEUR Workshop Proceedings 2013: 71-80
Wolfgang Faber, Lembo Domenico
Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings. LECTURE NOTES IN COMPUTER SCIENCEWeb Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings 2013: -
2012
Patrizi Fabio
F. Belardinelli, A. Lomuscio, Patrizi Fabio
An abstraction technique for the verification of artifact-centric systems. Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 2012: 319-328
Leonetti Matteo, Iocchi Luca, Patrizi Fabio
Automatic generation and learning of finite-state controllers. Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012 2012: 135-144
DE GIACOMO Giuseppe, Yves Lesperance, Patrizi Fabio
Bounded situation calculus action theories (Extended abstract). Proc. of the 8th International Cognitive Robotics Workshop 2012: 16-23
DE GIACOMO Giuseppe, Yves Lesperance, Patrizi Fabio
Bounded situation calculus action theories and decidable verification. Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012: 467-477
Lembo Domenico, Lenzerini Maurizio, Rosati Riccardo, Ruzzi Marco, Savo Domenico Fabio
Inconsistency-tolerant first-order rewritability of DL-lite with identification and denial assertions. Proceedings of the 2012 International Workshop on Description Logics, DL-2012 2012: 257-267
DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Rosati Riccardo, Ruzzi Marco, Savo Domenico Fabio
Mastro: A reasoner for effective ontology-based data access. Proceedings of the OWL Reasoner Evaluation Workshop (ORE 2012) 2012: -
DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Rosati Riccardo, Ruzzi Marco, Savo Domenico Fabio
Mastro: Ontology-based data access at work (extended abstract). Proc. of 11th Int. Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE'12) 2012: 667-668
Cali A., Console M., Frosini R.
On separability of ontological constraints. CEUR Workshop Proceedings 2012: 48-61
Yevgeny Kazakov, Lembo Domenico, Frank Wolter
Francesco Belardinelli, Alessio Lomuscio, PATRIZI FABIO
Verification of GSM-based artifact-centric systems through finite abstraction. Service-Oriented Computing 2012: 17-31
2011
Francesco Belardinelli, Alessio Lomuscio, PATRIZI FABIO
A computationally-grounded semantics for artifact-centric systems and abstraction results. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) 2011: 738-743
Alfonso Gerevini, PATRIZI FABIO, Alessandro Saetti
An effective approach to realizing planning programs. Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS 2011) 2011: 323-326
Patrizi Fabio, Lipovetzky Nir, DE GIACOMO Giuseppe, Hector Geffner
Computing infinite plans for LTL goals using a classical planner. Proceedings of the 22nd International Joint Conference on Artificial Intelligence 2011: 2003-2008
Lembo Domenico, Lenzerini Maurizio, Rosati Riccardo, Ruzzi Marco, Savo Domenico Fabio
Query rewriting for inconsistent DL-lite ontologies. Proceedings of the fifth International Conference on Web Reasoning and Rule Systems (RR 2011) 2011: 155-169
Francesco Belardinelli, Alessio Lomuscio, Patrizi Fabio
Verification of deployed artifact systems via data abstraction. Service Oriented Computing 2011: 142-156
Sebastian Sardina, Patrizi Fabio
Visiting Researcher's Award. 2011: -
2010
DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardina
Agent programming via planning programs. Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) 2010: 491-498
DE GIACOMO Giuseppe, PATRIZI FABIO
Automated composition of nondeterministic stateful services. Proceedings the 6th Int. Workshop on Web Services and Formal Methods (WS-FM'09) 2010: 147-160
DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardina
Generalized Planning with Loops under Strong Fairness Constraints. Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) 2010: -
DE MASELLIS Riccardo, DI CICCIO Claudio, Mecella Massimo, Patrizi Fabio
Smart home planning programs. Proc. of ICSSSM'10 2010: 377-382
DE GIACOMO Giuseppe, Felli Paolo, Patrizi Fabio, Sardina Sebastian
Two-player game structures for generalized planning and agent composition. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010) 2010: 297-302
2009
Baldoni Roberto, DI CICCIO Claudio, Mecella Massimo, Patrizi Fabio, Querzoni Leonardo, Santucci Giuseppe, Cincotti Febo, Aloise Fabio
An Embedded Middleware Platform for Pervasive and Immersive Environments for-All. Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Network (SECON 2009) 2009: 161-163
Patrizi Fabio, DE GIACOMO Giuseppe
Composition of Services that Share an Infinite-State Blackboard (Extended Abstract). Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09), 2009. 2009: -
Diego Calvanese, DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Mariano Rodriguez Muro, Rosati Riccardo
Ontologies and databases: The dl-lite approach. Reasoning Web. Semantic Technologies for Information Systems 2009: 255-356
DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardina
Solving High-Level Planning Programs (Extended Abstract). ICAPS'09 Workshop on Generalized Planning: Macros, Loops, Domain Control (GenPlan'09) 2009: 1-4
C. Corona, E. D. Pasquale, Poggi Antonella, Ruzzi Marco, Savo Domenico Fabio
When DL-Lite met OWL.... OWLED 2009: -
2008
D. CALVANESE D, DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Rosati Riccardo, Ruzzi Marco
Data Integration through DL-LiteA Ontologies. Semantics in Data and Knowledge Bases, Third International Workshop, Revised Selected Papers 2008: 26-47
Poggi Antonella, Lembo Domenico, Diego Calvanese, DE GIACOMO Giuseppe, Lenzerini Maurizio, Rosati Riccardo
Linking data to ontologies. JOURNAL ON DATA SEMANTICSJournal on Data Semantics X 2008: 133-173
Corona Claudio, Emma Di Pasquale, Poggi Antonella, Ruzzi Marco, Savo Domenico Fabio
When OWL met DL-Lite.... Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008) 2008: -
2007
DE GIACOMO Giuseppe, Lenzerini Maurizio, Poggi Antonella, Rosati Riccardo
On the approximation of instance level update and erasure in description logics. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007) 2007: 403-408