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

Francesco M. Donini Vis

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

*2009
126EEFrancesco 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
125EETommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. Description Logics 2009
124EEAzzurra 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
123 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
122EEFrancesco 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
121EEAzzurra 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
120EEAzzurra 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
119EESimona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Finding informative commonalities in concept collections. CIKM 2008: 807-817
118EEAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. DALT 2008: 128-142
117EEAzzurra 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
116EESimona Colucci, Eugenio Di Sciascio, Francesco M. Donini: Partial and Informative Common Subsumers of Concepts Collections in Description Logics. Description Logics 2008
115EESimona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Partial and Informative Common Subsumers in Description Logics. ECAI 2008: 739-740
114EEAzzurra 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
113 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
112EESimona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Semantic-based Automated Evaluation of Company Core Competence. SWAP 2008
111EEAzzurra 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)
110EETommaso 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
109 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
108EEAzzurra 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
107EEAzzurra 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
106EEAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. Description Logics 2007
105EEAzzurra 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
104EEAzzurra 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
103 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
102EEAzzurra 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)
101EETommaso 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)
100EESimona 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)
99EETommaso 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)
98EEMichele 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
97EEFrancesco 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
96EESimona 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
95 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
94EESimona 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
93EETommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Editorial message: semantic-based resource discovery, retrieval and composition track. SAC 2006: 1662-1663
92EETommaso 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
91 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
90EEFrancesco 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)
89EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits. IEEE Trans. Computers 55(7): 913-917 (2006)
88EEMichele 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)
87EEAzzurra 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
86EESimona 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
85EESimona 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
84EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia: Design Verification of Web Applications Using Symbolic Model Checking. ICWE 2005: 69-74
83EEAzzurra 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
82EEStefano 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
81EESimona 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
80 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
79EETommaso 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
78EEMichele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli: Semantic Based Collaborative P2P in Ubiquitous Computing. Web Intelligence 2005: 143-149
77EESimona 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
76 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
75EEAndrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Description Logic Based Approach for Matching User Profiles. Description Logics 2004
74EESimona 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
73 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
72EETommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. EKAW 2004: 307-320
71EESimona 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
70EEAndrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Logic-Based Approach for Matching User Profiles. KES 2004: 187-195
69EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. SAC 2004: 1040-1044
68EESimona 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)
67EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Logic for SVG Documents Query and Retrieval. Multimedia Tools Appl. 24(2): 125-153 (2004)
66EEEugenio 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
65EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: Web Applications Design and Maintenance Using Symbolic Model Checking. CSMR 2003: 63-72
64 Francesco M. Donini: Complexity of Reasoning. Description Logic Handbook 2003: 96-136
63EESimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Concept Abduction and Contraction in Description Logics. Description Logics 2003
62 Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Abductive Matchmaking using Description Logics. IJCAI 2003: 337-342
61 Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Semantic Matchmaking in a P-2-P Electronic Marketplace. SAC 2003: 582-586
60EETommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A system for principled matchmaking in an electronic marketplace. WWW 2003: 321-330
59EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. WWW (Posters) 2003
58EESimona 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
57EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: I-Search: A System for Intelligent Information Search on the Web. ISMIS 2002: 149-157
56 Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf: Solving QBF by SMV. KR 2002: 578-592
55EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: AnWeb: a sytem for automatic support to web application verification. SEKE 2002: 609-616
54EEFrancesco M. Donini, Daniele Nardi, Riccardo Rosati: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002)
53EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits Electronic Colloquium on Computational Complexity (ECCC)(067): (2002)
52EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Preprocessing of Intractable Problems. Inf. Comput. 176(2): 89-120 (2002)
51EEEugenio 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)
50EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Structured Knowledge Representation for Image Retrieval. J. Artif. Intell. Res. (JAIR) 16: 209-257 (2002)
49EEEugenio 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
48 Paolo Liberatore, Francesco M. Donini: Verification Programs for Abduction. ECAI 2000: 166-170
47 Fabio Massacci, Francesco M. Donini: Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000: 52-56
46EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Semantic Indexing for Image Retrieval Using Description Logics. VISUAL 2000: 372-383
45EEFrancesco M. Donini, Fabio Massacci: EXPTIME tableaux for ALC. Artif. Intell. 124(1): 87-138 (2000)
44EEMarco 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
43EEEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Description Logic for Image Retrieval. AI*IA 1999: 13-24
42EEEugenio Di Sciascio, Francesco M. Donini: Description Logics for Image Recognition: a preliminary proposal. Description Logics 1999
41EEEmilio Domenicucci, Francesco M. Donini, Marco Schaerf: ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. Description Logics 1999
40EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. Artif. Intell. 115(1): 25-64 (1999)
1998
39EEErnesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: DL-based Support to Domain Engineering. Description Logics 1998
38 Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. EJC 1998: 115-131
37EEFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998)
36EEMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99(2): 209-260 (1998)
35 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)
1997
34 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 Description Logics 1997
33 Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: Reasoning with Behavioural Knowledge in Application Domain Models. AI*IA 1997: 367-380
32EEErnesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: A Description Logic for reasoning with behavioural knowledge. Description Logics 1997
31 Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141
30 Marco Cadoli, Francesco M. Donini: A Survey on Knowledge Compilation. AI Commun. 10(3-4): 137-150 (1997)
29 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997)
28 Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997)
27EEMarco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri: On Compact Representations of Propositional Circumscription. Theor. Comput. Sci. 182(1-2): 183-202 (1997)
1996
26 Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996: 107-110
25 Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Feasibility and Unfeasibility of Off-Line Processing. ISTCS 1996: 100-109
24EEFrancesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103
23 Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. KR 1996: 364-373
22EEMarco Cadoli, Francesco M. Donini, Marco Schaerf: Is Intractability of Nonmonotonic Reasoning a Real Drawback? Artif. Intell. 88(1-2): 215-251 (1996)
1995
21 Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102
20EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. PODS 1995: 151-162
19EEMarco Cadoli, Francesco M. Donini, Marco Schaerf: On Compact Representations of Propositional Circumscription. STACS 1995: 205-216
18 Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144
1994
17 Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf: Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994: 199-204
16 Marco Cadoli, Francesco M. Donini, Marco Schaerf: Is Intractability of Non-Monotonic Reasoning a Real Drawback? AAAI 1994: 946-951
15EEMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994
14 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)
1993
13 Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709
12EEMartin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems CoRR cs.AI/9312101: (1993)
11 Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. (JAIR) 1: 109-138 (1993)
1992
10 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
9 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353
8 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)
1991
7 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97
6 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. Description Logics 1991: 39-42
5 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90
4 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465
3 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162
1990
2 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi: An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252
1988
1 Francesco 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]
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] [126]
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]
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]
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] [125] [126]
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] [124]
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] [124]
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]
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]
42Floriano Scioscia [110]
43Riccardo Silvestri [27]
44Umberto Straccia [103] [105] [113] [114] [117] [120]
45Eufemia Tinelli [92] [97] [99] [110] [112] [115] [119] [123]
46Rodolfo Totaro [84] [90]
47Michael P. Wellman [121]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)