Pubblicazioni del gruppo di ricerca Artificial Intelligence and Knowledge Representation
2022
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: 103598-
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
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
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
Agostinelli S., Bergami G., Fiorenza A., Maggi F. M., Marrella A., Patrizi F.
Discovering Declarative Process Model Behavior from Event Logs via Model Learning. Proceedings - 2021 3rd International Conference on Process Mining, ICPM 2021 2021: 48-55
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
Gutierrez Juilan, Murano Aniello, Perelli Giuseppe, Rubin Sasha, Steeples Thomas, Wooldridge Michael
Equilibria for Games with Combined Qualitative and Quantitative Objects. ACTA INFORMATICA 2021: -
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: 551-574
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: -
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 2021: 101920-
Gutierrez J., Perelli G., Wooldridge M.
Multi-player games with LDL goals over finite traces. INFORMATION AND COMPUTATION 2021: -
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, Savo Domenico Fabio
Controlled Query Evaluation in Ontology-Based Data Access. The Semantic Web - ISWC 2020 - 19th International Semantic Web Conference 2020: 128-146
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
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 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. 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
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. 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. 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
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
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.
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. IJCAI 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
Xiao Guohui, Calvanese Diego, Kontchakov Roman, Lembo Domenico, Poggi Antonella, Rosati Riccardo, Zakharyaschev Michael
Ontology-Based Data Access: A Survey. IJCAI 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
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
Eddy: A Graphical Editor for OWL 2 Ontologies. IJCAI 2016: 4252-4253
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
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: -
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
Yevgeny Kazakov, Lembo Domenico, Frank Wolter
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