| 2009 |
|---|
| 120 | EE | 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) |
| 2008 |
|---|
| 119 | EE | Simona Colucci,
Eugenio Di Sciascio,
Francesco M. Donini,
Eufemia Tinelli:
Finding informative commonalities in concept collections.
CIKM 2008: 807-817 |
| 118 | EE | 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 |
| 117 | EE | 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 |
| 116 | EE | Simona Colucci,
Eugenio Di Sciascio,
Francesco M. Donini:
Partial and Informative Common Subsumers of Concepts Collections in Description Logics.
Description Logics 2008 |
| 115 | EE | Simona Colucci,
Eugenio Di Sciascio,
Francesco M. Donini,
Eufemia Tinelli:
Partial and Informative Common Subsumers in Description Logics.
ECAI 2008: 739-740 |
| 114 | EE | 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 |
| 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 |
| 112 | EE | Simona Colucci,
Eugenio Di Sciascio,
Francesco M. Donini,
Eufemia Tinelli:
Semantic-based Automated Evaluation of Company Core Competence.
SWAP 2008 |
| 111 | EE | 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) |
| 110 | EE | 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) |
| 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 |
| 108 | EE | 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 |
| 107 | EE | 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 |
| 106 | EE | 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 |
| 105 | EE | 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 |
| 104 | EE | 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 |
| 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 |
| 102 | EE | 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) |
| 101 | EE | 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) |
| 100 | EE | 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) |
| 99 | EE | 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) |
| 98 | EE | 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) |
| 2006 |
|---|
| 97 | EE | 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 |
| 96 | EE | 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 |
| 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 |
| 94 | EE | 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 |
| 93 | EE | Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini:
Editorial message: semantic-based resource discovery, retrieval and composition track.
SAC 2006: 1662-1663 |
| 92 | EE | 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 |
| 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 |
| 90 | EE | 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) |
| 89 | EE | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
k-Approximating Circuits.
IEEE Trans. Computers 55(7): 913-917 (2006) |
| 88 | EE | 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) |
| 87 | EE | 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) |
| 2005 |
|---|
| 86 | EE | 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 |
| 85 | EE | 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 |
| 84 | EE | 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 |
| 83 | EE | 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 |
| 82 | EE | 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 |
| 81 | EE | 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 |
| 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 |
| 79 | EE | 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 |
| 78 | EE | 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 |
| 77 | EE | 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) |
| 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 |
| 75 | EE | Andrea Calì,
Diego Calvanese,
Simona Colucci,
Tommaso Di Noia,
Francesco M. Donini:
A Description Logic Based Approach for Matching User Profiles.
Description Logics 2004 |
| 74 | EE | 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 |
| 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 |
| 72 | EE | Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini:
Extending Semantic-Based Matchmaking via Concept Abduction and Contraction.
EKAW 2004: 307-320 |
| 71 | EE | 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 |
| 70 | EE | Andrea Calì,
Diego Calvanese,
Simona Colucci,
Tommaso Di Noia,
Francesco M. Donini:
A Logic-Based Approach for Matching User Profiles.
KES 2004: 187-195 |
| 69 | EE | 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 |
| 68 | EE | 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) |
| 67 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A Logic for SVG Documents Query and Retrieval.
Multimedia Tools Appl. 24(2): 125-153 (2004) |
| 66 | EE | 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) |
| 2003 |
|---|
| 65 | EE | Eugenio 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 |
| 63 | EE | Simona 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 |
| 60 | EE | Tommaso Di Noia,
Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A system for principled matchmaking in an electronic marketplace.
WWW 2003: 321-330 |
| 59 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach.
WWW (Posters) 2003 |
| 58 | EE | 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) |
| 2002 |
|---|
| 57 | EE | Eugenio 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 |
| 55 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello,
Giacomo Piscitelli:
AnWeb: a sytem for automatic support to web application verification.
SEKE 2002: 609-616 |
| 54 | EE | 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) |
| 53 | EE | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
k-Approximating Circuits
Electronic Colloquium on Computational Complexity (ECCC)(067): (2002) |
| 52 | EE | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
Preprocessing of Intractable Problems.
Inf. Comput. 176(2): 89-120 (2002) |
| 51 | EE | 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) |
| 50 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Structured Knowledge Representation for Image Retrieval.
J. Artif. Intell. Res. (JAIR) 16: 209-257 (2002) |
| 49 | EE | 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) |
| 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 |
| 46 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
Semantic Indexing for Image Retrieval Using Description Logics.
VISUAL 2000: 372-383 |
| 45 | EE | Francesco M. Donini,
Fabio Massacci:
EXPTIME tableaux for ALC.
Artif. Intell. 124(1): 87-138 (2000) |
| 44 | EE | 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) |
| 1999 |
|---|
| 43 | EE | Eugenio Di Sciascio,
Francesco M. Donini,
Marina Mongiello:
A Description Logic for Image Retrieval.
AI*IA 1999: 13-24 |
| 42 | EE | Eugenio Di Sciascio,
Francesco M. Donini:
Description Logics for Image Recognition: a preliminary proposal.
Description Logics 1999 |
| 41 | EE | Emilio Domenicucci,
Francesco M. Donini,
Marco Schaerf:
ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes.
Description Logics 1999 |
| 40 | EE | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
The Size of a Revised Knowledge Base.
Artif. Intell. 115(1): 25-64 (1999) |
| 1998 |
|---|
| 39 | EE | Ernesto 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 |
| 37 | EE | 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) |
| 36 | EE | 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) |
| 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 |
| 32 | EE | Ernesto 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) |
| 27 | EE | Marco 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 |
| 24 | | Francesco 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 |
| 22 | EE | Marco 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 |
| 20 | EE | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
The Size of a Revised Knowledge Base.
PODS 1995: 151-162 |
| 19 | | Marco 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 |
| 15 | EE | Martin 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 |
| 12 | EE | Martin 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 |
