- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c96 |      | Simona Colucci, Francesco M. Donini: Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. CILC 2012: 32-46 |
| c95 | | Simona Colucci, Francesco M. Donini: Inverting Subsumption for Constructive Reasoning. Description Logics 2012 |
| c94 | | Eufemia Tinelli, Simona Colucci, Silvia Giannini, Eugenio Di Sciascio, Francesco M. Donini: Large Scale Skill Matching through Knowledge Compilation. ISMIS 2012: 192-201 |
| c93 | | Eufemia Tinelli, Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini: Knowledge compilation for automated Team Composition exploiting standard SQL. SAC 2012: 1680-1685 |
| 2011 | ||
| j39 | | Simona 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) |
| j38 | | Michele Ruta, Simona Colucci, Floriano Scioscia, Eugenio Di Sciascio, Francesco M. Donini: Finding Commonalities in RFID Semantic Streams. Procedia CS 5: 857-864 (2011) |
| c92 | | Eufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio: Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases. Description Logics 2011 |
| r1 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Description Logic-Based Resource Retrieval. Encyclopedia of Knowledge Management 2011: 185-197 |
| i5 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Space Efficiency of Propositional Knowledge Representation Formalisms. CoRR abs/1106.0233 (2011) |
| i4 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Structured Knowledge Representation for Image Retrieval. CoRR abs/1109.1498 (2011) |
| i3 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. CoRR abs/1110.2742 (2011) |
| 2010 | ||
| c91 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone: Second-Order Description Logics: Semantics, Motivation, and a Calculus. Description Logics 2010 |
| c90 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone: A Unified Framework for Non-standard Reasoning Services in Description Logics. ECAI 2010: 479-484 |
| 2009 | ||
| j37 | | Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Fuzzy matchmaking in e-marketplaces of peer entities using Datalog. Fuzzy Sets and Systems 160(2): 251-268 (2009) |
| c89 | | Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman: Computing Utility from Weighted Description Logic Preference Formulas. DALT 2009: 158-173 |
| c88 | | Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio: A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. Description Logics 2009 |
| c87 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. Description Logics 2009 |
| c86 | | Azzurra Ragone, Michele Ruta, Eugenio Di Sciascio, Francesco M. Donini: Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces. EC-Web 2009: 14-25 |
| c85 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Computing Information Minimal Match Explanations for Logic-Based Matchmaking. IAT 2009: 411-418 |
| c84 |  | Eufemia Tinelli, Antonio Cascone, Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL. ICEIS (2) 2009: 224-229 |
| c83 | | Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio: A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. IJCAI 2009: 739-745 |
| c82 | | Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman: Weighted Description Logics Preference Formulas for Multiattribute Negotiation. SUM 2009: 193-205 |
| 2008 | ||
| j36 | | Azzurra 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) |
| j35 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Michele Ruta, Floriano Scioscia, Eufemia Tinelli: Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts. Int. J. Semantic Web Inf. Syst. 4(1): 50-74 (2008) |
| c81 | | Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Finding informative commonalities in concept collections. CIKM 2008: 807-817 |
| c80 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. DALT 2008: 128-142 |
| c79 | | Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini: Partial and Informative Common Subsumers of Concepts Collections in Description Logics. Description Logics 2008 |
| c78 | | Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. Description Logics 2008 |
| c77 | | Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Partial and Informative Common Subsumers in Description Logics. ECAI 2008: 739-740 |
| c76 | | Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Towards a Fuzzy Logic for Automated Multi-issue Negotiation. FoIKS 2008: 381-396 |
| c75 | | Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces. SEBD 2008: 211-222 |
| c74 | | Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Semantic-based Automated Evaluation of Company Core Competence. SWAP 2008 |
| 2007 | ||
| j34 | | Tommaso 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) |
| j33 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone: Semantic-based Skill Management for Automated Task Assignment and Courseware Composition. J. UCS 13(9): 1184-1212 (2007) |
| j32 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci, Francesco Colasuonno: Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction. Int. J. Web Service Res. 4(3): 85-112 (2007) |
| j31 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli, Francesco di Cugno, Azzurra Ragone: Automated building blocks selection based on business processes semantics in ERPs. Service Oriented Computing and Applications 1(3): 171-184 (2007) |
| j30 | | Michele 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) |
| c73 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. AAAI 2007: 477-482 |
| c72 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: When price is not enough: combining logical and numerical issues in bilateral negotiation. AAMAS 2007: 24 |
| c71 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. DALT 2007: 211-226 |
| c70 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. Description Logics 2007 |
| c69 | | Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces. ESWC 2007: 414-428 |
| c68 | | Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Extending Datalog for Matchmaking in P2P E-Marketplaces. SEBD 2007: 463-470 |
| c67 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces. ISWC/ASWC 2007: 395-408 |
| 2006 | ||
| j29 | | Francesco 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) |
| j28 | | Michele 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) |
| j27 | | Azzurra 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) |
| j26 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits. IEEE Trans. Computers 55(7): 913-917 (2006) |
| c66 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi: A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces. ICEC 2006: 174-184 |
| c65 | | Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3. CSMR 2006: 343-346 |
| c64 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi: Explanation Services and Request Refinement in User Friendly Semantic-Enabled B2C E-Marketplaces. DEECS 2006: 13-27 |
| c63 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation. ECAI 2006: 230-234 |
| c62 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Editorial message: semantic-based resource discovery, retrieval and composition track. SAC 2006: 1662-1663 |
| c61 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco di Cugno, Eufemia Tinelli, Francesco M. Donini: A framework for content-based image retrieval fully exploiting the semantics of annotation. SAC 2006: 1709-1710 |
| c60 | | Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto: OwlEd: An Ontology Manager for MaMaS-tng. SEBD 2006: 175-186 |
| 2005 | ||
| j25 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. Electronic Commerce Research and Applications 4(4): 345-361 (2005) |
| c59 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone: Knowledge elicitation for query refinement in a semantic-enabled e-marketplace. ICEC 2005: 685-691 |
| c58 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone: Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning. ESWC 2005: 633-648 |
| c57 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia: Design Verification of Web Applications Using Symbolic Model Checking. ICWE 2005: 69-74 |
| c56 | | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci: Fully Automated Web Services Orchestration in a Resource Retrieval Scenario. ICWS 2005: 427-434 |
| c55 | | Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto: Ontology-Based Natural Language Parser for E-Marketplaces. IEA/AIE 2005: 279-289 |
| c54 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Stefano Coppi: Knowledge based approach to semantic composition of teams in an organization. SAC 2005: 1314-1319 |
| c53 | | Simona Colucci, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto, Azzurra Ragone: Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics. SEBD 2005: 232-239 |
| c52 | | Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli: Semantic Based Collaborative P2P in Ubiquitous Computing. Web Intelligence 2005: 143-149 |
| c51 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci: Automated semantic web services orchestration via concept covering. WWW (Special interest tracks and posters) 2005: 1160-1161 |
| 2004 | ||
| j24 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: Semantic-based Approach to Task Assignment of Individual Profiles. J. UCS 10(6): 723-730 (2004) |
| j23 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Logic for SVG Documents Query and Retrieval. Multimedia Tools Appl. 24(2): 125-153 (2004) |
| j22 | | Eugenio 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) |
| c50 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini: Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. ICEC 2004: 41-50 |
| c49 | | Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Description Logic Based Approach for Matching User Profiles. Description Logics 2004 |
| c48 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN. Description Logics 2004 |
| c47 | | 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 |
| c46 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. EKAW 2004: 307-320 |
| c45 | | 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 |
| c44 | | Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini: A Logic-Based Approach for Matching User Profiles. KES 2004: 187-195 |
| c43 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. SAC 2004: 1040-1044 |
| 2003 | ||
| j21 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola: A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions. J. UCS 9(12): 1437-1454 (2003) |
| c42 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: Web Applications Design and Maintenance Using Symbolic Model Checking. CSMR 2003: 63-72 |
| c41 | | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Concept Abduction and Contraction in Description Logics. Description Logics 2003 |
| c40 | | |
| c39 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Abductive Matchmaking using Description Logics. IJCAI 2003: 337-342 |
| c38 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Semantic Matchmaking in a P-2-P Electronic Marketplace. SAC 2003: 582-586 |
| c37 | | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A system for principled matchmaking in an electronic marketplace. WWW 2003: 321-330 |
| c36 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. WWW (Posters) 2003 |
| 2002 | ||
| j20 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Preprocessing of Intractable Problems. Inf. Comput. 176(2): 89-120 (2002) |
| j19 | | Eugenio 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) |
| j18 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Structured Knowledge Representation for Image Retrieval. J. Artif. Intell. Res. (JAIR) 16: 209-257 (2002) |
| j17 | | Eugenio 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) |
| j16 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002) |
| c35 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: I-Search: A System for Intelligent Information Search on the Web. ISMIS 2002: 149-157 |
| c34 | | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf: Solving QBF by SMV. KR 2002: 578-592 |
| c33 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli: AnWeb: a sytem for automatic support to web application verification. SEKE 2002: 609-616 |
| i2 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits. Electronic Colloquium on Computational Complexity (ECCC)(067) (2002) |
| 2000 | ||
| j15 | | |
| j14 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Space Efficiency of Propositional Knowledge Representation Formalisms. J. Artif. Intell. Res. (JAIR) 13: 1-31 (2000) |
| c32 | | |
| c31 | | Fabio Massacci, Francesco M. Donini: Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. TABLEAUX 2000: 52-56 |
| c30 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: Semantic Indexing for Image Retrieval Using Description Logics. VISUAL 2000: 372-383 |
| 1999 | ||
| j13 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. Artif. Intell. 115(1): 25-64 (1999) |
| c29 | | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello: A Description Logic for Image Retrieval. AI*IA 1999: 13-24 |
| c28 | | Emilio Domenicucci, Francesco M. Donini, Marco Schaerf: ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. Description Logics 1999 |
| c27 | | Eugenio Di Sciascio, Francesco M. Donini: Description Logics for Image Recognition: a preliminary proposal. Description Logics 1999 |
| 1998 | ||
| j12 | | Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99(2): 209-260 (1998) |
| j11 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998) |
| j10 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3): 227-252 (1998) |
| c26 | | Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: DL-based Support to Domain Engineering. Description Logics 1998 |
| c25 | | Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. EJC 1998: 115-131 |
| 1997 | ||
| j9 | | Marco Cadoli, Francesco M. Donini: A Survey on Knowledge Compilation. AI Commun. 10(3-4): 137-150 (1997) |
| j8 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997) |
| j7 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997) |
| j6 | | Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri: On Compact Representations of Propositional Circumscription. Theor. Comput. Sci. 182(1-2): 183-202 (1997) |
| c24 | | Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: Reasoning with Behavioural Knowledge in Application Domain Models. AI*IA 1997: 367-380 |
| c23 | | Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: A Description Logic for reasoning with behavioural knowledge. Description Logics 1997 |
| c22 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. IJCAI (1) 1997: 136-141 |
| e1 | | Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset (Eds.): Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI. URA-CNRS 410, 1997 |
| 1996 | ||
| j5 | | Marco Cadoli, Francesco M. Donini, Marco Schaerf: Is Intractability of Nonmonotonic Reasoning a Real Drawback? Artif. Intell. 88(1-2): 215-251 (1996) |
| c21 | | Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996: 107-110 |
| c20 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Feasibility and Unfeasibility of Off-Line Processing. ISTCS 1996: 100-109 |
| c19 | | Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati: A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103 |
| c18 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. KR 1996: 364-373 |
| 1995 | ||
| c17 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. AI*IA 1995: 91-102 |
| c16 | | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. PODS 1995: 151-162 |
| c15 | | Marco Cadoli, Francesco M. Donini, Marco Schaerf: On Compact Representations of Propositional Circumscription. STACS 1995: 205-216 |
| c14 | | Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144 |
| 1994 | ||
| j4 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: Deduction in Concept Languages: From Subsumption to Instance Checking. J. Log. Comput. 4(4): 423-452 (1994) |
| c13 | | Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf: Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994: 199-204 |
| c12 | | Marco Cadoli, Francesco M. Donini, Marco Schaerf: Is Intractability of Non-Monotonic Reasoning a Real Drawback? AAAI 1994: 946-951 |
| c11 | | Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994 |
| 1993 | ||
| j3 | | Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. (JAIR) 1: 109-138 (1993) |
| c10 | | Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709 |
| i1 | | Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. CoRR cs.AI/9312101 (1993) |
| 1992 | ||
| j2 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela: The Complexity of Existential Quantification in Concept Languages. Artif. Intell. 53(2-3): 309-327 (1992) |
| c9 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 113-132 |
| c8 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 |
| 1991 | ||
| c7 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97 |
| c6 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. Description Logics 1991: 39-42 |
| c5 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90 |
| c4 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. IJCAI 1991: 458-465 |
| c3 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162 |
| 1990 | ||
| j1 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi: Using Terminological Reasoning in Hybrid Systems. AI Commun. 3(3): 128-138 (1990) |
| c2 | | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi: An Efficient Method for Hybrid Deduction. ECAI 1990: 246-252 |
| 1988 | ||
| c1 | | Francesco M. Donini, Maurizio Lenzerini: TermLog: a Logic for Terminological Knowledge. ISMIS 1988: 408-417 |
Colors in the list of coauthors
Last update Mon May 20 00:16:14 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page