Giuseppe De Giacomo

From Tetherless World Wiki

Jump to: navigation, search
Giuseppe De Giacomo [ Edit ]
Photo:
Name: Giuseppe De Giacomo
Occupation:
Affiliation(s):
Homepage(s):
Email(s):
Phone:
Fax:
Interests:
Other tags:
Alias:
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Giuseppe De GiacomoMaurizio LenzeriniRiccardo Rosati. Towards Higher-Order DL-Lite, In Description Logics, , 2008 .
  2. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Inconsistency tolerance in P2P data integration: An epistemic logic approach, In Inf. Syst., 33(4-5):360-384, 2008 .
  3. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Conjunctive query containment and answering under description logic constraints, In ACM Trans. Comput. Log., 9(3), 2008 .
  4. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Path-Based Identification Constraints in Description Logics, In KR, pp. 231-241, 2008 .
  5. Antonella PoggiDomenico LemboDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniRiccardo Rosati. Linking Data to Ontologies, In J. Data Semantics, 10:133-173, 2008 .
  6. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMassimo MecellaFabio Patrizi. Automatic Service Composition and Synthesis: the Roman Model, In IEEE Data Eng. Bull., 31(3):18-22, 2008 .
  7. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniRiccardo Rosati. View-Based Query Answering over Description Logic Ontologies, In KR, pp. 242-251, 2008 .
  8. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. View-based query processing: On the relationship between rewriting, answering and losslessness, In Theor. Comput. Sci., 371(3):169-182, 2007 .
  9. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Can OWL Model Football Leagues?, In OWLED, , 2007 .
  10. Sebastian SardiñaFabio PatriziGiuseppe De Giacomo. Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors, In AAAI, pp. 1063-1069, 2007 (Download) .
  11. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. EQL-Lite: Effective First-Order Query Processing in Description Logics, In IJCAI, pp. 274-279, 2007 (Download) .
  12. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniRiccardo Rosati. Actions and Programs over Description Logic Ontologies, In Description Logics, , 2007 .
  13. Giuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. On reconciling data exchange, data integration, and peer data management, In PODS, pp. 133-142, 2007 .
  14. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniAntonella PoggiRiccardo Rosati. Ontology-based Database Access, In SEBD, pp. 324-331, 2007 .
  15. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniDomenico LemboAntonella PoggiRiccardo Rosati. MASTRO-I: Efficient Integration of Relational Data through DL Ontologies, In Description Logics, , 2007 .
  16. Giuseppe De GiacomoMaurizio LenzeriniAntonella PoggiRiccardo Rosati. On the Approximation of Instance Level Update and Erasure in Description Logics, In AAAI, pp. 403-408, 2007 (Download) .
  17. Giuseppe De GiacomoSebastian Sardiña. Automatic Synthesis of New Behaviors from a Library of Available Behaviors, In IJCAI, pp. 1866-1871, 2007 (Download) .
  18. Marco CadoliDiego CalvaneseGiuseppe De GiacomoToni Mancini. Finite Model Reasoning on UML Class Diagrams Via Constraint Programming, In AI*IA, pp. 36-47, 2007 .
  19. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. EQL-Lite: Effective First-Order Query Processing in Description Logics, In IJCAI, pp. 274-279, 2007 .
  20. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Data Complexity of Query Answering in Description Logics, In KR, pp. 260-270, 2006 .
  21. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Epistemic First-order Queries over Description Logic Knowledge Bases, In Description Logics, , 2006 .
  22. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniAntonella PoggiRiccardo Rosati. Linking Data to Ontologies: The Description Logic DL-Lite_A, In OWLED, , 2006 .
  23. Giuseppe De GiacomoMaurizio LenzeriniAntonella PoggiRiccardo Rosati. On the Update of Description Logic Ontologies at the Instance Level, In AAAI, , 2006 (Download) .
  24. Daniela BerardiGiuseppe De GiacomoMassimo MecellaDiego Calvanese. ComposingWeb Services with Nondeterministic Behavior, In ICWS, pp. 909-912, 2006 .
  25. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Efficiently Managing Data Intensive Ontologies, In SWAP, , 2005 .
  26. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoRichard HullMassimo Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging, In VLDB, pp. 613-624, 2005 (Download) .
  27. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoMassimo Mecella. Composition of Services with Nondeterministic Observable Behavior, In ICSOC, pp. 520-526, 2005 .
  28. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach, In DBPL, pp. 90-105, 2005 .
  29. Diego CalvaneseGiuseppe De GiacomoMoshe Y. Vardi. Decidable containment of recursive queries, In Theor. Comput. Sci., 336(1):33-56, 2005 .
  30. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMassimo Mecella. Automatic Service Composition Based on Behavioral Descriptions, In Int. J. Cooperative Inf. Syst., 14(4):333-376, 2005 .
  31. Diego CalvaneseGiuseppe De Giacomo. Data Integration: A Logic-Based Perspective, In AI Magazine, 26(1):59-70, 2005 .
  32. Andrea AcciarriDiego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniMattia PalmieriRiccardo Rosati. QuOnto: Querying Ontologies, In AAAI, pp. 1670-1671, 2005 (Download) .
  33. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Conjunctive Query Containment and Answering under Description Logics Constraints, In CoRR, abs/cs/0507067, 2005 .
  34. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoRichard HullMassimo Mecella. Automatic Composition of Web Services in Colombo, In SEBD, pp. 8-15, 2005 .
  35. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness, In ICDT, pp. 321-336, 2005 .
  36. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. DL-Lite: Tractable Description Logics for Ontologies, In AAAI, pp. 602-607, 2005 (Download) .
  37. Daniela BerardiDiego CalvaneseGiuseppe De Giacomo. Reasoning on UML class diagrams, In Artif. Intell., 168(1-2):70-118, 2005 .
  38. Giuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Tailoring OWL for Data Intensive Ontologies, In OWLED, , 2005 .
  39. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. What to Ask to a Peer: Ontolgoy-based Query Reformulation, In KR, pp. 469-478, 2004 .
  40. Marco CadoliDiego CalvaneseGiuseppe De Giacomo. Towards Implementing Finite Model Reasoning in Description Logics, In Description Logics, , 2004 .
  41. Giuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Tackling Inconsistencies in Data Integration through Source Preferences, In IQIS, pp. 27-34, 2004 .
  42. Giuseppe De GiacomoToni Mancini. Scaling Up Reasoning about Actions Using Relational Database Technology, In AAAI, pp. 245-256, 2004 (Download) .
  43. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMassimo Mecella. [[A Tool for Automatic Composition ofServices Based on Logics of Programs|]], In TES, pp. 80-94, 2004 .
  44. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniRiccardo Rosati. Logical Foundations of Peer-To-Peer Data Integration, In PODS, pp. 241-251, 2004 .
  45. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniRiccardo RosatiGuido Vetere. Hyper: A Framework for Peer-to-Peer Data Integration on Grids, In ICSNW, pp. 144-157, 2004 .
  46. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniRiccardo RosatiGuido Vetere. DL-Lite: Practical Reasoning for Rich Dls, In Description Logics, , 2004 .
  47. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Data integration under integrity constraints, In Inf. Syst., 29(2):147-163, 2004 .
  48. Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo Rosati. Query Reformulation over Ontology-based Peers, In SEBD, pp. 418-425, 2004 .
  49. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMassimo Mecella. e-Service Composition by Description Logics Based Reasoning, In Description Logics, , 2003 .
  50. Diego CalvaneseGiuseppe De Giacomo. Expressive Description Logics, In Description Logic Handbook, pp. 178-218, 2003 .
  51. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMassimo Mecella. A Foundational Vision of e-Services, In WES, pp. 28-40, 2003 .
  52. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniPaolo NaggarFabio Vernacotola. IBIS: Semantic Data Integration at Work, In CAiSE, pp. 79-94, 2003 .
  53. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. View-based query containment, In PODS, pp. 56-67, 2003 .
  54. Diego CalvaneseGiuseppe De GiacomoMoshe Y. Vardi. Decidable Containment of Recursive Queries, In ICDT, pp. 327-342, 2003 .
  55. Daniela BerardiDiego CalvaneseGiuseppe De Giacomo. Reasoning on UML Class Diagrams is EXPTIME-hard, In Description Logics, , 2003 .
  56. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Reasoning on regular path queries, In SIGMOD Record, 32(4):83-92, 2003 .
  57. Diego CalvaneseElio DamaggioGiuseppe De GiacomoMaurizio LenzeriniRiccardo Rosati. Semantic Data Integration in P2P Systems, In DBISP2P, pp. 77-90, 2003 .
  58. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Query Containment Using Views, In SEBD, pp. 467-474, 2003 .
  59. Daniela BerardiDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMassimo Mecella. Automatic Composition of E-services That Export Their Behavior, In ICSOC, pp. 43-58, 2003 .
  60. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Data Integration under Integrity Constraints, In CAiSE, pp. 262-279, 2002 .
  61. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. On the Role of Integrity Constraints in Data Integration, In IEEE Data Eng. Bull., 25(3):39-45, 2002 .
  62. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniPaolo NaggarFabio Vernacotola. IBIS: Data Integration at Work, In SEBD, pp. 291-298, 2002 .
  63. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Lossless Regular Views, In PODS, pp. 247-258, 2002 .
  64. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. A Formal Framework for Reasoning on UML Class Diagrams, In ISMIS, pp. 503-513, 2002 .
  65. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Description Logics for Information Integration, In Computational Logic: Logic Programming and Beyond, pp. 41-60, 2002 .
  66. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Rewriting of Regular Expressions and Regular Path Queries, In J. Comput. Syst. Sci., 64(3):443-465, 2002 .
  67. Diego CalvaneseGiuseppe De GiacomoMoshe Y. Vardi. Reasoning about Actions and Planning in LTL Action Theories, In KR, pp. 593-602, 2002 .
  68. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Accessing Data Integration Systems through Conceptual Schemas, In SEBD, pp. 161-168, 2002 .
  69. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Description Logics: Foundations for Class-based Knowledge Representation, In LICS, pp. 359-370, 2002 .
  70. Andrea Cal\` \iDiego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. On the Expressive Power of Data Integration Systems, In ER, pp. 338-350, 2002 .
  71. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. View-Based Query Answering and Query Containment over Semistructured Data, In DBPL, pp. 40-61, 2001 .
  72. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. A Framework for Ontology Integration, In The Emerging Semantic Web, , 2001 (Download) .
  73. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniDaniele NardiRiccardo Rosati. Data Integration in Data Warehousing, In Int. J. Cooperative Inf. Syst., 10(3):237-271, 2001 .
  74. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Ontology of Integration and Integration of Ontologies, In Description Logics, , 2001 .
  75. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Identification Constraints and Functional Dependencies in Description Logics, In IJCAI, pp. 155-160, 2001 (Download) .
  76. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. A Framework for Ontology Integration, In SWWS, pp. 303-316, 2001 (Download) .
  77. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniDaniele Nardi. Reasoning in Expressive Description Logics, In Handbook of Automated Reasoning, pp. 1581-1634, 2001 .
  78. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. View-Based Query Processing for Regular Path Queries with Inverse, In PODS, pp. 58-66, 2000 .
  79. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. What is View-Based Query Rewriting?, In KRDB, pp. 17-27, 2000 .
  80. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Keys for Free in Description Logics, In Description Logics, pp. 79-88, 2000 .
  81. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. View-Based Query Processing and Constraint Satisfaction, In LICS, pp. 361-371, 2000 .
  82. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Containment of Conjunctive Regular Path Queries with Inverse, In KR, pp. 176-185, 2000 .
  83. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Answering Regular Path Queries Using Views, In ICDE, pp. 389-398, 2000 .
  84. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. What is Query Rewriting?, In CIA, pp. 51-59, 2000 .
  85. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Answering Queries Using Views over Description Logics Knowledge Bases, In AAAI/IAAI, pp. 386-391, 2000 (Download) .
  86. Giuseppe De GiacomoHector J. Levesque. Projection Using Regression and Sensors, In IJCAI, pp. 160-165, 1999 (Download) .
  87. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees, In IJCAI, pp. 84-89, 1999 (Download) .
  88. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Representing and Reasoning on XML Documents: A Description Logic Approach, In J. Log. Comput., 9(3):295-318, 1999 .
  89. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Answering Queries Using Views in Description Logics, In KRDB, pp. 6-10, 1999 .
  90. Enrico FranconiGiuseppe De GiacomoIan HorrocksDeborah L. McGuinnessWerner NuttPeter F. Patel-SchneiderChristopher A. Welty. Report on the 1998 International Workshop on Description Logics (DL'98), In J. Log. Comput., 9(3):449-456, 1999 (Download) .
  91. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Rewriting of Regular Path Queries, In SEBD, pp. 213-224, 1999 .
  92. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Queries and Constraints on Semi-structured Data, In CAiSE, pp. 434-438, 1999 .
  93. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Modeling and Querying Semi-Structured data, In Networking and Information Systems, 2(2):253-273, 1999 .
  94. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMoshe Y. Vardi. Query Answering Using Views for Data Integration over the Web, In WebDB (Informal Proceedings), pp. 73-78, 1999 .
  95. Diego CalvaneseGiuseppe De GiacomoRiccardo Rosati. Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support, In Networking and Information Systems, 2(4):413-432, 1999 .
  96. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniDaniele NardiRiccardo Rosati. A Principled Approach to Data Integration and Reconciliation in Data Warehousing, In DMDW, pp. 16, 1999 .
  97. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. On the Decidability of Query Containment under Constraints, In PODS, pp. 149-158, 1998 .
  98. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniDaniele NardiRiccardo Rosati. Information Integration: Conceptual Modeling and Reasoning Support, In CoopIS, pp. 280-291, 1998 .
  99. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. What can Knowledge Representation do for Semi-Structured Data?, In AAAI/IAAI, pp. 205-210, 1998 (Download) .
  100. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Semi-structured Data with Constraints and Incomplete Information, In Description Logics, , 1998 .
  101. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniDaniele NardiRiccardo Rosati. Source Integration in Data Warehousing, In DEXA Workshop, pp. 192-197, 1998 .
  102. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Extending Semi-Structured Data, In SEBD, pp. 87-102, 1998 .
  103. Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniDaniele NardiRiccardo Rosati. Description Logic Framework for Information Integration, In KR, pp. 2-13, 1998 .
  104. Diego CalvaneseGiuseppe De GiacomoRiccardo Rosati. A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases, In Description Logics, , 1998 .
  105. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Conjunctive Query Containment in Description Logics with n-ary Relations, In Description Logics, , 1997 .
  106. Giuseppe De GiacomoYves LespéranceHector J. Levesque. Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus, In IJCAI, pp. 1221-1226, 1997 (Download) .
  107. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Representing and Reasoning on SGML Documents, In ISMIS, pp. 540-549, 1997 .
  108. Giuseppe De GiacomoMaurizio Lenzerini. A Uniform Framework for Concept Definitions in Description Logics, In CoRR, cs.AI/9703101, 1997 .
  109. Giuseppe De GiacomoXiao Jun Chen. Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach, In AAAI/IAAI, Vol. 1, pp. 658-663, 1996 (Download) .
  110. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Representing SGML Documents in Description Logics, In Description Logics, pp. 102-106, 1996 .
  111. Giuseppe De GiacomoMaurizio Lenzerini. TBox and ABox Reasoning in Expressive Description Logics, In Description Logics, pp. 37-48, 1996 .
  112. Giuseppe De GiacomoMaurizio Lenzerini. What's in an Aggregate: Foundations for Description Logics with Tuples and Sets, In IJCAI (1), pp. 801-807, 1995 (Download) .
  113. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Increasing the Power of Structured Objects, In KRDB, , 1995 .
  114. Giuseppe De GiacomoMaurizio Lenzerini. PDL-based framework for reasoning about actions, In AI*IA, pp. 103-114, 1995 .
  115. Diego CalvaneseGiuseppe De GiacomoMaurizio Lenzerini. Structured Objects: Modeling and Reasoning, In DOOD, pp. 229-246, 1995 .
  116. Giuseppe De GiacomoMaurizio Lenzerini. Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus, In ECAI, pp. 411-415, 1994 .
  117. Giuseppe De GiacomoMaurizio Lenzerini. Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations, In JELIA, pp. 332-346, 1994 .
  118. Giuseppe De GiacomoMaurizio Lenzerini. Boosting the Correspondence between Description Logics and Propositional Dynamic Logics, In AAAI, pp. 205-212, 1994 (Download) .

External Links

More information on Google, and DBLP

Facts about Giuseppe De GiacomoRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Giuseppe  +
Foaf:name Giuseppe De Giacomo  +
Foaf:surname Giacomo  +
Has identifier Giuseppe De Giacomo  +
MiddleName De  +
Personal tools