dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Francesco M. Donini Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Francesco M. Donini: Inverting Subsumption for Constructive Reasoning. Description Logics 2012
2011
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio: Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases. Description Logics 2011
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Description Logic-Based Resource Retrieval. Encyclopedia of Knowledge Management 2011: 185-197
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Space Efficiency of Propositional Knowledge Representation Formalisms CoRR abs/1106.0233: (2011)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Structured Knowledge Representation for Image Retrieval CoRR abs/1109.1498: (2011)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach CoRR abs/1110.2742: (2011)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Eufemia Tinelli, Eugenio Di Sciascio, Francesco M. Donini: Automating competence management through non-standard reasoning. Eng. Appl. of AI 24(8): 1368-1384 (2011)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Ruta, Simona Colucci, Floriano Scioscia, Eugenio Di Sciascio, Francesco M. Donini: Finding Commonalities in RFID Semantic Streams. Procedia CS 5: 857-864 (2011)
2010
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone: Second-Order Description Logics: Semantics, Motivation, and a Calculus. Description Logics 2010
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
2009
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. Description Logics 2009
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Computing Information Minimal Match Explanations for Logic-Based Matchmaking. IAT 2009: 411-418
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEufemia 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
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Fuzzy matchmaking in e-marketplaces of peer entities using Datalog. Fuzzy Sets and Systems 160(2): 251-268 (2009)
2008
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Finding informative commonalities in concept collections. CIKM 2008: 807-817
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. DALT 2008: 128-142
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Eugenio Di Sciascio, Francesco M. Donini: Partial and Informative Common Subsumers of Concepts Collections in Description Logics. Description Logics 2008
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Partial and Informative Common Subsumers in Description Logics. ECAI 2008: 739-740
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Semantic-based Automated Evaluation of Company Core Competence. SWAP 2008
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces. Autonomous Agents and Multi-Agent Systems 16(3): 249-270 (2008)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso 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)
2007
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. AAAI 2007: 477-482
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. Description Logics 2007
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Extending Datalog for Matchmaking in P2P E-Marketplaces. SEBD 2007: 463-470
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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 Service Res. 4(3): 85-112 (2007)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. J. Artif. Intell. Res. (JAIR) 29: 269-307 (2007)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone: Semantic-based Skill Management for Automated Task Assignment and Courseware Composition. J. UCS 13(9): 1184-1212 (2007)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso 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. Service Oriented Computing and Applications 1(3): 171-184 (2007)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Semantic based collaborative P2P in ubiquitous computing. Web Intelligence and Agent Systems 5(4): 375-391 (2007)
2006
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Editorial message: semantic-based resource discovery, retrieval and composition track. SAC 2006: 1662-1663
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso 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
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto: OwlEd: An Ontology Manager for MaMaS-tng. SEBD 2006: 175-186
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro: A Model Checking-based Method for Verifying Web Application Design. Electr. Notes Theor. Comput. Sci. 151(2): 19-32 (2006)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits. IEEE Trans. Computers 55(7): 913-917 (2006)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Semantic-enhanced Bluetooth discovery protocol for m-commerce applications. IJWGS 2(4): 424-452 (2006)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Propositional-logic approach to one-shot multi issue bilateral negotiation. SIGecom Exchanges 5(5): 11-21 (2006)
2005
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia: Design Verification of Web Applications Using Symbolic Model Checking. ICWE 2005: 69-74
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzzurra 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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso 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
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli: Semantic Based Collaborative P2P in Ubiquitous Computing. Web Intelligence 2005: 143-149
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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. Electronic Commerce Research and Applications 4(4): 345-361 (2005)
2004
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Description Logic Based Approach for Matching User Profiles. Description Logics 2004
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. EKAW 2004: 307-320
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Logic-Based Approach for Matching User Profiles. KES 2004: 187-195
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. SAC 2004: 1040-1044
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: Semantic-based Approach to Task Assignment of Individual Profiles. J. UCS 10(6): 723-730 (2004)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Logic for SVG Documents Query and Retrieval. Multimedia Tools Appl. 24(2): 125-153 (2004)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Marina Mongiello, Francesco M. Donini, L. Allegretti: Retrieval by spatial similarity: an algorithm and a comparative evaluation . Pattern Recognition Letters 25(14): 1633-1645 (2004)
2003
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: Web Applications Design and Maintenance Using Symbolic Model Checking. CSMR 2003: 63-72
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini: Complexity of Reasoning. Description Logic Handbook 2003: 96-136
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Concept Abduction and Contraction in Description Logics. Description Logics 2003
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Abductive Matchmaking using Description Logics. IJCAI 2003: 337-342
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Semantic Matchmaking in a P-2-P Electronic Marketplace. SAC 2003: 582-586
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A system for principled matchmaking in an electronic marketplace. WWW 2003: 321-330
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. WWW (Posters) 2003
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimona 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. UCS 9(12): 1437-1454 (2003)
2002
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: I-Search: A System for Intelligent Information Search on the Web. ISMIS 2002: 149-157
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf: Solving QBF by SMV. KR 2002: 578-592
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: AnWeb: a sytem for automatic support to web application verification. SEKE 2002: 609-616
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits Electronic Colloquium on Computational Complexity (ECCC)(067): (2002)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Preprocessing of Intractable Problems. Inf. Comput. 176(2): 89-120 (2002)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Using Computation Tree Logic for Intelligent Information Search on the Web. International Journal of Computational Intelligence and Applications 2(3): 245-253 (2002)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Structured Knowledge Representation for Image Retrieval. J. Artif. Intell. Res. (JAIR) 16: 209-257 (2002)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Spatial layout representation for query-by-sketch content-based image retrieval. Pattern Recognition Letters 23(13): 1599-1612 (2002)
2000
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Liberatore, Francesco M. Donini: Verification Programs for Abduction. ECAI 2000: 166-170
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Massacci, Francesco M. Donini: Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000: 52-56
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Semantic Indexing for Image Retrieval Using Description Logics. VISUAL 2000: 372-383
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci: EXPTIME tableaux for ALC. Artif. Intell. 124(1): 87-138 (2000)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Space Efficiency of Propositional Knowledge Representation Formalisms. J. Artif. Intell. Res. (JAIR) 13: 1-31 (2000)
1999
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Description Logic for Image Retrieval. AI*IA 1999: 13-24
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Di Sciascio, Francesco M. Donini: Description Logics for Image Recognition: a preliminary proposal. Description Logics 1999
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmilio Domenicucci, Francesco M. Donini, Marco Schaerf: ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. Description Logics 1999
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. Artif. Intell. 115(1): 25-64 (1999)
1998
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: DL-based Support to Domain Engineering. Description Logics 1998
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. EJC 1998: 115-131
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99(2): 209-260 (1998)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3): 227-252 (1998)
1997
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald 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 Description Logics 1997
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: Reasoning with Behavioural Knowledge in Application Domain Models. AI*IA 1997: 367-380
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: A Description Logic for reasoning with behavioural knowledge. Description Logics 1997
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini: A Survey on Knowledge Compilation. AI Commun. 10(3-4): 137-150 (1997)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri: On Compact Representations of Propositional Circumscription. Theor. Comput. Sci. 182(1-2): 183-202 (1997)
1996
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Francesco M. Donini, Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996: 107-110
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Feasibility and Unfeasibility of Off-Line Processing. ISTCS 1996: 100-109
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. KR 1996: 364-373
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Marco Schaerf: Is Intractability of Nonmonotonic Reasoning a Real Drawback? Artif. Intell. 88(1-2): 215-251 (1996)
1995
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. PODS 1995: 151-162
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Marco Schaerf: On Compact Representations of Propositional Circumscription. STACS 1995: 205-216
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144
1994
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf: Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994: 199-204
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Francesco M. Donini, Marco Schaerf: Is Intractability of Non-Monotonic Reasoning a Real Drawback? AAAI 1994: 946-951
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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)
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems CoRR cs.AI/9312101: (1993)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. (JAIR) 1: 109-138 (1993)
1992
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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)
1991
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. Description Logics 1991: 39-42
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162
1990
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi: An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco M. Donini, Maurizio Lenzerini: TermLog: a Logic for Terminological Knowledge. ISMIS 1988: 408-417

Coauthor Index

1L. Allegretti [66]
2Fernando Bobillo [113] [117]
3Ronald J. Brachman (Ron Brachman) [34]
4Martin Buchheit [11] [12] [13] [15] [17] [36]
5Marco Cadoli [16] [19] [20] [22] [23] [25] [27] [30] [40] [44] [52] [53] [89] [135]
6Andrea Calì [70] [75]
7Diego Calvanese [70] [75]
8Antonio Cascone [123]
9Daniela Castelluccia [84]
10Francesco Colasuonno [102]
11Simona Colucci [58] [63] [68] [70] [71] [73] [74] [75] [76] [77] [79] [80] [81] [83] [85] [86] [94] [96] [100] [102] [112] [115] [116] [119] [122] [127] [129] [130] [131] [132] [136] [138]
12Ernesto Compatangelo [32] [33] [38] [39]
13Stefano Coppi [80] [81] [82]
14Francesco di Cugno [91] [92] [97] [99]
15Emilio Domenicucci [41]
16Enrico Franconi [34]
17Giuseppe De Giacomo [26]
18Alon Y. Halevy (Alon Y. Levy) [34]
19Bernhard Hollunder [8]
20Ian Horrocks [34]
21Maurizio Lenzerini [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [14] [29] [35] [37]
22Paolo Liberatore [20] [23] [25] [40] [44] [48] [52] [53] [56] [89] [135]
23Alberto Marchetti-Spaccamela [8]
24Fabio Massacci [24] [26] [45] [47] [56]
25Marina Mongiello [43] [46] [49] [50] [51] [55] [57] [58] [59] [60] [61] [62] [63] [65] [66] [67] [68] [69] [71] [73] [74] [76] [77] [84] [90] [134] [136]
26Marco Mottola [58]
27Daniele Nardi [2] [3] [4] [5] [6] [7] [8] [9] [10] [14] [18] [21] [24] [28] [29] [31] [35] [37] [54]
28Tommaso Di Noia [58] [60] [61] [62] [63] [68] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [85] [86] [87] [88] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [113] [114] [117] [118] [120] [121] [122] [123] [124] [126] [127] [128] [129] [130] [133] [136]
29Werner Nutt [3] [4] [5] [6] [8] [9] [10] [15] [17] [29] [36] [37]
30Agnese Pinto [80] [82] [91]
31Giacomo Piscitelli [55] [65] [68] [76] [78] [81]
32Azzurra Ragone [79] [80] [83] [85] [86] [87] [94] [95] [96] [99] [100] [102] [103] [104] [105] [106] [107] [108] [109] [111] [113] [114] [117] [118] [120] [121] [125] [128] [129] [130]
33Raffaele Rizzi [94] [96]
34Riccardo Rosati [18] [21] [24] [28] [31] [54]
35Gianvito Rossi [76]
36Marie-Christine Rousset [34]
37Giovanni Rumolo [32] [33] [38] [39]
38Michele Ruta [78] [88] [90] [98] [110] [123] [125] [131] [137]
39Andrea Schaerf [7] [9] [10] [11] [12] [13] [14] [15] [17] [35] [36] [37]
40Marco Schaerf [16] [19] [20] [22] [23] [25] [27] [40] [41] [44] [52] [53] [56] [89] [135]
41Eugenio Di Sciascio [42] [43] [46] [49] [50] [51] [55] [57] [58] [59] [60] [61] [62] [63] [65] [66] [67] [68] [69] [71] [72] [73] [74] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [136] [137]
42Floriano Scioscia [110] [131]
43Riccardo Silvestri [27]
44Umberto Straccia [103] [105] [113] [114] [117] [120]
45Eufemia Tinelli [92] [97] [99] [110] [112] [115] [119] [123] [132] [137]
46Rodolfo Totaro [84] [90]
47Michael P. Wellman [121] [128]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page