default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancesco M. Donini
Francesco Maria Donini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j49]Vito Bellini, Eugenio Di Sciascio, Francesco Maria Donini
, Claudio Pomo, Azzurra Ragone, Angelo Schiavone:
A qualitative analysis of knowledge graphs in recommendation scenarios through semantics-aware autoencoders. J. Intell. Inf. Syst. 62(3): 787-807 (2024)- [c120]Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
Explaining Commonalities of Clusters of RDF Resources in Natural Language. ISMIS 2024: 160-169 - 2023
- [c119]Simona Colucci, Tommaso Di Noia, Francesco M. Donini, Claudio Pomo, Eugenio Di Sciascio:
Irrelevant Explanations: a Logical Formalization and a Case Study. XAI.it@AI*IA 2023: 67-75 - [c118]Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
On the Relevance of Explanation for RDF Resources Similarity. MOBA 2023: 96-107 - [c117]Vito Walter Anelli, Pierpaolo Basile, Gerard de Melo, Francesco M. Donini, Antonio Ferrara, Cataldo Musto, Fedelucio Narducci, Azzurra Ragone, Markus Zanker:
Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS). RecSys 2023: 1259-1262 - [e4]Vito Walter Anelli, Pierpaolo Basile, Gerard de Melo, Francesco Maria Donini, Antonio Ferrara, Cataldo Musto, Fedelucio Narducci, Azzurra Ragone, Markus Zanker:
Proceedings of the Fifth Knowledge-aware and Conversational Recommender Systems Workshop co-located with 17th ACM Conference on Recommender Systems (RecSys 2023), Singapore, September 19th, 2023. CEUR Workshop Proceedings 3560, CEUR-WS.org 2023 [contents] - 2022
- [j48]Tommaso Di Noia, Francesco Maria Donini, Dietmar Jannach, Fedelucio Narducci, Claudio Pomo:
Conversational recommendation: Theoretical model and complexity analysis. Inf. Sci. 614: 325-347 (2022) - [c116]Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
A Human-readable Explanation for the Similarity of RDF Resources. XAI.it@AI*IA 2022: 88-103 - [c115]Tommaso Di Noia, Francesco Maria Donini, Dietmar Jannach, Fedelucio Narducci, Claudio Pomo:
Towards a theoretical formalization of conversational recommendation. CIKM Workshops 2022 - [c114]Vito Walter Anelli, Alejandro Bellogín, Tommaso Di Noia, Francesco Maria Donini, Vincenzo Paparella, Claudio Pomo:
An Analysis of Local Explanation with LIME-RS. IIR 2022 - [c113]Andrea Pennisi, Domenico Daniele Bloisi, Daniele Nardi, Silvia Varricchio, Francesco M. Donini:
Multi-encoder U-Net for Oral Squamous Cell Carcinoma Image Segmentation. MeMeA 2022: 1-6 - [c112]Simona Colucci, Francesco M. Donini, Nicola Iurilli, Eugenio Di Sciascio:
A Business Intelligence Tool for Explaining Similarity. MOBA 2022: 50-64 - [c111]Vito Walter Anelli, Pierpaolo Basile, Gerard de Melo, Francesco Maria Donini, Antonio Ferrara, Cataldo Musto, Fedelucio Narducci, Azzurra Ragone, Markus Zanker:
Fourth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS). RecSys 2022: 663-666 - [c110]Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco M. Donini, Eugenio Di Sciascio, Tommaso Di Noia:
The Challenging Reproducibility Task in Recommender Systems Research between Traditional and Deep Learning Models. SEBD 2022: 514-521 - [e3]Vito Walter Anelli, Pierpaolo Basile, Gerard de Melo, Francesco Maria Donini, Antonio Ferrara, Cataldo Musto, Fedelucio Narducci, Azzurra Ragone, Markus Zanker:
Proceedings of the Fourth Knowledge-aware and Conversational Recommender Systems Workshop co-located with 16th ACM Conference on Recommender Systems (RecSys 2022), Seattle, WA, USA, September 22nd, 2022. CEUR Workshop Proceedings 3294, CEUR-WS.org 2022 [contents] - 2021
- [j47]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:
Report on the 3rd workshop of knowledge-aware and conversational recommender systems (KARS/ComplexRec) at RecSys 2021. SIGIR Forum 55(2): 17:1-17:9 (2021) - [c109]Giandomenico Cornacchia, Francesco M. Donini, Fedelucio Narducci, Claudio Pomo, Azzurra Ragone:
Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems. CAiSE Workshops 2021: 39-47 - [c108]Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco Maria Donini, Eugenio Di Sciascio, Tommaso Di Noia:
How to Perform Reproducible Experiments in the ELLIOT Recommendation Framework: Data Processing, Model Selection, and Performance Evaluation. IIR 2021 - [c107]Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco Maria Donini, Tommaso Di Noia:
V-Elliot: Design, Evaluate and Tune Visual Recommender Systems. RecSys 2021: 768-771 - [c106]Vito Walter Anelli, Pierpaolo Basile, Tommaso Di Noia, Francesco M. Donini, Cataldo Musto, Fedelucio Narducci, Markus Zanker:
Third Knowledge-aware and Conversational Recommender Systems Workshop (KaRS). RecSys 2021: 806-809 - [c105]Vito Walter Anelli, Alejandro Bellogín, Tommaso Di Noia, Francesco Maria Donini, Vincenzo Paparella, Claudio Pomo:
Adherence and Constancy in LIME-RS Explanations for Recommendation (Long paper). KaRS/ComplexRec@RecSys 2021 - [c104]Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco Maria Donini, Tommaso Di Noia:
Elliot: A Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation. SIGIR 2021: 2405-2414 - [e2]Vito Walter Anelli, Pierpaolo Basile, Tommaso Di Noia, Francesco Maria Donini, Cataldo Musto, Fedelucio Narducci, Markus Zanker, Himan Abdollahpouri, Toine Bogers, Bamshad Mobasher, Casper Petersen, Maria Soledad Pera:
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), Virtual Event, Amsterdam, The Netherlands, September 25, 2021. CEUR Workshop Proceedings 2960, CEUR-WS.org 2021 [contents] - [i8]Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco M. Donini, Tommaso Di Noia:
Elliot: a Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation. CoRR abs/2103.02590 (2021) - [i7]Vito Walter Anelli, Alejandro Bellogín, Tommaso Di Noia, Francesco Maria Donini, Vincenzo Paparella, Claudio Pomo:
Adherence and Constancy in LIME-RS Explanations for Recommendation. CoRR abs/2109.00818 (2021) - [i6]Tommaso Di Noia, Francesco M. Donini, Dietmar Jannach, Fedelucio Narducci, Claudio Pomo:
Conversational Recommendation: Theoretical Model and Complexity Analysis. CoRR abs/2111.05578 (2021)
2010 – 2019
- 2019
- [j46]Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
Checking compliance of semantic web applications with RDFS-semantics. Internet Technol. Lett. 2(3) (2019) - 2017
- [j45]Eufemia Tinelli, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio, Silvia Giannini:
Embedding semantics in human resources management automation via SQL. Appl. Intell. 46(4): 952-982 (2017) - [j44]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Francesco Nocera:
Formal model for user-centred adaptive mobile devices. IET Softw. 11(4): 156-164 (2017) - [j43]Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
Logical comparison over RDF resources in bio-informatics. J. Biomed. Informatics 76: 87-101 (2017) - [c103]Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
Reasoning over RDF Knowledge Bases: Where We Are. AI*IA 2017: 243-255 - 2016
- [j42]Simona Colucci, Francesco M. Donini, Silvia Giannini, Eugenio Di Sciascio:
Defining and computing Least Common Subsumers in RDF. J. Web Semant. 39: 62-80 (2016) - 2015
- [c102]Silvia Giannini, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data. AI*IA 2015: 367-380 - 2014
- [c101]Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio:
Finding Commonalities in Linked Open Data. CILC 2014: 324-329 - [c100]Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio:
A deductive approach to the identification and description of clusters in Linked Open Data. ECAI 2014: 987-988 - 2013
- [j41]Eufemia Tinelli, Francesco M. Donini, Eugenio Di Sciascio:
Compiling subsumption to relational databases. Intelligenza Artificiale 7(1): 19-29 (2013) - [c99]Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio:
Common Subsumbers in RDF. AI*IA 2013: 348-359 - [c98]Simona Colucci, Eufemia Tinelli, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini:
Knowledge Compilation for Core Competence Extraction in Organizations. BIS 2013: 163-174 - 2012
- [c97]Simona Colucci, Francesco M. Donini:
Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. CILC 2012: 32-46 - [c96]Simona Colucci, Francesco M. Donini:
Inverting Subsumption for Constructive Reasoning. Description Logics 2012 - [c95]Eufemia Tinelli, Simona Colucci, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini:
Large Scale Skill Matching through Knowledge Compilation. ISMIS 2012: 192-201 - [c94]Eufemia Tinelli, Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini:
Knowledge compilation for automated Team Composition exploiting standard SQL. SAC 2012: 1680-1685 - 2011
- [j40]Simona Colucci, Eufemia Tinelli, Eugenio Di Sciascio, Francesco M. Donini:
Automating competence management through non-standard reasoning. Eng. Appl. Artif. Intell. 24(8): 1368-1384 (2011) - [c93]Eufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio:
Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases. Description Logics 2011 - [c92]Michele Ruta, Simona Colucci, Floriano Scioscia, Eugenio Di Sciascio, Francesco M. Donini:
Finding Commonalities in RFID Semantic Streams. ANT/MobiWIS 2011: 857-864 - [r1]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Description Logic-Based Resource Retrieval. Encyclopedia of Knowledge Management 2011: 185-197 - [i5]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Space Efficiency of Propositional Knowledge Representation Formalisms. CoRR abs/1106.0233 (2011) - [i4]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Structured Knowledge Representation for Image Retrieval. CoRR abs/1109.1498 (2011) - [i3]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. CoRR abs/1110.2742 (2011) - 2010
- [c91]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
Second-Order Description Logics: Semantics, Motivation, and a Calculus. Description Logics 2010 - [c90]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
A Unified Framework for Non-standard Reasoning Services in Description Logics. ECAI 2010: 479-484
2000 – 2009
- 2009
- [j39]Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog. Fuzzy Sets Syst. 160(2): 251-268 (2009) - [c89]Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman:
Computing Utility from Weighted Description Logic Preference Formulas. DALT 2009: 158-173 - [c88]Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio:
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. Description Logics 2009 - [c87]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. Description Logics 2009 - [c86]Azzurra Ragone, Michele Ruta, Eugenio Di Sciascio, Francesco M. Donini:
Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces. EC-Web 2009: 14-25 - [c85]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Computing Information Minimal Match Explanations for Logic-Based Matchmaking. IAT 2009: 411-418 - [c84]Eufemia Tinelli, Antonio Cascone, Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL. ICEIS (2) 2009: 224-229 - [c83]Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio:
A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. IJCAI 2009: 739-745 - [c82]Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman:
Weighted Description Logics Preference Formulas for Multiattribute Negotiation. SUM 2009: 193-205 - 2008
- [j38]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces. Auton. Agents Multi Agent Syst. 16(3): 249-270 (2008) - [j37]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Michele Ruta, Floriano Scioscia, Eufemia Tinelli:
Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts. Int. J. Semantic Web Inf. Syst. 4(1): 50-74 (2008) - [c81]Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli:
Finding informative commonalities in concept collections. CIKM 2008: 807-817 - [c80]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. DALT 2008: 128-142 - [c79]Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini:
Partial and Informative Common Subsumers of Concepts Collections in Description Logics. Description Logics 2008 - [c78]Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. Description Logics 2008 - [c77]Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli:
Partial and Informative Common Subsumers in Description Logics. ECAI 2008: 739-740 - [c76]Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Towards a Fuzzy Logic for Automated Multi-issue Negotiation. FoIKS 2008: 381-396 - [c75]Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces. SEBD 2008: 211-222 - [c74]Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli:
Semantic-based Automated Evaluation of Company Core Competence. SWAP 2008 - 2007
- [j36]Eugenio Di Sciascio, Francesco M. Donini, Tommaso Di Noia:
Introduction to the Special Issue: Semantic Matchmaking and Resource Retrieval on the Web. Int. J. Electron. Commer. 12(2): 5-9 (2007) - [j35]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. J. Artif. Intell. Res. 29: 269-307 (2007) - [j34]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
Semantic-based Skill Management for Automated Task Assignment and Courseware Composition. J. Univers. Comput. Sci. 13(9): 1184-1212 (2007) - [j33]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci, Francesco Colasuonno:
Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction. Int. J. Web Serv. Res. 4(3): 85-112 (2007) - [j32]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli, Francesco di Cugno, Azzurra Ragone:
Automated building blocks selection based on business processes semantics in ERPs. Serv. Oriented Comput. Appl. 1(3): 171-184 (2007) - [j31]Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Semantic based collaborative P2P in ubiquitous computing. Web Intell. Agent Syst. 5(4): 375-391 (2007) - [c73]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. AAAI 2007: 477-482 - [c72]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
When price is not enough: combining logical and numerical issues in bilateral negotiation. AAMAS 2007: 24 - [c71]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. DALT 2007: 211-226 - [c70]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. Description Logics 2007 - [c69]Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces. ESWC 2007: 414-428 - [c68]Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Extending Datalog for Matchmaking in P2P E-Marketplaces. SEBD 2007: 463-470 - [c67]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces. ISWC/ASWC 2007: 395-408 - 2006
- [j30]Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Semantic-enhanced Bluetooth discovery protocol for m-commerce applications. Int. J. Web Grid Serv. 2(4): 424-452 (2006) - [j29]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Propositional-logic approach to one-shot multi issue bilateral negotiation. SIGecom Exch. 5(5): 11-21 (2006) - [j28]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
k-Approximating Circuits. IEEE Trans. Computers 55(7): 913-917 (2006) - [c66]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi:
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces. ICEC 2006: 174-184 - [c65]Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli:
Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3. CSMR 2006: 343-346 - [c64]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi:
Explanation Services and Request Refinement in User Friendly Semantic-Enabled B2C E-Marketplaces. DEECS 2006: 13-27 - [c63]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation. ECAI 2006: 230-234 - [c62]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Editorial message: semantic-based resource discovery, retrieval and composition track. SAC 2006: 1662-1663 - [c61]Tommaso Di Noia, Eugenio Di Sciascio, Francesco di Cugno, Eufemia Tinelli, Francesco M. Donini:
A framework for content-based image retrieval fully exploiting the semantics of annotation. SAC 2006: 1709-1710 - [c60]Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto:
OwlEd: An Ontology Manager for MaMaS-tng. SEBD 2006: 175-186 - 2005
- [j27]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. Electron. Commer. Res. Appl. 4(4): 345-361 (2005) - [c59]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
Knowledge elicitation for query refinement in a semantic-enabled e-marketplace. ICEC 2005: 685-691 - [c58]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning. ESWC 2005: 633-648 - [c57]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia:
Design Verification of Web Applications Using Symbolic Model Checking. ICWE 2005: 69-74 - [c56]Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci:
Fully Automated Web Services Orchestration in a Resource Retrieval Scenario. ICWS 2005: 427-434 - [c55]Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto:
Ontology-Based Natural Language Parser for E-Marketplaces. IEA/AIE 2005: 279-289 - [c54]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Stefano Coppi:
Knowledge based approach to semantic composition of teams in an organization. SAC 2005: 1314-1319 - [c53]Simona Colucci, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto, Azzurra Ragone:
Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics. SEBD 2005: 232-239 - [c52]Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli:
Semantic Based Collaborative P2P in Ubiquitous Computing. Web Intelligence 2005: 143-149 - [c51]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci:
Automated semantic web services orchestration via concept covering. WWW (Special interest tracks and posters) 2005: 1160-1161 - [c50]Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro:
A Model Checking-based Method for Verifying Web Application Design. WLFM@FM 2005: 19-32 - 2004
- [j26]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A System for Principled Matchmaking in an Electronic Marketplace. Int. J. Electron. Commer. 8(4): 9-37 (2004) - [j25]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli:
Semantic-based Approach to Task Assignment of Individual Profiles. J. Univers. Comput. Sci. 10(6): 723-730 (2004) - [j24]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Logic for SVG Documents Query and Retrieval. Multim. Tools Appl. 24(2): 125-153 (2004) - [j23]Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini, L. Allegretti:
Retrieval by spatial similarity: an algorithm and a comparative evaluation . Pattern Recognit. Lett. 25(14): 1633-1645 (2004) - [c49]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini:
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. ICEC 2004: 41-50 - [c48]Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
A Description Logic Based Approach for Matching User Profiles. Description Logics 2004 - [c47]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN. Description Logics 2004 - [c46]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics. ECAI 2004: 975-976 - [c45]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. EKAW 2004: 307-320 - [c44]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli, Gianvito Rossi:
An Agency for Semantic-Based Automatic Discovery of Web Services. AIAI 2004: 315-328 - [c43]Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini:
A Logic-Based Approach for Matching User Profiles. KES 2004: 187-195 - [c42]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. SAC 2004: 1040-1044 - 2003
- [j22]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola:
A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions. J. Univers. Comput. Sci. 9(12): 1437-1454 (2003) - [c41]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli:
Web Applications Design and Maintenance Using Symbolic Model Checking. CSMR 2003: 63-72 - [c40]Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Concept Abduction and Contraction in Description Logics. Description Logics 2003 - [c39]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Abductive Matchmaking using Description Logics. IJCAI 2003: 337-342 - [c38]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Semantic Matchmaking in a P-2-P Electronic Marketplace. SAC 2003: 582-586 - [c37]Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A system for principled matchmaking in an electronic marketplace. WWW 2003: 321-330 - [c36]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. WWW (Posters) 2003 - [p1]Francesco M. Donini:
Complexity of Reasoning. Description Logic Handbook 2003: 96-136 - 2002
- [j21]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Preprocessing of Intractable Problems. Inf. Comput. 176(2): 89-120 (2002) - [j20]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Using Computation Tree Logic for Intelligent Information Search on the Web. Int. J. Comput. Intell. Appl. 2(3): 245-253 (2002) - [j19]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Structured Knowledge Representation for Image Retrieval. J. Artif. Intell. Res. 16: 209-257 (2002) - [j18]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Spatial layout representation for query-by-sketch content-based image retrieval. Pattern Recognit. Lett. 23(13): 1599-1612 (2002) - [j17]Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002) - [c35]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
I-Search: A System for Intelligent Information Search on the Web. ISMIS 2002: 149-157 - [c34]Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf:
Solving QBF by SMV. KR 2002: 578-592 - [c33]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli:
AnWeb: a system for automatic support to web application verification. SEKE 2002: 609-616 - [i2]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
k-Approximating Circuits. Electron. Colloquium Comput. Complex. TR02 (2002) - 2000
- [j16]Francesco M. Donini, Fabio Massacci:
EXPTIME tableaux for ALC. Artif. Intell. 124(1): 87-138 (2000) - [j15]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Space Efficiency of Propositional Knowledge Representation Formalisms. J. Artif. Intell. Res. 13: 1-31 (2000) - [c32]Paolo Liberatore, Francesco M. Donini:
Verification Programs for Abduction. ECAI 2000: 166-170 - [c31]Fabio Massacci, Francesco M. Donini:
Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000: 52-56 - [c30]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Semantic Indexing for Image Retrieval Using Description Logics. VISUAL 2000: 372-383
1990 – 1999
- 1999
- [j14]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
The Size of a Revised Knowledge Base. Artif. Intell. 115(1): 25-64 (1999) - [c29]Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Description Logic for Image Retrieval. AI*IA 1999: 13-24 - [c28]Emilio Domenicucci, Francesco M. Donini, Marco Schaerf:
ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. Description Logics 1999 - [c27]Eugenio Di Sciascio, Francesco M. Donini:
Description Logics for Image Recognition: a preliminary proposal. Description Logics 1999 - 1998
- [j13]Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf:
A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99(2): 209-260 (1998) - [j12]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf:
An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998) - [j11]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3): 227-252 (1998) - [c26]Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo:
DL-based Support to Domain Engineering. Description Logics 1998 - [c25]Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo:
Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. EJC 1998: 115-131 - 1997
- [j10]Marco Cadoli, Francesco M. Donini:
A Survey on Knowledge Compilation. AI Commun. 10(3-4): 137-150 (1997) - [j9]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997) - [j8]Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997) - [j7]Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri:
On Compact Representations of Propositional Circumscription. Theor. Comput. Sci. 182(1-2): 183-202 (1997) - [c24]Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo:
Reasoning with Behavioural Knowledge in Application Domain Models. AI*IA 1997: 367-380 - [c23]Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo:
A Description Logic for reasoning with behavioural knowledge. Description Logics 1997 - [c22]Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Autoepistemic Description Logics. IJCAI (1) 1997: 136-141 - [e1]Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset:
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France. URA-CNRS 410, 1997 [contents] - 1996
- [j6]Marco Cadoli, Francesco M. Donini, Marco Schaerf:
Is Intractability of Nonmonotonic Reasoning a Real Drawback? Artif. Intell. 88(1-2): 215-251 (1996) - [c21]Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci:
Exptime Tableaux for ALC. Description Logics 1996: 107-110 - [c20]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Feasibility and Unfeasibility of Off-Line Processing. ISTCS 1996: 100-109 - [c19]Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati:
A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103 - [c18]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. KR 1996: 364-373 - 1995
- [c17]Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Non-first-order features in concept languages. AI*IA 1995: 91-102 - [c16]Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf:
The Size of a Revised Knowledge Base. PODS 1995: 151-162 - [c15]Marco Cadoli, Francesco M. Donini, Marco Schaerf:
On Compact Representations of Propositional Circumscription. STACS 1995: 205-216 - [c14]Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144 - 1994
- [j5]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
Deduction in Concept Languages: From Subsumption to Instance Checking. J. Log. Comput. 4(4): 423-452 (1994) - [c13]Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf:
Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994: 199-204 - [c12]Marco Cadoli, Francesco M. Donini, Marco Schaerf:
Is Intractability of Non-Monotonic Reasoning a Real Drawback? AAAI 1994: 946-951 - [c11]Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf:
Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994 - 1993
- [j4]Martin Buchheit, Francesco M. Donini, Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. 1: 109-138 (1993) - [c10]Martin Buchheit, Francesco M. Donini, Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709 - [i1]Martin Buchheit, Francesco M. Donini, Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems. CoRR cs.AI/9312101 (1993) - 1992
- [j3]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela:
The Complexity of Existential Quantification in Concept Languages. Artif. Intell. 53(2-3): 309-327 (1992) - [c9]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf:
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 113-132 - [c8]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt:
Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 - 1991
- [c7]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97 - [c6]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. Description Logics 1991: 39-42 - [c5]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90 - [c4]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. IJCAI 1991: 458-465 - [c3]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages. KR 1991: 151-162 - 1990
- [j2]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi:
Using Terminological Reasoning in Hybrid Systems. AI Commun. 3(3): 128-138 (1990) - [j1]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, Marco Schaerf:
Nonmonotonic reasoning. Artif. Intell. Rev. 4(3): 163-210 (1990) - [c2]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi:
An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252
1980 – 1989
- 1988
- [c1]Francesco M. Donini, Maurizio Lenzerini:
TermLog: a Logic for Terminological Knowledge. ISMIS 1988: 408-417
Coauthor Index
[c120] [c119] [c118] [c116] [c112] [j46] [j45] [j43] [c103] [j42] [c102] [c101] [c100] [c99] [c98] [c97] [c96] [c95] [c94] [j40] [c92] [r1] [c91] [c90] [c88] [c83] [c81] [c79] [c77] [c74] [j34] [j33] [c66] [c64] [j27] [c59] [c58] [c56] [c54] [c53] [c51] [j25] [c49] [c48] [c47] [c46] [c44] [c43] [j22] [c40]
[c119] [j48] [c115] [c114] [c110] [j47] [c108] [c107] [c106] [c105] [c104] [e2] [i8] [i7] [i6] [j44] [r1] [i3] [c91] [c90] [j39] [c89] [c88] [c87] [c85] [c84] [c83] [c82] [j38] [j37] [c80] [c78] [c76] [c75] [j36] [j35] [j34] [j33] [j32] [j31] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [j30] [j29] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [j27] [c59] [c58] [c56] [c55] [c54] [c53] [c52] [c51] [j26] [j25] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [j22] [c40] [c39] [c38] [c37]
[j49] [c120] [c119] [c118] [c116] [c112] [c110] [c108] [j46] [j45] [j44] [j43] [c103] [j42] [c102] [c101] [c100] [j41] [c99] [c98] [c95] [c94] [j40] [c93] [c92] [r1] [i4] [i3] [c91] [c90] [j39] [c89] [c88] [c87] [c86] [c85] [c84] [c83] [c82] [j38] [j37] [c81] [c80] [c79] [c78] [c77] [c76] [c75] [c74] [j36] [j35] [j34] [j33] [j32] [j31] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [j30] [j29] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [j27] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [j26] [j25] [j24] [j23] [c49] [c47] [c46] [c45] [c44] [c42] [j22] [c41] [c40] [c39] [c38] [c37] [c36] [j20] [j19] [j18] [c35] [c33] [c30] [c29] [c27]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
