Home » Pubblicazioni Gruppo » 18312, 18320

Pubblicazioni del gruppo di ricerca Artificial Intelligence and Knowledge Representation

2024

Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Savo Domenico Fabio
Andolfi Luca, Cima Gianluca, Console Marco, Lenzerini Maurizio
What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases. Proceedings of the AAAI Conference on Artificial Intelligence 2024: 10442-10449

2023

Trapasso Alessandro, Santilli Sofia, Iocchi Luca, Patrizi Fabio
A formalization of multi-agent planning with explicit agent representation. SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing 2023: 816-823

Cima G., Console M., Lenzerini M., Poggi A.
A review of data abstraction. FRONTIERS IN ARTIFICIAL INTELLIGENCE 2023: -

De Giacomo G., Fuggitti F., Maggi F. M., Marrella A., Patrizi F.
Martinez Lorenzo Abelardo Carlos, Huguet Cabot Pere Lluís, Navigli Roberto
AMRs Assemble! Learning to Ensemble with Autoregressive Models for AMR Parsing. Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers) 2023: 1595-1605

Purificato Antonio, Navigli Roberto
APatt at SemEval-2023 Task 3: The Sapienza NLP System for Ensemble-based Multilingual Propaganda Detection. Proceedings of the The 17th International Workshop on Semantic Evaluation (SemEval-2023) 2023: -

Bienvenu M., Cima G., Gutierrez-Basulto V., Ibanez-Garcia Y.
Combining Global and Local Merges in Logic-based Entity Resolution. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 2023: 742-746

Martinez Lorenzo Abelardo Carlos, Huguet Cabot Pere Lluís, Navigli Roberto
Cross-lingual AMR Aligner: Paying Attention to Cross-Attention. Findings of the Association for Computational Linguistics: ACL 2023 2023: 1726-1742

Bonatti Piero, Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Sauro Luigi, Fabio Savo Domenico
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). Proceedings of the 36th International Workshop on Description Logics (DL 2023) 2023: -

Scirè Alessandro, Conia Simone, Ciciliano Simone, Navigli Roberto
Echoes from Alexandria: A Large Resource for Multilingual Book Summarization. Findings of the Association for Computational Linguistics: ACL 2023 2023: -

Procopio Luigi, Conia Simone, Barba Edoardo, Navigli Roberto
Entity Disambiguation with Entity Definitions. Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics 2023: -

Cima G., Console M., Lenzerini M., Poggi A.
Epistemic Disjunctive Datalog for Querying Knowledge Bases. Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023 2023: 6280-6288

Cipollone R., De Giacomo G., Favorito M., Iocchi L., Patrizi F.
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 2023: 7227-7234

Orlando Riccardo, Conia Simone, Navigli Roberto
Exploring Non-Verbal Predicates in Semantic Role Labeling: Challenges and Opportunities. Findings of the Association for Computational Linguistics: ACL 2023 2023: -

Vasylenko Pavlo, Huguet Cabot Pere Lluís, Martinez Lorenzo Abelardo Carlos, Navigli Roberto
Incorporating Graph Information in Transformer-based AMR Parsing. Findings of the Association for Computational Linguistics: ACL 2023 2023: 1995-2011

De Giacomo G., Fried D., Patrizi F., Zhu S.
Mimicking Behaviors in Separated Domains. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023: 1087-1112

Felli P., Montali M., Patrizi F., Winkler S.
Monitoring Arithmetic Temporal Properties on Finite Traces. Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 2023: 6346-6354

Bienvenu M., Cima G., Gutierrez-Basulto V.
HUGUET CABOT PERE-LLUIS, Tedeschi Simone, Ngonga Ngomo Axel-Cyrille, Navigli Roberto
REDFM: a Filtered and Multilingual Relation Extraction Dataset. Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) 2023: -

Bienvenu M., Cima G., Gutierrez-Basulto V.
REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing. Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023 2023: 3132-3139

Gaillard Pierre, Patrizi Fabio, Perelli Giuseppe
Strategy Repair in Reachability Games. European Conference on Artificial Intelligence 2023: 780-787

Cima G, Poggi A, Lenzerini M
The notion of Abstraction in Ontology-based Data Management. ARTIFICIAL INTELLIGENCE 2023: 103976-

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: -

Bonatti Piero, Cima Gianluca, Lembo Domenico, Marconi Lorenzo, Rosati Riccardo, Sauro Luigi, Savo Domenico Fabio
Cima Gianluca, Console Marco, Lenzerini Maurizio, Poggi Antonella
Investigating Monotone Abstractions. Proceedings of the 30th Italian Symposium on Advanced Database Systems 2022: 522-529

Bienvenu M., Cima Gianluca, Gutierrez-Basulto V.
LACE: A Logical Approach to Collective Entity Resolution. Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems 2022: 379-391

Cecconi Alessio, De Giacomo Giuseppe, Di Ciccio Claudio, Maggi Fabrizio Maria, Mendling Jan
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

Console M., Guagliardo P., Libkin L.
De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.
De Giacomo G., Felli P., Logan B., Patrizi F., Sardiña S.
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 2022: 5722-5726

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
Brunori Damiano, Colonnese Stefania, Cuomo Francesca, Flore Giovanna, Iocchi Luca
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
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
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
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.
Xiao Shengping, Li Jianwen, Zhu Shufang, Shi Yingying, Pu Geguang, Vardi Moshe Y.
Bevilacqua Michele, Blloshmi Rexhina, Navigli Roberto
Cima Gianluca, Lembo Domenico, Rosati Riccardo, Fabio Savo Domenico
Privacy Preserving Query Answering in Description Logics Through Instance Indistinguishability (Discussion Paper). Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD 2021 2021: -

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
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
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

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
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. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence 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, 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
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
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 Seventeenth 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. ISWC 2020 Posters, 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
Bouyer Patricia, Kupferman Orna, Markey Nicolas, Maubert Bastien, Murano Aniello, Perelli Giuseppe
Abd Alrahman Yehia, Perelli Giuseppe, Piterman Nir
Giacomo De, Favorito Marco, Iocchi Luca, Patrizi Fabio
Restraining Bolts for Reinforcement Learning Agents. AAAI 2020 - 34th 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
Tan J. T. C., Iocchi L., Eguchi A., Okada H.
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.
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.
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
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
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
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
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

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
Dumas Marlon, Hull Richard, Patrizi Fabio
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
DE GIACOMO Giuseppe, Lesperance Y., Patrizi Fabio, Vassos Stavros
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
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
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 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

Patrizi Fabio, Vassos Stavros
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
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
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
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
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
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

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

Francesco Belardinelli, Alessio Lomuscio, PATRIZI FABIO

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

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

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma