The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francesco M. Donini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
    The Complexity of Concept Languages. [Citation Graph (7, 0)][DBLP]
    KR, 1991, pp:151-162 [Conf]
  2. Martin Buchheit, Francesco M. Donini, Andrea Schaerf
    Decidable Reasoning in Terminological Knowledge Representation Systems. [Citation Graph (3, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1993, v:1, n:, pp:109-138 [Journal]
  3. Martin Buchheit, Francesco M. Donini, Andrea Schaerf
    Decidable Reasoning in Terminological Knowledge Representation Systems. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1993, pp:704-709 [Conf]
  4. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
    Tractable Concept Languages. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1991, pp:458-465 [Conf]
  5. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela
    The Complexity of Existential Quantification in Concept Languages. [Citation Graph (2, 0)][DBLP]
    Artif. Intell., 1992, v:53, n:2-3, pp:309-327 [Journal]
  6. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
    A Hybrid System with Datalog and Concept Languages. [Citation Graph (1, 0)][DBLP]
    AI*IA, 1991, pp:88-97 [Conf]
  7. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt
    Adding Epistemic Operators to Concept Languages. [Citation Graph (1, 0)][DBLP]
    KR, 1992, pp:342-353 [Conf]
  8. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    The Size of a Revised Knowledge Base. [Citation Graph (1, 10)][DBLP]
    PODS, 1995, pp:151-162 [Conf]
  9. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
    The Complexity of Concept Languages. [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1997, v:134, n:1, pp:1-58 [Journal]
  10. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
    AL-log: Integrating Datalog and Description Logics. [Citation Graph (1, 0)][DBLP]
    J. Intell. Inf. Syst., 1998, v:10, n:3, pp:227-252 [Journal]
  11. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
    Knowledge elicitation for query refinement in a semantic-enabled e-marketplace. [Citation Graph (0, 0)][DBLP]
    ICEC, 2005, pp:685-691 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    ICEC, 2006, pp:174-184 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    ICEC, 2004, pp:41-50 [Conf]
  14. Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf
    Refining the Structure of Terminological Systems: Terminology = Schema + Views. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:199-204 [Conf]
  15. Marco Cadoli, Francesco M. Donini, Marco Schaerf
    Is Intractability of Non-Monotonic Reasoning a Real Drawback? [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:946-951 [Conf]
  16. Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
    Reasoning with Behavioural Knowledge in Application Domain Models. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1997, pp:367-380 [Conf]
  17. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
    Non-first-order features in concept languages. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:91-102 [Conf]
  18. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    A Description Logic for Image Retrieval. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:13-24 [Conf]
  19. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
    Web Applications Design and Maintenance Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CSMR, 2003, pp:63-72 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    CSMR, 2006, pp:343-346 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    DEECS, 2006, pp:13-27 [Conf]
  22. Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci
    Exptime Tableaux for ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:107-110 [Conf]
  23. Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
    A Description Logic Based Approach for Matching User Profiles. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  24. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Concept Abduction and Contraction in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  26. Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
    DL-based Support to Domain Engineering. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  27. Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
    A Description Logic for reasoning with behavioural knowledge. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  28. Emilio Domenicucci, Francesco M. Donini, Marco Schaerf
    ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  29. Francesco M. Donini
    Complexity of Reasoning. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:96-136 [Conf]
  30. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
    Tractable Concept Languages. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1991, pp:39-42 [Conf]
  31. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
    The Complexity of Concept Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Description Logics, 1991, pp:87-90 [Conf]
  32. Eugenio Di Sciascio, Francesco M. Donini
    Description Logics for Image Recognition: a preliminary proposal. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  33. 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. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:975-976 [Conf]
  34. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi
    An Efficient Method for Hybrid Deduction. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:246-252 [Conf]
  35. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
    Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. [Citation Graph (0, 0)][DBLP]
    ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:113-132 [Conf]
  36. Paolo Liberatore, Francesco M. Donini
    Verification Programs for Abduction. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:166-170 [Conf]
  37. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
    A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:230-234 [Conf]
  38. Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
    Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis. [Citation Graph (0, 0)][DBLP]
    EJC, 1998, pp:115-131 [Conf]
  39. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
    Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. [Citation Graph (0, 0)][DBLP]
    EKAW, 2004, pp:307-320 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:633-648 [Conf]
  41. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
    Design Verification of Web Applications Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    ICWE, 2005, pp:69-74 [Conf]
  42. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci
    Fully Automated Web Services Orchestration in a Resource Retrieval Scenario. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:427-434 [Conf]
  43. Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto
    Ontology-Based Natural Language Parser for E-Marketplaces. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2005, pp:279-289 [Conf]
  44. 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. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:315-328 [Conf]
  45. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
    Autoepistemic Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:136-141 [Conf]
  46. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Abductive Matchmaking using Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:337-342 [Conf]
  47. Francesco M. Donini, Maurizio Lenzerini
    TermLog: a Logic for Terminological Knowledge. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1988, pp:408-417 [Conf]
  48. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    I-Search: A System for Intelligent Information Search on the Web. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2002, pp:149-157 [Conf]
  49. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    Feasibility and Unfeasibility of Off-Line Processing. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1996, pp:100-109 [Conf]
  50. Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati
    A Uniform Tableaux Method for Nonmonotonic Modal Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:87-103 [Conf]
  51. Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
    A Logic-Based Approach for Matching User Profiles. [Citation Graph (0, 0)][DBLP]
    KES, 2004, pp:187-195 [Conf]
  52. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:364-373 [Conf]
  53. Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf
    Solving QBF by SMV. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:578-592 [Conf]
  54. Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
    Terminological Systems Revisited: Terminology = Schema + Views. [Citation Graph (0, 0)][DBLP]
    KRDB, 1994, pp:- [Conf]
  55. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1314-1319 [Conf]
  56. 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. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1709-1710 [Conf]
  57. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
    Editorial message: semantic-based resource discovery, retrieval and composition track. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1662-1663 [Conf]
  58. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Semantic Matchmaking in a P-2-P Electronic Marketplace. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:582-586 [Conf]
  59. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1040-1044 [Conf]
  60. 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. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:232-239 [Conf]
  61. Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto
    OwlEd: An Ontology Manager for MaMaS-tng. [Citation Graph (0, 0)][DBLP]
    SEBD, 2006, pp:175-186 [Conf]
  62. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
    AnWeb: a sytem for automatic support to web application verification. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:609-616 [Conf]
  63. Marco Cadoli, Francesco M. Donini, Marco Schaerf
    On Compact Representations of Propositional Circumscription. [Citation Graph (0, 0)][DBLP]
    STACS, 1995, pp:205-216 [Conf]
  64. Fabio Massacci, Francesco M. Donini
    Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:52-56 [Conf]
  65. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Semantic Indexing for Image Retrieval Using Description Logics. [Citation Graph (0, 0)][DBLP]
    VISUAL, 2000, pp:372-383 [Conf]
  66. Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli
    Semantic Based Collaborative P2P in Ubiquitous Computing. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2005, pp:143-149 [Conf]
  67. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
    Ground Nonmonotonic Modal Logics for Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:133-144 [Conf]
  68. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    A system for principled matchmaking in an electronic marketplace. [Citation Graph (0, 0)][DBLP]
    WWW, 2003, pp:321-330 [Conf]
  69. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci
    Automated semantic web services orchestration via concept covering. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:1160-1161 [Conf]
  70. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach. [Citation Graph (0, 0)][DBLP]
    WWW (Posters), 2003, pp:- [Conf]
  71. Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
    A Refined Architecture for Terminological Systems: Terminology = Schema + Views. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:99, n:2, pp:209-260 [Journal]
  72. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    The Size of a Revised Knowledge Base. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:115, n:1, pp:25-64 [Journal]
  73. Marco Cadoli, Francesco M. Donini, Marco Schaerf
    Is Intractability of Nonmonotonic Reasoning a Real Drawback? [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:88, n:1-2, pp:215-251 [Journal]
  74. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
    An Epistemic Operator for Description Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:100, n:1-2, pp:225-274 [Journal]
  75. Francesco M. Donini, Fabio Massacci
    EXPTIME tableaux for ALC. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:124, n:1, pp:87-138 [Journal]
  76. Marco Cadoli, Francesco M. Donini
    A Survey on Knowledge Compilation. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1997, v:10, n:3-4, pp:137-150 [Journal]
  77. Martin Buchheit, Francesco M. Donini, Andrea Schaerf
    Decidable Reasoning in Terminological Knowledge Representation Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 1993, v:0, n:, pp:- [Journal]
  78. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    k-Approximating Circuits [Citation Graph (0, 0)][DBLP]
    Electronic Colloquium on Computational Complexity (ECCC), 2002, v:, n:067, pp:- [Journal]
  79. 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. [Citation Graph (0, 0)][DBLP]
    Electronic Commerce Research and Applications, 2005, v:4, n:4, pp:345-361 [Journal]
  80. Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
    A Model Checking-based Method for Verifying Web Application Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:19-32 [Journal]
  81. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    Preprocessing of Intractable Problems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:176, n:2, pp:89-120 [Journal]
  82. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Using Computation Tree Logic for Intelligent Information Search on the Web. [Citation Graph (0, 0)][DBLP]
    International Journal of Computational Intelligence and Applications, 2002, v:2, n:3, pp:245-253 [Journal]
  83. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    Space Efficiency of Propositional Knowledge Representation Formalisms. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2000, v:13, n:, pp:1-31 [Journal]
  84. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Structured Knowledge Representation for Image Retrieval. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2002, v:16, n:, pp:209-257 [Journal]
  85. 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. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:12, pp:1437-1454 [Journal]
  86. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
    Semantic-based Approach to Task Assignment of Individual Profiles. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:6, pp:723-730 [Journal]
  87. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
    Deduction in Concept Languages: From Subsumption to Instance Checking. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:4, pp:423-452 [Journal]
  88. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
    Ground Nonmonotonic Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:4, pp:523-548 [Journal]
  89. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    A Logic for SVG Documents Query and Retrieval. [Citation Graph (0, 0)][DBLP]
    Multimedia Tools Appl., 2004, v:24, n:2, pp:125-153 [Journal]
  90. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
    Spatial layout representation for query-by-sketch content-based image retrieval. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition Letters, 2002, v:23, n:13, pp:1599-1612 [Journal]
  91. Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini, L. Allegretti
    Retrieval by spatial similarity: an algorithm and a comparative evaluation . [Citation Graph (0, 0)][DBLP]
    Pattern Recognition Letters, 2004, v:25, n:14, pp:1633-1645 [Journal]
  92. Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
    k-Approximating Circuits. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2006, v:55, n:7, pp:913-917 [Journal]
  93. Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri
    On Compact Representations of Propositional Circumscription. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:182, n:1-2, pp:183-202 [Journal]
  94. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
    Description logics of minimal knowledge and negation as failure. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:2, pp:177-225 [Journal]
  95. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
    Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:477-482 [Conf]
  96. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
    Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces. [Citation Graph (0, 0)][DBLP]
    ESWC, 2007, pp:414-428 [Conf]
  97. Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
    Extending Datalog for Matchmaking in P2P E-Marketplaces. [Citation Graph (0, 0)][DBLP]
    SEBD, 2007, pp:463-470 [Conf]
  98. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
    Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces. [Citation Graph (0, 0)][DBLP]
    ISWC/ASWC, 2007, pp:395-408 [Conf]

  99. When price is not enough: combining logical and numerical issues in bilateral negotiation. [Citation Graph (, )][DBLP]


  100. Finding informative commonalities in concept collections. [Citation Graph (, )][DBLP]


  101. Computing Utility from Weighted Description Logic Preference Formulas. [Citation Graph (, )][DBLP]


  102. Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. [Citation Graph (, )][DBLP]


  103. Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. [Citation Graph (, )][DBLP]


  104. DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. [Citation Graph (, )][DBLP]


  105. Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. [Citation Graph (, )][DBLP]


  106. Partial and Informative Common Subsumers of Concepts Collections in Description Logics. [Citation Graph (, )][DBLP]


  107. A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]


  108. A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. [Citation Graph (, )][DBLP]


  109. Partial and Informative Common Subsumers in Description Logics. [Citation Graph (, )][DBLP]


  110. A Unified Framework for Non-standard Reasoning Services in Description Logics. [Citation Graph (, )][DBLP]


  111. Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces. [Citation Graph (, )][DBLP]


  112. Towards a Fuzzy Logic for Automated Multi-issue Negotiation. [Citation Graph (, )][DBLP]


  113. Computing Information Minimal Match Explanations for Logic-Based Matchmaking. [Citation Graph (, )][DBLP]


  114. I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL. [Citation Graph (, )][DBLP]


  115. A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. [Citation Graph (, )][DBLP]


  116. A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces. [Citation Graph (, )][DBLP]


  117. Weighted Description Logics Preference Formulas for Multiattribute Negotiation. [Citation Graph (, )][DBLP]


  118. Semantic-based Automated Evaluation of Company Core Competence. [Citation Graph (, )][DBLP]


  119. Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002