Francesco M. Donini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
20
Active years
1988–2024
Best venue rank
A*
Where they publish
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISMIS | Explaining Commonalities of Clusters of RDF Resources in Natural Language. | Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio |
| 2023 | RecSys | 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 |
| 2021 | CaiSE | Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems. | Giandomenico Cornacchia, Francesco M. Donini, Fedelucio Narducci, Claudio Pomo, Azzurra Ragone |
| 2021 | RecSys | 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 |
| 2014 | ECAI | A deductive approach to the identification and description of clusters in Linked Open Data. | Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio |
| 2012 | ISMIS | Large Scale Skill Matching through Knowledge Compilation. | Eufemia Tinelli, Simona Colucci, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini |
| 2012 | SAC | Knowledge compilation for automated Team Composition exploiting standard SQL. | Eufemia Tinelli, Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini |
| 2010 | ECAI | A Unified Framework for Non-standard Reasoning Services in Description Logics. | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone |
| 2009 | IJCAI | A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. | Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio |
| 2008 | CIKM | Finding informative commonalities in concept collections. | Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli |
| 2008 | ECAI | Partial and Informative Common Subsumers in Description Logics. | Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli |
| 2007 | AAAI | Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
| 2006 | ECAI | A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation. | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
| 2006 | SAC | 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 |
| 2006 | SAC | Editorial message: semantic-based resource discovery, retrieval and composition track. | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
| 2005 | ICWE | Design Verification of Web Applications Using Symbolic Model Checking. | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia |
| 2005 | ICWS | Fully Automated Web Services Orchestration in a Resource Retrieval Scenario. | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci |
| 2005 | WWW | Automated semantic web services orchestration via concept covering. | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci |
| 2005 | SAC | 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 |
| 2004 | ECAI | 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 |
| 2004 | EKAW | Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
| 2004 | KES | A Logic-Based Approach for Matching User Profiles. | Andrea Cal, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini |
| 2004 | SAC | A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
| 2003 | IJCAI | Abductive Matchmaking using Description Logics. | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
| 2003 | WWW | A system for principled matchmaking in an electronic marketplace. | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
| 2003 | WWW | Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
| 2003 | SAC | Semantic Matchmaking in a P-2-P Electronic Marketplace. | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
| 2002 | ISMIS | I-Search: A System for Intelligent Information Search on the Web. | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
| 2002 | KR | Solving QBF by SMV. | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
| 2002 | SEKE | AnWeb: a system for automatic support to web application verification. | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli |
| 2000 | ECAI | Verification Programs for Abduction. | Paolo Liberatore, Francesco M. Donini |
| 2000 | TABLEAUX | Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. | Fabio Massacci, Francesco M. Donini |
| 1998 | EJC | Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. | Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo |
| 1997 | IJCAI | Autoepistemic Description Logics. | Francesco M. Donini, Daniele Nardi, Riccardo Rosati |
| 1996 | JELIA | A Uniform Tableaux Method for Nonmonotonic Modal Logics. | Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati |
| 1996 | KR | Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1995 | PODS | The Size of a Revised Knowledge Base. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1995 | STACS | On Compact Representations of Propositional Circumscription. | Marco Cadoli, Francesco M. Donini, Marco Schaerf |
| 1994 | AAAI | Refining the Structure of Terminological Systems: Terminology = Schema + Views. | Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf |
| 1994 | AAAI | Is Intractability of Non-Monotonic Reasoning a Real Drawback? | Marco Cadoli, Francesco M. Donini, Marco Schaerf |
| 1993 | IJCAI | Decidable Reasoning in Terminological Knowledge Representation Systems. | Martin Buchheit, Francesco M. Donini, Andrea Schaerf |
| 1992 | ECAI | Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf |
| 1992 | KR | Adding Epistemic Operators to Concept Languages. | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt |
| 1991 | IJCAI | Tractable Concept Languages. | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt |
| 1991 | KR | The Complexity of Concept Languages. | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt |
| 1990 | ECAI | An Efficient Method for Hybrid Deduction. | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi |
| 1988 | ISMIS | TermLog: a Logic for Terminological Knowledge. | Francesco M. Donini, Maurizio Lenzerini |