Francesco M. Donini

170 papers A* 13A 13B 7C 10Misc 7Journal 54Unranked 63

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A review of reasoning characteristics of RDF-based Semantic Web systems. WIREs Data. Mining. Knowl. Discov. Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2024	C	`conf`	Explaining Commonalities of Clusters of RDF Resources in Natural Language. ISMIS Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2023	A	`conf`	Fifth Knowledge-aware and Conversational Recommender Systems Workshop (KaRS). RecSys Vito Walter Anelli, Pierpaolo Basile, Gerard de Melo, Francesco M. Donini, Antonio Ferrara, Cataldo Musto, Fedelucio Narducci, Azzurra Ragone, Markus Zanker
2023	—	`conf`	Irrelevant Explanations: a Logical Formalization and a Case Study. XAI.it@AI*IA Simona Colucci, Tommaso Di Noia, Francesco M. Donini, Claudio Pomo, Eugenio Di Sciascio
2023	—	`conf`	On the Relevance of Explanation for RDF Resources Similarity. MOBA Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2022	—	`conf`	A Business Intelligence Tool for Explaining Similarity. MOBA Simona Colucci, Francesco M. Donini, Nicola Iurilli, Eugenio Di Sciascio
2022	—	`conf`	A Human-readable Explanation for the Similarity of RDF Resources. XAI.it@AI*IA Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2022	—	`conf`	Multi-encoder U-Net for Oral Squamous Cell Carcinoma Image Segmentation. MeMeA Andrea Pennisi, Domenico Daniele Bloisi, Daniele Nardi, Silvia Varricchio, Francesco M. Donini
2022	—	`conf`	The Challenging Reproducibility Task in Recommender Systems Research between Traditional and Deep Learning Models. SEBD Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco M. Donini, Eugenio Di Sciascio, Tommaso Di Noia
2021	J	`jnl`	Conversational Recommendation: Theoretical Model and Complexity Analysis. CoRR Tommaso Di Noia, Francesco M. Donini, Dietmar Jannach, Fedelucio Narducci, Claudio Pomo
2021	J	`jnl`	Elliot: a Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation. CoRR Vito Walter Anelli, Alejandro Bellogín, Antonio Ferrara, Daniele Malitesta, Felice Antonio Merra, Claudio Pomo, Francesco M. Donini, Tommaso Di Noia
2021	—	`conf`	Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems. CAiSE Workshops Giandomenico Cornacchia, Francesco M. Donini, Fedelucio Narducci, Claudio Pomo, Azzurra Ragone
2021	A	`conf`	Third Knowledge-aware and Conversational Recommender Systems Workshop (KaRS). RecSys Vito Walter Anelli, Pierpaolo Basile, Tommaso Di Noia, Francesco M. Donini, Cataldo Musto, Fedelucio Narducci, Markus Zanker
2019	J	`jnl`	Checking compliance of semantic web applications with RDFS-semantics. Internet Technol. Lett. Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2017	J	`jnl`	Embedding semantics in human resources management automation via SQL. Appl. Intell. Eufemia Tinelli, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio, Silvia Giannini
2017	J	`jnl`	Formal model for user-centred adaptive mobile devices. IET Softw. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Francesco Nocera
2017	J	`jnl`	Logical comparison over RDF resources in bio-informatics. J. Biomed. Informatics Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2017	—	`conf`	Reasoning over RDF Knowledge Bases: Where We Are. AI*IA Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2016	J	`jnl`	Defining and computing Least Common Subsumers in RDF. J. Web Semant. Simona Colucci, Francesco M. Donini, Silvia Giannini, Eugenio Di Sciascio
2015	—	`conf`	A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data. AI*IA Silvia Giannini, Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2014	A	`conf`	A deductive approach to the identification and description of clusters in Linked Open Data. ECAI Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio
2014	—	`conf`	Finding Commonalities in Linked Open Data. CILC Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio
2013	—	`conf`	Common Subsumbers in RDF. AI*IA Simona Colucci, Francesco M. Donini, Eugenio Di Sciascio
2013	J	`jnl`	Compiling subsumption to relational databases. Intelligenza Artificiale Eufemia Tinelli, Francesco M. Donini, Eugenio Di Sciascio
2013	—	`conf`	Knowledge Compilation for Core Competence Extraction in Organizations. BIS Simona Colucci, Eufemia Tinelli, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini
2012	—	`conf`	Inverting Subsumption for Constructive Reasoning. Description Logics Simona Colucci, Francesco M. Donini
2012	Misc	`conf`	Knowledge compilation for automated Team Composition exploiting standard SQL. SAC Eufemia Tinelli, Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini
2012	C	`conf`	Large Scale Skill Matching through Knowledge Compilation. ISMIS Eufemia Tinelli, Simona Colucci, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini
2012	—	`conf`	Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. CILC Simona Colucci, Francesco M. Donini
2011	J	`jnl`	Automating competence management through non-standard reasoning. Eng. Appl. Artif. Intell. Simona Colucci, Eufemia Tinelli, Eugenio Di Sciascio, Francesco M. Donini
2011	—	`ch.`	Description Logic-Based Resource Retrieval. Encyclopedia of Knowledge Management Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2011	—	`conf`	Finding Commonalities in RFID Semantic Streams. ANT/MobiWIS Michele Ruta, Simona Colucci, Floriano Scioscia, Eugenio Di Sciascio, Francesco M. Donini
2011	—	`conf`	Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases. Description Logics Eufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio
2011	J	`jnl`	Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach CoRR Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2011	J	`jnl`	Space Efficiency of Propositional Knowledge Representation Formalisms CoRR Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
2011	J	`jnl`	Structured Knowledge Representation for Image Retrieval CoRR Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2010	A	`conf`	A Unified Framework for Non-standard Reasoning Services in Description Logics. ECAI Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
2010	—	`conf`	Second-Order Description Logics: Semantics, Motivation, and a Calculus. Description Logics Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
2009	A*	`conf`	A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. IJCAI Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio
2009	—	`conf`	A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. Description Logics Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio
2009	—	`conf`	A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. Description Logics Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2009	—	`conf`	Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces. EC-Web Azzurra Ragone, Michele Ruta, Eugenio Di Sciascio, Francesco M. Donini
2009	—	`conf`	Computing Information Minimal Match Explanations for Logic-Based Matchmaking. IAT Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2009	—	`conf`	Computing Utility from Weighted Description Logic Preference Formulas. DALT Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman
2009	J	`jnl`	Fuzzy matchmaking in e-marketplaces of peer entities using Datalog. Fuzzy Sets Syst. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2009	—	`conf`	I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL. ICEIS (2) Eufemia Tinelli, Antonio Cascone, Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2009	—	`conf`	Weighted Description Logics Preference Formulas for Multiattribute Negotiation. SUM Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman
2008	—	`conf`	A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces. SEBD Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2008	A	`conf`	Finding informative commonalities in concept collections. CIKM Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli
2008	—	`conf`	Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. Description Logics Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2008	—	`conf`	Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. DALT Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2008	J	`jnl`	Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces. Auton. Agents Multi Agent Syst. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2008	A	`conf`	Partial and Informative Common Subsumers in Description Logics. ECAI Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli
2008	—	`conf`	Partial and Informative Common Subsumers of Concepts Collections in Description Logics. Description Logics Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini
2008	J	`jnl`	Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts. Int. J. Semantic Web Inf. Syst. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Michele Ruta, Floriano Scioscia, Eufemia Tinelli
2008	—	`conf`	Semantic-based Automated Evaluation of Company Core Competence. SWAP Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli
2008	—	`conf`	Towards a Fuzzy Logic for Automated Multi-issue Negotiation. FoIKS Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	—	`conf`	Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces. ISWC/ASWC Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	J	`jnl`	Automated building blocks selection based on business processes semantics in ERPs. Serv. Oriented Comput. Appl. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli, Francesco di Cugno, Azzurra Ragone
2007	—	`conf`	DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. Description Logics Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	A*	`conf`	Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. AAAI Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	—	`conf`	Extending Datalog for Matchmaking in P2P E-Marketplaces. SEBD Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	—	`conf`	Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. DALT Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	J	`jnl`	Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction. Int. J. Web Serv. Res. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci, Francesco Colasuonno
2007	J	`jnl`	Introduction to the Special Issue: Semantic Matchmaking and Resource Retrieval on the Web. Int. J. Electron. Commer. Eugenio Di Sciascio, Francesco M. Donini, Tommaso Di Noia
2007	J	`jnl`	Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. J. Artif. Intell. Res. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	J	`jnl`	Semantic based collaborative P2P in ubiquitous computing. Web Intell. Agent Syst. Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	J	`jnl`	Semantic-based Skill Management for Automated Task Assignment and Courseware Composition. J. Univers. Comput. Sci. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
2007	B	`conf`	Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces. ESWC Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2007	A	`conf`	When price is not enough: combining logical and numerical issues in bilateral negotiation. AAMAS Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2006	A	`conf`	A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation. ECAI Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2006	Misc	`conf`	A framework for content-based image retrieval fully exploiting the semantics of annotation. SAC Tommaso Di Noia, Eugenio Di Sciascio, Francesco di Cugno, Eufemia Tinelli, Francesco M. Donini
2006	C	`conf`	A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces. ICEC Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi
2006	Misc	`conf`	Editorial message: semantic-based resource discovery, retrieval and composition track. SAC Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2006	—	`conf`	Explanation Services and Request Refinement in User Friendly Semantic-Enabled B2C E-Marketplaces. DEECS Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi
2006	—	`conf`	OwlEd: An Ontology Manager for MaMaS-tng. SEBD Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto
2006	J	`jnl`	Propositional-logic approach to one-shot multi issue bilateral negotiation. SIGecom Exch. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2006	—	`conf`	Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3. CSMR Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli
2006	J	`jnl`	Semantic-enhanced Bluetooth discovery protocol for m-commerce applications. Int. J. Web Grid Serv. Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2006	J	`jnl`	k-Approximating Circuits. IEEE Trans. Computers Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
2005	—	`conf`	A Model Checking-based Method for Verifying Web Application Design. WLFM@FM Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
2005	—	`conf`	Automated semantic web services orchestration via concept covering. WWW (Special interest tracks and posters) Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci
2005	J	`jnl`	Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. Electron. Commer. Res. Appl. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2005	B	`conf`	Design Verification of Web Applications Using Symbolic Model Checking. ICWE Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
2005	A	`conf`	Fully Automated Web Services Orchestration in a Resource Retrieval Scenario. ICWS Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci
2005	Misc	`conf`	Knowledge based approach to semantic composition of teams in an organization. SAC Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Stefano Coppi
2005	C	`conf`	Knowledge elicitation for query refinement in a semantic-enabled e-marketplace. ICEC Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
2005	C	`conf`	Ontology-Based Natural Language Parser for E-Marketplaces. IEA/AIE Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto
2005	—	`conf`	Semantic Based Collaborative P2P in Ubiquitous Computing. Web Intelligence Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli
2005	B	`conf`	Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning. ESWC Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
2005	—	`conf`	Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics. SEBD Simona Colucci, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto, Azzurra Ragone
2004	—	`conf`	A Description Logic Based Approach for Matching User Profiles. Description Logics Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
2004	J	`jnl`	A Logic for SVG Documents Query and Retrieval. Multim. Tools Appl. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2004	B	`conf`	A Logic-Based Approach for Matching User Profiles. KES Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
2004	J	`jnl`	A System for Principled Matchmaking in an Electronic Marketplace. Int. J. Electron. Commer. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2004	—	`conf`	A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN. Description Logics Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2004	A	`conf`	A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics. ECAI Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2004	Misc	`conf`	A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. SAC Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2004	Misc	`conf`	An Agency for Semantic-Based Automatic Discovery of Web Services. AIAI Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli, Gianvito Rossi
2004	C	`conf`	Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. ICEC Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini
2004	B	`conf`	Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. EKAW Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
2004	J	`jnl`	Retrieval by spatial similarity: an algorithm and a comparative evaluation . Pattern Recognit. Lett. Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini, L. Allegretti
2004	J	`jnl`	Semantic-based Approach to Task Assignment of Individual Profiles. J. Univers. Comput. Sci. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
2003	J	`jnl`	A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions. J. Univers. Comput. Sci. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola
2003	A*	`conf`	A system for principled matchmaking in an electronic marketplace. WWW Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2003	A*	`conf`	Abductive Matchmaking using Description Logics. IJCAI Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2003	—	`ch.`	Complexity of Reasoning. Description Logic Handbook Francesco M. Donini
2003	—	`conf`	Concept Abduction and Contraction in Description Logics. Description Logics Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2003	—	`conf`	Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. WWW (Posters) Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2003	Misc	`conf`	Semantic Matchmaking in a P-2-P Electronic Marketplace. SAC Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2003	—	`conf`	Web Applications Design and Maintenance Using Symbolic Model Checking. CSMR Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
2002	C	`conf`	AnWeb: a system for automatic support to web application verification. SEKE Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
2002	J	`jnl`	Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
2002	C	`conf`	I-Search: A System for Intelligent Information Search on the Web. ISMIS Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2002	J	`jnl`	Preprocessing of Intractable Problems. Inf. Comput. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
2002	A*	`conf`	Solving QBF by SMV. KR Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf
2002	J	`jnl`	Spatial layout representation for query-by-sketch content-based image retrieval. Pattern Recognit. Lett. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2002	J	`jnl`	Structured Knowledge Representation for Image Retrieval. J. Artif. Intell. Res. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2002	J	`jnl`	Using Computation Tree Logic for Intelligent Information Search on the Web. Int. J. Comput. Intell. Appl. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2002	J	`jnl`	k-Approximating Circuits Electron. Colloquium Comput. Complex. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
2000	B	`conf`	Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX Fabio Massacci, Francesco M. Donini
2000	J	`jnl`	EXPTIME tableaux for ALC. Artif. Intell. Francesco M. Donini, Fabio Massacci
2000	—	`conf`	Semantic Indexing for Image Retrieval Using Description Logics. VISUAL Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2000	J	`jnl`	Space Efficiency of Propositional Knowledge Representation Formalisms. J. Artif. Intell. Res. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
2000	A	`conf`	Verification Programs for Abduction. ECAI Paolo Liberatore, Francesco M. Donini
1999	—	`conf`	A Description Logic for Image Retrieval. AI*IA Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
1999	—	`conf`	Description Logics for Image Recognition: a preliminary proposal. Description Logics Eugenio Di Sciascio, Francesco M. Donini
1999	—	`conf`	ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. Description Logics Emilio Domenicucci, Francesco M. Donini, Marco Schaerf
1999	J	`jnl`	The Size of a Revised Knowledge Base. Artif. Intell. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
1998	J	`jnl`	A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
1998	J	`jnl`	AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
1998	J	`jnl`	An Epistemic Operator for Description Logics. Artif. Intell. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
1998	—	`conf`	DL-based Support to Domain Engineering. Description Logics Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
1998	C	`conf`	Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. EJC Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
1997	—	`conf`	A Description Logic for reasoning with behavioural knowledge. Description Logics Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
1997	J	`jnl`	A Survey on Knowledge Compilation. AI Commun. Marco Cadoli, Francesco M. Donini
1997	—	`conf`	Autoepistemic Description Logics. IJCAI (1) Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1997	J	`jnl`	Ground Nonmonotonic Modal Logics. J. Log. Comput. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1997	J	`jnl`	On Compact Representations of Propositional Circumscription. Theor. Comput. Sci. Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri
1997	—	`ed.`	Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France Description Logics Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset
1997	—	`conf`	Reasoning with Behavioural Knowledge in Application Domain Models. AI*IA Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
1997	J	`jnl`	The Complexity of Concept Languages. Inf. Comput. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1996	B	`conf`	A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati
1996	A*	`conf`	Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. KR Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
1996	—	`conf`	Exptime Tableaux for ALC. Description Logics Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci
1996	—	`conf`	Feasibility and Unfeasibility of Off-Line Processing. ISTCS Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
1996	J	`jnl`	Is Intractability of Nonmonotonic Reasoning a Real Drawback? Artif. Intell. Marco Cadoli, Francesco M. Donini, Marco Schaerf
1995	—	`conf`	Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1995	—	`conf`	Non-first-order features in concept languages. AI*IA Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1995	A	`conf`	On Compact Representations of Propositional Circumscription. STACS Marco Cadoli, Francesco M. Donini, Marco Schaerf
1995	A*	`conf`	The Size of a Revised Knowledge Base. PODS Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
1994	J	`jnl`	Deduction in Concept Languages: From Subsumption to Instance Checking. J. Log. Comput. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
1994	A*	`conf`	Is Intractability of Non-Monotonic Reasoning a Real Drawback? AAAI Marco Cadoli, Francesco M. Donini, Marco Schaerf
1994	A*	`conf`	Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf
1994	—	`conf`	Terminological Systems Revisited: Terminology = Schema + Views. KRDB Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
1993	J	`jnl`	Decidable Reasoning in Terminological Knowledge Representation Systems CoRR Martin Buchheit, Francesco M. Donini, Andrea Schaerf
1993	A*	`conf`	Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI Martin Buchheit, Francesco M. Donini, Andrea Schaerf
1993	J	`jnl`	Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. Martin Buchheit, Francesco M. Donini, Andrea Schaerf
1992	A*	`conf`	Adding Epistemic Operators to Concept Languages. KR Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt
1992	—	`conf`	Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
1992	J	`jnl`	The Complexity of Existential Quantification in Concept Languages. Artif. Intell. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela
1991	—	`conf`	A Hybrid System with Datalog and Concept Languages. AI*IA Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
1991	—	`conf`	The Complexity of Concept Languages (Extended Abstract). Description Logics Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1991	A*	`conf`	The Complexity of Concept Languages. KR Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1991	—	`conf`	Tractable Concept Languages. Description Logics Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1991	A*	`conf`	Tractable Concept Languages. IJCAI Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1990	A	`conf`	An Efficient Method for Hybrid Deduction. ECAI Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi
1990	J	`jnl`	Nonmonotonic reasoning. Artif. Intell. Rev. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, Marco Schaerf
1990	J	`jnl`	Using Terminological Reasoning in Hybrid Systems. AI Commun. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi
1988	C	`conf`	TermLog: a Logic for Terminological Knowledge. ISMIS Francesco M. Donini, Maurizio Lenzerini