Francesco M. Donini

According to our database, Francesco M. Donini authored at least 167 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Computing the Commonalities of Clusters in Resource Description Framework: Computational Aspects.

Simona Colucci, Francesco Maria Donini, Eugenio Di Sciascio

Data, October, 2024

A qualitative analysis of knowledge graphs in recommendation scenarios through semantics-aware autoencoders.

Vito Bellini, Eugenio Di Sciascio, Francesco Maria Donini, Claudio Pomo, Azzurra Ragone, Angelo Schiavone

J. Intell. Inf. Syst., June, 2024

A review of reasoning characteristics of RDF-based Semantic Web systems.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

WIREs Data. Mining. Knowl. Discov., 2024

Explaining Commonalities of Clusters of RDF Resources in Natural Language.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the Foundations of Intelligent Systems - 27th International Symposium, 2024

2023

Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS).

Vito Walter Anelli, Pierpaolo Basile, Gerard de Melo, Francesco M. Donini, Antonio Ferrara, Cataldo Musto, Fedelucio Narducci, Azzurra Ragone, Markus Zanker

Proceedings of the 17th ACM Conference on Recommender Systems, 2023

On the Relevance of Explanation for RDF Resources Similarity.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the Model-Driven Organizational and Business Agility, 2023

Irrelevant Explanations: a Logical Formalization and a Case Study.

Simona Colucci, Tommaso Di Noia, Francesco M. Donini, Claudio Pomo, Eugenio Di Sciascio

Proceedings of the 4th Italian Workshop on Explainable Artificial Intelligence co-located with 22nd International Conference of the Italian Association for Artificial Intelligence(AIxIA 2023), 2023

2022

Conversational recommendation: Theoretical model and complexity analysis.

Tommaso Di Noia, Francesco Maria Donini, Dietmar Jannach, Fedelucio Narducci, Claudio Pomo

Inf. Sci., 2022

The Challenging Reproducibility Task in Recommender Systems Research between Traditional and Deep Learning Models.

Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco M. Donini, Eugenio Di Sciascio, Tommaso Di Noia

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Fourth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS).

Vito Walter Anelli, Pierpaolo Basile, Gerard de Melo, Francesco Maria Donini, Antonio Ferrara, Cataldo Musto, Fedelucio Narducci, Azzurra Ragone, Markus Zanker

Proceedings of the RecSys '22: Sixteenth ACM Conference on Recommender Systems, Seattle, WA, USA, September 18, 2022

A Business Intelligence Tool for Explaining Similarity.

Simona Colucci, Francesco M. Donini, Nicola Iurilli, Eugenio Di Sciascio

Proceedings of the Model-Driven Organizational and Business Agility, 2022

Multi-encoder U-Net for Oral Squamous Cell Carcinoma Image Segmentation.

Andrea Pennisi, Domenico Daniele Bloisi, Daniele Nardi, Silvia Varricchio, Francesco M. Donini

Proceedings of the IEEE International Symposium on Medical Measurements and Applications, 2022

An Analysis of Local Explanation with LIME-RS.

Vito Walter Anelli, Alejandro Bellogín, Tommaso Di Noia, Francesco Maria Donini, Vincenzo Paparella, Claudio Pomo

Proceedings of the 12th Italian Information Retrieval Workshop 2022, 2022

Towards a theoretical formalization of conversational recommendation.

Tommaso Di Noia, Francesco Maria Donini, Dietmar Jannach, Fedelucio Narducci, Claudio Pomo

Proceedings of the CIKM 2022 Workshops co-located with 31st ACM International Conference on Information and Knowledge Management (CIKM 2022), 2022

A Human-readable Explanation for the Similarity of RDF Resources.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the 3rd Italian Workshop on Explainable Artificial Intelligence co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022

2021

Report on the 3rd workshop of knowledge-aware and conversational recommender systems (KARS/ComplexRec) at RecSys 2021.

Vito Walter Anelli, Pierpaolo Basile, Toine Bogers, Tommaso Di Noia, Francesco Maria Donini, Bamshad Mobasher, Cataldo Musto, Fedelucio Narducci, Casper Petersen, Maria Soledad Pera, Markus Zanker

SIGIR Forum, 2021

Adherence and Constancy in LIME-RS Explanations for Recommendation.

Vito Walter Anelli, Alejandro Bellogín, Tommaso Di Noia, Francesco Maria Donini, Vincenzo Paparella, Claudio Pomo

CoRR, 2021

Elliot: A Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation.

Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco Maria Donini, Tommaso Di Noia

Proceedings of the SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2021

Adherence and Constancy in LIME-RS Explanations for Recommendation (Long paper).

Vito Walter Anelli, Alejandro Bellogín, Tommaso Di Noia, Francesco Maria Donini, Vincenzo Paparella, Claudio Pomo

Proceedings of the Joint Workshop Proceedings of the 3rd Edition of Knowledge-aware and Conversational Recommender Systems (KaRS) and the 5th Edition of Recommendation in Complex Environments (ComplexRec) co-located with 15th ACM Conference on Recommender Systems (RecSys 2021), 2021

Third Knowledge-aware and Conversational Recommender Systems Workshop (KaRS).

Vito Walter Anelli, Pierpaolo Basile, Tommaso Di Noia, Francesco M. Donini, Cataldo Musto, Fedelucio Narducci, Markus Zanker

Proceedings of the RecSys '21: Fifteenth ACM Conference on Recommender Systems, Amsterdam, The Netherlands, 27 September 2021, 2021

V-Elliot: Design, Evaluate and Tune Visual Recommender Systems.

Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco Maria Donini, Tommaso Di Noia

Proceedings of the RecSys '21: Fifteenth ACM Conference on Recommender Systems, Amsterdam, The Netherlands, 27 September 2021, 2021

How to Perform Reproducible Experiments in the ELLIOT Recommendation Framework: Data Processing, Model Selection, and Performance Evaluation.

Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco Maria Donini, Eugenio Di Sciascio, Tommaso Di Noia

Proceedings of the 11th Italian Information Retrieval Workshop 2021, 2021

Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems.

Giandomenico Cornacchia, Francesco M. Donini, Fedelucio Narducci, Claudio Pomo, Azzurra Ragone

Proceedings of the Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28, 2021

2019

Checking compliance of semantic web applications with RDFS-semantics.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

Internet Technol. Lett., 2019

2017

Logical comparison over RDF resources in bio-informatics.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

J. Biomed. Informatics, 2017

Formal model for user-centred adaptive mobile devices.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Francesco Nocera

IET Softw., 2017

Embedding semantics in human resources management automation via SQL.

Eufemia Tinelli, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio, Silvia Giannini

Appl. Intell., 2017

Reasoning over RDF Knowledge Bases: Where We Are.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Defining and computing Least Common Subsumers in RDF.

Simona Colucci, Francesco M. Donini, Silvia Giannini, Eugenio Di Sciascio

J. Web Semant., 2016

2015

A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data.

Silvia Giannini, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

A deductive approach to the identification and description of clusters in Linked Open Data.

Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Finding Commonalities in Linked Open Data.

Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

Compiling subsumption to relational databases.

Eufemia Tinelli, Francesco M. Donini, Eugenio Di Sciascio

Intelligenza Artificiale, 2013

Knowledge Compilation for Core Competence Extraction in Organizations.

Simona Colucci, Eufemia Tinelli, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Business Information Systems - 16th International Conference, 2013

Common Subsumbers in RDF.

Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

Knowledge compilation for automated Team Composition exploiting standard SQL.

Eufemia Tinelli, Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the ACM Symposium on Applied Computing, 2012

Large Scale Skill Matching through Knowledge Compilation.

Eufemia Tinelli, Simona Colucci, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Foundations of Intelligent Systems - 20th International Symposium, 2012

Inverting Subsumption for Constructive Reasoning.

Simona Colucci, Francesco M. Donini

Proceedings of the 2012 International Workshop on Description Logics, 2012

Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics.

Simona Colucci, Francesco M. Donini

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Description Logic-Based Resource Retrieval.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011

Finding Commonalities in RFID Semantic Streams.

Michele Ruta, Simona Colucci, Floriano Scioscia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 2nd International Conference on Ambient Systems, 2011

Automating competence management through non-standard reasoning.

Simona Colucci, Eufemia Tinelli, Eugenio Di Sciascio, Francesco M. Donini

Eng. Appl. Artif. Intell., 2011

Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases.

Eufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

A Unified Framework for Non-standard Reasoning Services in Description Logics.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone

Proceedings of the ECAI 2010, 2010

Second-Order Description Logics: Semantics, Motivation, and a Calculus.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Fuzzy matchmaking in e-marketplaces of peer entities using Datalog.

Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Fuzzy Sets Syst., 2009

Weighted Description Logics Preference Formulas for Multiattribute Negotiation.

Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman

Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics.

Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

Proceedings of the IJCAI 2009, 2009

I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL.

Eufemia Tinelli, Antonio Cascone, Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the ICEIS 2009, 2009

Computing Information Minimal Match Explanations for Logic-Based Matchmaking.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces.

Azzurra Ragone, Michele Ruta, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the E-Commerce and Web Technologies, 10th International Conference, 2009

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Computing Utility from Weighted Description Logic Preference Formulas.

Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

2008

Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Michele Ruta, Floriano Scioscia, Eufemia Tinelli

Int. J. Semantic Web Inf. Syst., 2008

Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Auton. Agents Multi Agent Syst., 2008

Semantic-based Automated Evaluation of Company Core Competence.

Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli

Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces.

Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Towards a Fuzzy Logic for Automated Multi-issue Negotiation.

Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Partial and Informative Common Subsumers in Description Logics.

Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli

Proceedings of the ECAI 2008, 2008

Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.

Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Partial and Informative Common Subsumers of Concepts Collections in Description Logics.

Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Finding informative commonalities in concept collections.

Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli

Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008

2007

Semantic based collaborative P2P in ubiquitous computing.

Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Web Intell. Agent Syst., 2007

Automated building blocks selection based on business processes semantics in ERPs.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli, Francesco di Cugno, Azzurra Ragone

Serv. Oriented Comput. Appl., 2007

Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci, Francesco Colasuonno

Int. J. Web Serv. Res., 2007

Semantic-based Skill Management for Automated Task Assignment and Courseware Composition.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone

J. Univers. Comput. Sci., 2007

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

J. Artif. Intell. Res., 2007

Introduction to the Special Issue: Semantic Matchmaking and Resource Retrieval on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Tommaso Di Noia

Int. J. Electron. Commer., 2007

Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Semantic Web, 2007

Extending Datalog for Matchmaking in P2P E-Marketplaces.

Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces.

Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Semantic Web: Research and Applications, 2007

DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Declarative Agent Languages and Technologies V, 2007

When price is not enough: combining logical and numerical issues in bilateral negotiation.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Propositional-logic approach to one-shot multi issue bilateral negotiation.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

SIGecom Exch., 2006

Semantic-enhanced Bluetooth discovery protocol for m-commerce applications.

Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Int. J. Web Grid Serv., 2006

OwlEd: An Ontology Manager for MaMaS-tng.

Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto

Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Editorial message: semantic-based resource discovery, retrieval and composition track.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A framework for content-based image retrieval fully exploiting the semantics of annotation.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco di Cugno, Eufemia Tinelli, Francesco M. Donini

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Explanation Services and Request Refinement in User Friendly Semantic-Enabled B2C E-Marketplaces.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi

Proceedings of the Data Engineering Issues in E-Commerce and Services, 2006

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3.

Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi

Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce, 2006

2005

A Model Checking-based Method for Verifying Web Application Design.

Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Electron. Commer. Res. Appl., 2005

Automated semantic web services orchestration via concept covering.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci

Proceedings of the 14th international conference on World Wide Web, 2005

Semantic Based Collaborative P2P in Ubiquitous Computing.

Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli

Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics.

Simona Colucci, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto, Azzurra Ragone

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Knowledge based approach to semantic composition of teams in an organization.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Stefano Coppi

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Ontology-Based Natural Language Parser for E-Marketplaces.

Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Fully Automated Web Services Orchestration in a Resource Retrieval Scenario.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Design Verification of Web Applications Using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia

Proceedings of the Web Engineering, 5th International Conference, 2005

Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone

Proceedings of the Semantic Web: Research and Applications, 2005

Knowledge elicitation for query refinement in a semantic-enabled e-marketplace.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone

Proceedings of the 7th International Conference on Electronic Commerce, 2005

2004

Retrieval by spatial similarity: an algorithm and a comparative evaluation .

Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini, L. Allegretti

Pattern Recognit. Lett., 2004

A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Multim. Tools Appl., 2004

Semantic-based Approach to Task Assignment of Individual Profiles.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli

J. Univers. Comput. Sci., 2004

A System for Principled Matchmaking in an Electronic Marketplace.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Int. J. Electron. Commer., 2004

A knowledge based system for content-based retrieval of Scalable Vector Graphics documents.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Logic-Based Approach for Matching User Profiles.

Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

An Agency for Semantic-Based Automatic Discovery of Web Services.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli, Gianvito Rossi

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Extending Semantic-Based Matchmaking via Concept Abduction and Contraction.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

A Description Logic Based Approach for Matching User Profiles.

Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola

J. Univers. Comput. Sci., 2003

Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Semantic Matchmaking in a P-2-P Electronic Marketplace.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Abductive Matchmaking using Description Logics.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the IJCAI-03, 2003

Complexity of Reasoning.

Francesco M. Donini

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Concept Abduction and Contraction in Description Logics.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Web Applications Design and Maintenance Using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli

Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002

Description logics of minimal knowledge and negation as failure.

Francesco M. Donini, Daniele Nardi, Riccardo Rosati

ACM Trans. Comput. Log., 2002

Spatial layout representation for query-by-sketch content-based image retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Pattern Recognit. Lett., 2002

Structured Knowledge Representation for Image Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

J. Artif. Intell. Res., 2002

Using Computation Tree Logic for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Int. J. Comput. Intell. Appl., 2002

Preprocessing of Intractable Problems.

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Inf. Comput., 2002

k-Approximating Circuits

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Electron. Colloquium Comput. Complex., 2002

AnWeb: a system for automatic support to web application verification.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Solving QBF by SMV.

Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

I-Search: A System for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2000

Space Efficiency of Propositional Knowledge Representation Formalisms.

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

J. Artif. Intell. Res., 2000

EXPTIME tableaux for ALC.

Francesco M. Donini, Fabio Massacci

Artif. Intell., 2000

Semantic Indexing for Image Retrieval Using Description Logics.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the Advances in Visual Information Systems, 4th International Conference, 2000

Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison.

Fabio Massacci, Francesco M. Donini

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Verification Programs for Abduction.

Paolo Liberatore, Francesco M. Donini

Proceedings of the ECAI 2000, 2000

1999

The Size of a Revised Knowledge Base.

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Artif. Intell., 1999

Description Logics for Image Recognition: a preliminary proposal.

Eugenio Di Sciascio, Francesco M. Donini

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes.

Emilio Domenicucci, Francesco M. Donini, Marco Schaerf

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A Description Logic for Image Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

AL-log: Integrating Datalog and Description Logics.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf

J. Intell. Inf. Syst., 1998

An Epistemic Operator for Description Logics.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf

Artif. Intell., 1998

A Refined Architecture for Terminological Systems: Terminology = Schema + Views.

Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf

Artif. Intell., 1998

Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis.

Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo

Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

DL-based Support to Domain Engineering.

Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997

On Compact Representations of Propositional Circumscription.

Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri

Theor. Comput. Sci., 1997

Ground Nonmonotonic Modal Logics.

Francesco M. Donini, Daniele Nardi, Riccardo Rosati

J. Log. Comput., 1997

The Complexity of Concept Languages.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt

Inf. Comput., 1997

A Survey on Knowledge Compilation.

Marco Cadoli, Francesco M. Donini

AI Commun., 1997

Autoepistemic Description Logics.

Francesco M. Donini, Daniele Nardi, Riccardo Rosati

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

A Description Logic for reasoning with behavioural knowledge.

Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo

Proceedings of the 1997 International Workshop on Description Logics, 1997

Reasoning with Behavioural Knowledge in Application Domain Models.

Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996

Is Intractability of Nonmonotonic Reasoning a Real Drawback?

Marco Cadoli, Francesco M. Donini, Marco Schaerf

Artif. Intell., 1996

Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

A Uniform Tableaux Method for Nonmonotonic Modal Logics.

Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Feasibility and Unfeasibility of Off-Line Processing.

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

Exptime Tableaux for ALC.

Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci

Proceedings of the 1996 International Workshop on Description Logics, 1996

1995

Ground Nonmonotonic Modal Logics for Knowledge Representation.

Francesco M. Donini, Daniele Nardi, Riccardo Rosati

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

On Compact Representations of Propositional Circumscription.

Marco Cadoli, Francesco M. Donini, Marco Schaerf

Proceedings of the STACS 95, 1995

Non-first-order features in concept languages.

Francesco M. Donini, Daniele Nardi, Riccardo Rosati

Proceedings of the Topics in Artificial Intelligence, 1995

1994

Deduction in Concept Languages: From Subsumption to Instance Checking.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf

J. Log. Comput., 1994

Terminological Systems Revisited: Terminology = Schema + Views.

Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf

Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994

Is Intractability of Non-Monotonic Reasoning a Real Drawback?

Marco Cadoli, Francesco M. Donini, Marco Schaerf

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Refining the Structure of Terminological Systems: Terminology = Schema + Views.

Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Decidable Reasoning in Terminological Knowledge Representation Systems.

Martin Buchheit, Francesco M. Donini, Andrea Schaerf

J. Artif. Intell. Res., 1993

1992

The Complexity of Existential Quantification in Concept Languages.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela

Artif. Intell., 1992

Adding Epistemic Operators to Concept Languages.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf

Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991

Tractable Concept Languages.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

The Complexity of Concept Languages (Extended Abstract).

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt

Proceedings of the International Workshop on Terminological Logics 1991, 1991

A Hybrid System with Datalog and Concept Languages.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Nonmonotonic reasoning.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, Marco Schaerf

Artif. Intell. Rev., 1990

Using Terminological Reasoning in Hybrid Systems.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi

AI Commun., 1990

An Efficient Method for Hybrid Deduction.

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988

TermLog: a Logic for Terminological Knowledge.

Francesco M. Donini, Maurizio Lenzerini

Proceedings of the Methodologies for Intelligent Systems, 1988