TermLog: a Logic for Terminological Knowledge. - Francesco M. Donini; Maurizio Lenzerini (ISMIS, 1988)

An Efficient Method for Hybrid Deduction. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi (ECAI, 1990)

Using Terminological Reasoning in Hybrid Systems. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi (AI Commun., 1990)

Nonmonotonic reasoning. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Fiora Pirri; Marco Schaerf (Artif. Intell. Rev., 1990)

A Hybrid System with Datalog and Concept Languages. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Andrea Schaerf (AI*IA, 1991)

Tractable Concept Languages. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt (Description Logics, 1991)

The Complexity of Concept Languages (Extended Abstract). - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt (Description Logics, 1991)

The Complexity of Concept Languages. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt (KR, 1991)

Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt; Andrea Schaerf (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

Adding Epistemic Operators to Concept Languages. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Andrea Schaerf; Werner Nutt (KR, 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)

Decidable Reasoning in Terminological Knowledge Representation Systems. - Martin Buchheit; Francesco M. Donini; Andrea Schaerf (IJCAI, 1993)

Refining the Structure of Terminological Systems: Terminology = Schema + Views. - Martin Buchheit; Werner Nutt; Francesco M. Donini; Andrea Schaerf (AAAI, 1994)

Is Intractability of Non-Monotonic Reasoning a Real Drawback? - Marco Cadoli; Francesco M. Donini; Marco Schaerf (AAAI, 1994)

Terminological Systems Revisited: Terminology = Schema + Views. - Martin Buchheit; Francesco M. Donini; Werner Nutt; Andrea Schaerf (KRDB, 1994)

Deduction in Concept Languages: From Subsumption to Instance Checking. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Andrea Schaerf (J. Log. Comput., 1994)

Non-first-order features in concept languages. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (AI*IA, 1995)

The Size of a Revised Knowledge Base. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (PODS, 1995)

On Compact Representations of Propositional Circumscription. - Marco Cadoli; Francesco M. Donini; Marco Schaerf (STACS, 1995)

Ground Nonmonotonic Modal Logics for Knowledge Representation. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (WOCFAI, 1995)

Exptime Tableaux for ALC. - Giuseppe De Giacomo; Francesco M. Donini; Fabio Massacci (Description Logics, 1996)

Feasibility and Unfeasibility of Off-Line Processing. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (ISTCS, 1996)

A Uniform Tableaux Method for Nonmonotonic Modal Logics. - Francesco M. Donini; Fabio Massacci; Daniele Nardi; Riccardo Rosati 001 (JELIA, 1996)

Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (KR, 1996)

Is Intractability of Nonmonotonic Reasoning a Real Drawback? - Marco Cadoli; Francesco M. Donini; Marco Schaerf (Artif. Intell., 1996)

Reasoning with Behavioural Knowledge in Application Domain Models. - Ernesto Compatangelo; Francesco M. Donini; Giovanni Rumolo (AI*IA, 1997)

A Description Logic for reasoning with behavioural knowledge. - Ernesto Compatangelo; Francesco M. Donini; Giovanni Rumolo (Description Logics, 1997)

Autoepistemic Description Logics. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (IJCAI (1), 1997)

A Survey on Knowledge Compilation. - Marco Cadoli; Francesco M. Donini (AI Commun., 1997)

Ground Nonmonotonic Modal Logics. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (J. Log. Comput., 1997)

On Compact Representations of Propositional Circumscription. - Marco Cadoli; Francesco M. Donini; Marco Schaerf; Riccardo Silvestri (Theor. Comput. Sci., 1997)

DL-based Support to Domain Engineering. - Ernesto Compatangelo; Francesco M. Donini; Giovanni Rumolo (Description Logics, 1998)

Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. - Ernesto Compatangelo; Francesco M. Donini; Giovanni Rumolo (EJC, 1998)

A Refined Architecture for Terminological Systems: Terminology = Schema + Views. - Martin Buchheit; Francesco M. Donini; Werner Nutt; Andrea Schaerf (Artif. Intell., 1998)

An Epistemic Operator for Description Logics. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt; Andrea Schaerf (Artif. Intell., 1998)

AL-log: Integrating Datalog and Description Logics. - Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Andrea Schaerf (J. Intell. Inf. Syst., 1998)

A Description Logic for Image Retrieval. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (AI*IA, 1999)

ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. - Emilio Domenicucci; Francesco M. Donini; Marco Schaerf (Description Logics, 1999)

Description Logics for Image Recognition: a preliminary proposal. - Eugenio Di Sciascio; Francesco M. Donini (Description Logics, 1999)

Verification Programs for Abduction. - Paolo Liberatore; Francesco M. Donini (ECAI, 2000)

Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. - Fabio Massacci; Francesco M. Donini (TABLEAUX, 2000)

Semantic Indexing for Image Retrieval Using Description Logics. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (VISUAL, 2000)

EXPTIME tableaux for ALC. - Francesco M. Donini; Fabio Massacci (Artif. Intell., 2000)

Space Efficiency of Propositional Knowledge Representation Formalisms. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (J. Artif. Intell. Res., 2000)

I-Search: A System for Intelligent Information Search on the Web. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (ISMIS, 2002)

Solving QBF by SMV. - Francesco M. Donini; Paolo Liberatore; Fabio Massacci; Marco Schaerf (KR, 2002)

AnWeb: a system for automatic support to web application verification. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello; Giacomo Piscitelli (SEKE, 2002)

Preprocessing of Intractable Problems. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (Inf. Comput., 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)

Structured Knowledge Representation for Image Retrieval. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (J. Artif. Intell. Res., 2002)

Spatial layout representation for query-by-sketch content-based image retrieval. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (Pattern Recognit. Lett., 2002)

Description logics of minimal knowledge and negation as failure. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (ACM Trans. Comput. Log., 2002)

Web Applications Design and Maintenance Using Symbolic Model Checking. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello; Giacomo Piscitelli (CSMR, 2003)

Concept Abduction and Contraction in Description Logics. - Simona Colucci; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (Description Logics, 2003)

Complexity of Reasoning. - Francesco M. Donini (Description Logic Handbook, 2003)

Abductive Matchmaking using Description Logics. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (IJCAI, 2003)

Semantic Matchmaking in a P-2-P Electronic Marketplace. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (SAC, 2003)

A system for principled matchmaking in an electronic marketplace. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (WWW, 2003)

Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (WWW (Posters), 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)

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; Marina Mongiello; Francesco M. Donini (ICEC, 2004)

A Description Logic Based Approach for Matching User Profiles. - Andrea Calì; Diego Calvanese; Simona Colucci; Tommaso Di Noia; Francesco M. Donini (Description Logics, 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 (Description Logics, 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 (ECAI, 2004)

Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (EKAW, 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 (AIAI, 2004)

A Logic-Based Approach for Matching User Profiles. - Andrea Calì; Diego Calvanese; Simona Colucci; Tommaso Di Noia; Francesco M. Donini (KES, 2004)

A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (SAC, 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 Logic for SVG Documents Query and Retrieval. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (Multim. Tools Appl., 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)

Knowledge elicitation for query refinement in a semantic-enabled e-marketplace. - Simona Colucci; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Azzurra Ragone (ICEC, 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 (ESWC, 2005)

Design Verification of Web Applications Using Symbolic Model Checking. - Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello; Rodolfo Totaro; Daniela Castelluccia (ICWE, 2005)

Fully Automated Web Services Orchestration in a Resource Retrieval Scenario. - Azzurra Ragone; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Simona Colucci (ICWS, 2005)

Ontology-Based Natural Language Parser for E-Marketplaces. - Stefano Coppi; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Agnese Pinto (IEA/AIE, 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 (SAC, 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 (SEBD, 2005)

Semantic Based Collaborative P2P in Ubiquitous Computing. - Michele Ruta; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Giacomo Piscitelli (Web Intelligence, 2005)

Automated semantic web services orchestration via concept covering. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Azzurra Ragone; Simona Colucci (WWW (Special interest tracks and posters), 2005)

A Model Checking-based Method for Verifying Web Application Design. - Francesco M. Donini; Marina Mongiello; Michele Ruta; Rodolfo Totaro (WLFM@FM, 2005)

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 (ICEC, 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 (CSMR, 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 (DEECS, 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 (ECAI, 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 (SAC, 2006)

Editorial message: semantic-based resource discovery, retrieval and composition track. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (SAC, 2006)

OwlEd: An Ontology Manager for MaMaS-tng. - Francesco di Cugno; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Agnese Pinto (SEBD, 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)

Propositional-logic approach to one-shot multi issue bilateral negotiation. - Azzurra Ragone; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (SIGecom Exch., 2006)

k-Approximating Circuits. - Marco Cadoli; Francesco M. Donini; Paolo Liberatore; Marco Schaerf (IEEE Trans. Computers, 2006)

Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. - Azzurra Ragone; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (AAAI, 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 (AAMAS, 2007)

Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. - Azzurra Ragone; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (DALT, 2007)

DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. - Azzurra Ragone; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (Description Logics, 2007)

Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces. - Azzurra Ragone; Umberto Straccia; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (ESWC, 2007)

Extending Datalog for Matchmaking in P2P E-Marketplaces. - Azzurra Ragone; Umberto Straccia; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (SEBD, 2007)

Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces. - Azzurra Ragone; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (ISWC/ASWC, 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)

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (J. Artif. Intell. 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)

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)

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)

Semantic based collaborative P2P in ubiquitous computing. - Michele Ruta; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (Web Intell. Agent Syst., 2007)

Finding informative commonalities in concept collections. - Simona Colucci; Eugenio Di Sciascio; Francesco M. Donini; Eufemia Tinelli (CIKM, 2008)

Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. - Azzurra Ragone; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (DALT, 2008)

Partial and Informative Common Subsumers of Concepts Collections in Description Logics. - Simona Colucci; Eugenio Di Sciascio; Francesco M. Donini (Description Logics, 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 (Description Logics, 2008)

Partial and Informative Common Subsumers in Description Logics. - Simona Colucci; Eugenio Di Sciascio; Francesco M. Donini; Eufemia Tinelli (ECAI, 2008)

Towards a Fuzzy Logic for Automated Multi-issue Negotiation. - Azzurra Ragone; Umberto Straccia; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (FoIKS, 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 (SEBD, 2008)

Semantic-based Automated Evaluation of Company Core Competence. - Simona Colucci; Eugenio Di Sciascio; Francesco M. Donini; Eufemia Tinelli (SWAP, 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 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)

Computing Utility from Weighted Description Logic Preference Formulas. - Azzurra Ragone; Tommaso Di Noia; Francesco M. Donini; Eugenio Di Sciascio; Michael P. Wellman (DALT, 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 (Description Logics, 2009)

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (Description Logics, 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 (EC-Web, 2009)

Computing Information Minimal Match Explanations for Logic-Based Matchmaking. - Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini (IAT, 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 (ICEIS (2), 2009)

Weighted Description Logics Preference Formulas for Multiattribute Negotiation. - Azzurra Ragone; Tommaso Di Noia; Francesco M. Donini; Eugenio Di Sciascio; Michael P. Wellman (SUM, 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)

Second-Order Description Logics: Semantics, Motivation, and a Calculus. - Simona Colucci; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Azzurra Ragone (Description Logics, 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 (ECAI, 2010)

Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases. - Eufemia Tinelli; Francesco M. Donini; Michele Ruta; Eugenio Di Sciascio (Description Logics, 2011)

Automating competence management through non-standard reasoning. - Simona Colucci; Eufemia Tinelli; Eugenio Di Sciascio; Francesco M. Donini (Eng. Appl. Artif. Intell., 2011)

Finding Commonalities in RFID Semantic Streams. - Michele Ruta; Simona Colucci; Floriano Scioscia; Eugenio Di Sciascio; Francesco M. Donini (ANT/MobiWIS, 2011)

Description Logic-Based Resource Retrieval. - Simona Colucci; Tommaso Di Noia; Eugenio Di Sciascio; Francesco M. Donini; Marina Mongiello (Encyclopedia of Knowledge Management, 2011)

Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. - Simona Colucci; Francesco M. Donini (CILC, 2012)

Inverting Subsumption for Constructive Reasoning. - Simona Colucci; Francesco M. Donini (Description Logics, 2012)

Large Scale Skill Matching through Knowledge Compilation. - Eufemia Tinelli; Simona Colucci; Silvia Giannini 001; Eugenio Di Sciascio; Francesco M. Donini (ISMIS, 2012)

Knowledge compilation for automated Team Composition exploiting standard SQL. - Eufemia Tinelli; Simona Colucci; Eugenio Di Sciascio; Francesco M. Donini (SAC, 2012)

Common Subsumbers in RDF. - Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (AI*IA, 2013)

Knowledge Compilation for Core Competence Extraction in Organizations. - Simona Colucci; Eufemia Tinelli; Silvia Giannini 001; Eugenio Di Sciascio; Francesco M. Donini (BIS, 2013)

Compiling subsumption to relational databases. - Eufemia Tinelli; Francesco M. Donini; Eugenio Di Sciascio (Intelligenza Artificiale, 2013)

Finding Commonalities in Linked Open Data. - Simona Colucci; Silvia Giannini 001; Francesco M. Donini; Eugenio Di Sciascio (CILC, 2014)

A deductive approach to the identification and description of clusters in Linked Open Data. - Simona Colucci; Silvia Giannini 001; Francesco M. Donini; Eugenio Di Sciascio (ECAI, 2014)

A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data. - Silvia Giannini 001; Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (AI*IA, 2015)

Defining and computing Least Common Subsumers in RDF. - Simona Colucci; Francesco M. Donini; Silvia Giannini 001; Eugenio Di Sciascio (J. Web Semant., 2016)

Reasoning over RDF Knowledge Bases: Where We Are. - Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (AI*IA, 2017)

Embedding semantics in human resources management automation via SQL. - Eufemia Tinelli; Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio; Silvia Giannini 001 (Appl. Intell., 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)

Logical comparison over RDF resources in bio-informatics. - Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (J. Biomed. Informatics, 2017)

Checking compliance of semantic web applications with RDFS-semantics. - Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (Internet Technol. Lett., 2019)

Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems. - Giandomenico Cornacchia; Francesco M. Donini; Fedelucio Narducci; Claudio Pomo; Azzurra Ragone (CAiSE Workshops, 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 001; Daniele Malitesta; Felice Antonio Merra; Claudio Pomo; Francesco Maria Donini; Eugenio Di Sciascio; Tommaso Di Noia (IIR, 2021)

V-Elliot: Design, Evaluate and Tune Visual Recommender Systems. - Vito Walter Anelli; Alejandro Bellogín; Antonio Ferrara 001; Daniele Malitesta; Felice Antonio Merra; Claudio Pomo; Francesco Maria Donini; Tommaso Di Noia (RecSys, 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 (RecSys, 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 (KaRS/ComplexRec@RecSys, 2021)

Elliot: A Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation. - Vito Walter Anelli; Alejandro Bellogín; Antonio Ferrara 001; Daniele Malitesta; Felice Antonio Merra; Claudio Pomo; Francesco Maria Donini; Tommaso Di Noia (SIGIR, 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)

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)

A Human-readable Explanation for the Similarity of RDF Resources. - Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (XAI.it@AI*IA, 2022)

Towards a theoretical formalization of conversational recommendation. - Tommaso Di Noia; Francesco Maria Donini; Dietmar Jannach; Fedelucio Narducci; Claudio Pomo (CIKM Workshops, 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 (IIR, 2022)

Multi-encoder U-Net for Oral Squamous Cell Carcinoma Image Segmentation. - Andrea Pennisi; Domenico Daniele Bloisi; Daniele Nardi; Silvia Varricchio; Francesco M. Donini (MeMeA, 2022)

A Business Intelligence Tool for Explaining Similarity. - Simona Colucci; Francesco M. Donini; Nicola Iurilli; Eugenio Di Sciascio (MOBA, 2022)

Fourth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS). - Vito Walter Anelli; Pierpaolo Basile; Gerard de Melo; Francesco Maria Donini; Antonio Ferrara 001; Cataldo Musto; Fedelucio Narducci; Azzurra Ragone; Markus Zanker (RecSys, 2022)

The Challenging Reproducibility Task in Recommender Systems Research between Traditional and Deep Learning Models. - Vito Walter Anelli; Alejandro Bellogín; Antonio Ferrara 001; Daniele Malitesta; Felice Antonio Merra; Claudio Pomo; Francesco M. Donini; Eugenio Di Sciascio; Tommaso Di Noia (SEBD, 2022)

Conversational recommendation: Theoretical model and complexity analysis. - Tommaso Di Noia; Francesco Maria Donini; Dietmar Jannach; Fedelucio Narducci; Claudio Pomo (Inf. Sci., 2022)

Irrelevant Explanations: a Logical Formalization and a Case Study. - Simona Colucci; Tommaso Di Noia; Francesco M. Donini; Claudio Pomo; Eugenio Di Sciascio (XAI.it@AI*IA, 2023)

On the Relevance of Explanation for RDF Resources Similarity. - Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (MOBA, 2023)

Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS). - Vito Walter Anelli; Pierpaolo Basile; Gerard de Melo; Francesco M. Donini; Antonio Ferrara 001; Cataldo Musto; Fedelucio Narducci; Azzurra Ragone; Markus Zanker (RecSys, 2023)

Explaining Commonalities of Clusters of RDF Resources in Natural Language. - Simona Colucci; Francesco M. Donini; Eugenio Di Sciascio (ISMIS, 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)

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., 2024)

Computing the Commonalities of Clusters in Resource Description Framework: Computational Aspects. - Simona Colucci; Francesco Maria Donini; Eugenio Di Sciascio (Data, 2024)

LISE: a Logic-based Interactive Similarity Explainery. - Simona Colucci; Francesco Maria Donini; Verdiana Schena (SeWeBMeDA@ESWC, 2025)

LISE: A Logic-Based Interactive Similarity Explainer for Clusters of RDF Data. - Simona Colucci; Francesco Maria Donini; Verdiana Schena; Floriano Scioscia; Eugenio Di Sciascio (IEEE Access, 2025)