Pubblicazioni del gruppo di ricerca Artificial Intelligence and Knowledge Representation

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

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

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

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

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. 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
Bouyer Patricia, Kupferman Orna, Markey Nicolas, Maubert Bastien, Murano Aniello, Perelli Giuseppe
Reasoning about Quality and Fuzziness of Strategic Behaviour. 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 2020: 2887-2888

Abd Alrahman Yehia, Perelli Giuseppe, Piterman Nir
Reconfigurable Interaction for MAS Modelling. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems 2020: 7-15

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

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

Deutsch Alin, Hull RICHARD BAXTER, Patrizi Fabio, Vianu: Victor
ICDT Test of Time Award. Automatic verification of data-centric business processes. 2019: -

Calvanese D., Montali M., Patrizi F., Rivkin A.
Modeling and In-Database Management of Relational, Data-Aware Processes. Advanced Information Systems Engineering 2019: 328-345

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

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

2016

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

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

2015

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

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

Lembo Domenico, Faber Wolfgang
Web Reasoning and Rule Systems. SEMANTIC WEB 2015: 425-426

2014

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

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

2013

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

Diego Calvanese, DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Rosati Riccardo
Data complexity of query answering in description logics. ARTIFICIAL INTELLIGENCE 2013: 335-360

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

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

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

2011

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

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