The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuseppe De Giacomo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Rewriting of Regular Expressions and Regular Path Queries. [Citation Graph (6, 31)][DBLP]
    PODS, 1999, pp:194-204 [Conf]
  2. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    What can Knowledge Representation do for Semi-Structured Data? [Citation Graph (5, 0)][DBLP]
    AAAI/IAAI, 1998, pp:205-210 [Conf]
  3. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    On the Decidability of Query Containment under Constraints. [Citation Graph (5, 24)][DBLP]
    PODS, 1998, pp:149-158 [Conf]
  4. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
    Information Integration: Conceptual Modeling and Reasoning Support. [Citation Graph (3, 0)][DBLP]
    CoopIS, 1998, pp:280-291 [Conf]
  5. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Structured Objects: Modeling and Reasoning. [Citation Graph (3, 0)][DBLP]
    DOOD, 1995, pp:229-246 [Conf]
  6. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Answering Regular Path Queries Using Views. [Citation Graph (3, 0)][DBLP]
    ICDE, 2000, pp:389-398 [Conf]
  7. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Answering Queries Using Views in Description Logics. [Citation Graph (3, 0)][DBLP]
    KRDB, 1999, pp:6-10 [Conf]
  8. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Processing for Regular Path Queries with Inverse. [Citation Graph (2, 31)][DBLP]
    PODS, 2000, pp:58-66 [Conf]
  9. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Query Answering Using Views for Data Integration over the Web. [Citation Graph (2, 0)][DBLP]
    WebDB (Informal Proceedings), 1999, pp:73-78 [Conf]
  10. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Representing and Reasoning on XML Documents: A Description Logic Approach. [Citation Graph (2, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:295-318 [Journal]
  11. Giuseppe De Giacomo, Xiao Jun Chen
    Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. [Citation Graph (1, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:658-663 [Conf]
  12. Giuseppe De Giacomo, Maurizio Lenzerini
    Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. [Citation Graph (1, 0)][DBLP]
    AAAI, 1994, pp:205-212 [Conf]
  13. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Keys for Free in Description Logics. [Citation Graph (1, 0)][DBLP]
    Description Logics, 2000, pp:79-88 [Conf]
  14. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
    A Principled Approach to Data Integration and Reconciliation in Data Warehousing. [Citation Graph (1, 0)][DBLP]
    DMDW, 1999, pp:16- [Conf]
  15. Giuseppe De Giacomo, Maurizio Lenzerini
    What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. [Citation Graph (1, 0)][DBLP]
    IJCAI (1), 1995, pp:801-807 [Conf]
  16. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
    Description Logic Framework for Information Integration. [Citation Graph (1, 0)][DBLP]
    KR, 1998, pp:2-13 [Conf]
  17. Giuseppe De Giacomo, Maurizio Lenzerini
    TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (1, 0)][DBLP]
    KR, 1996, pp:316-327 [Conf]
  18. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    What is View-Based Query Rewriting? [Citation Graph (1, 0)][DBLP]
    KRDB, 2000, pp:17-27 [Conf]
  19. Giuseppe De Giacomo, Massimo Mecella
    Automatic Web Service Composition. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2006, pp:- [Conf]
  20. Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati
    QuOnto: Querying Ontologies. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:1670-1671 [Conf]
  21. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Answering Queries Using Views over Description Logics Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:386-391 [Conf]
  22. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    DL-Lite: Tractable Description Logics for Ontologies. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:602-607 [Conf]
  23. Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
    On the Update of Description Logic Ontologies at the Instance Level. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  24. Giuseppe De Giacomo, Toni Mancini
    Scaling Up Reasoning about Actions Using Relational Database Technology. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:245-256 [Conf]
  25. Giuseppe De Giacomo, Maurizio Lenzerini
    PDL-based framework for reasoning about actions. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:103-114 [Conf]
  26. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    On Ability to Autonomously Execute Agent Programs with Sensing. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1522-1523 [Conf]
  27. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Description Logics for Information Integration. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:41-60 [Conf]
  28. Giuseppe De Giacomo, Fabio Massacci
    Tableaux and Algorithms for Propositional Dynamic Logic with Converse. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:613-627 [Conf]
  29. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella
    Modeling Data & Processes for Service Specifications in Colombo. [Citation Graph (0, 0)][DBLP]
    EMOI-INTEROP, 2005, pp:- [Conf]
  30. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Data Integration under Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2002, pp:262-279 [Conf]
  31. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola
    IBIS: Semantic Data Integration at Work. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2003, pp:79-94 [Conf]
  32. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Queries and Constraints on Semi-structured Data. [Citation Graph (0, 0)][DBLP]
    CAiSE, 1999, pp:434-438 [Conf]
  33. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    What is Query Rewriting? [Citation Graph (0, 0)][DBLP]
    CIA, 2000, pp:51-59 [Conf]
  34. Giuseppe De Giacomo
    Intensional query answering by partial evaluation. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:18-20 [Conf]
  35. Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
    Semantic Data Integration in P2P Systems. [Citation Graph (0, 0)][DBLP]
    DBISP2P, 2003, pp:77-90 [Conf]
  36. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. [Citation Graph (0, 0)][DBLP]
    DBPL, 2005, pp:90-105 [Conf]
  37. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Answering and Query Containment over Semistructured Data. [Citation Graph (0, 0)][DBLP]
    DBPL, 2001, pp:40-61 [Conf]
  38. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
    Source Integration in Data Warehousing. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1998, pp:192-197 [Conf]
  39. Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci
    Exptime Tableaux for ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:107-110 [Conf]
  40. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
    Description Logic-baqsed Framrwork for Planning with Sensing Actions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  41. Giuseppe De Giacomo, Maurizio Lenzerini
    TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:37-48 [Conf]
  42. Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
    Towards Implementing Finite Model Reasoning in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  43. Diego Calvanese, Giuseppe De Giacomo
    Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:178-218 [Conf]
  44. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Ontology of Integration and Integration of Ontologies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  45. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Representing SGML Documents in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:102-106 [Conf]
  46. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Conjunctive Query Containment in Description Logics with n-ary Relations. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  47. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Semi-structured Data with Constraints and Incomplete Information. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  48. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Data Complexity of Query Answering in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  49. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
    DL-Lite: Practical Reasoning for Rich Dls. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  50. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
    A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  51. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
    Reasoning on UML Class Diagrams is EXPTIME-hard. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  52. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
    e-Service Composition by Description Logics Based Reasoning. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  53. Giuseppe De Giacomo, Maurizio Lenzerini
    Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:411-415 [Conf]
  54. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
    Planning with Sensing for a Mobile Robot. [Citation Graph (0, 0)][DBLP]
    ECP, 1997, pp:156-168 [Conf]
  55. Giuseppe De Giacomo, Moshe Y. Vardi
    Automata-Theoretic Approach to Planning for Temporally Extended Goals. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:226-238 [Conf]
  56. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Accessing Data Integration Systems through Conceptual Schemas. [Citation Graph (0, 0)][DBLP]
    ER, 2001, pp:270-284 [Conf]
  57. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    On the Expressive Power of Data Integration Systems. [Citation Graph (0, 0)][DBLP]
    ER, 2002, pp:338-350 [Conf]
  58. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:321-336 [Conf]
  59. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
    Decidable Containment of Recursive Queries. [Citation Graph (0, 0)][DBLP]
    ICDT, 2003, pp:327-342 [Conf]
  60. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
    Hyper: A Framework for Peer-to-Peer Data Integration on Grids. [Citation Graph (0, 0)][DBLP]
    ICSNW, 2004, pp:144-157 [Conf]
  61. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
    Automatic Composition of E-services That Export Their Behavior. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2003, pp:43-58 [Conf]
  62. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
    Composition of Services with Nondeterministic Observable Behavior. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:520-526 [Conf]
  63. Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
    Synthesis of underspecified composite e-services based on automated reasoning. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2004, pp:105-114 [Conf]
  64. Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
    ComposingWeb Services with Nondeterministic Behavior. [Citation Graph (0, 0)][DBLP]
    ICWS, 2006, pp:909-912 [Conf]
  65. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Identification Constraints and Functional Dependencies in Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:155-160 [Conf]
  66. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:84-89 [Conf]
  67. Giuseppe De Giacomo, Hector J. Levesque
    Projection Using Regression and Sensors. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:160-165 [Conf]
  68. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1221-1226 [Conf]
  69. Giuseppe De Giacomo, Sebastian Sardiña
    Automatic Synthesis of New Behaviors from a Library of Available Behaviors. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1866-1871 [Conf]
  70. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    EQL-Lite: Effective First-Order Query Processing in Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:274-279 [Conf]
  71. Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Tackling Inconsistencies in Data Integration through Source Preferences. [Citation Graph (0, 0)][DBLP]
    IQIS, 2004, pp:27-34 [Conf]
  72. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Representing and Reasoning on SGML Documents. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:540-549 [Conf]
  73. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    A Formal Framework for Reasoning on UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2002, pp:503-513 [Conf]
  74. Giuseppe De Giacomo, Maurizio Lenzerini
    Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:332-346 [Conf]
  75. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    What to Ask to a Peer: Ontolgoy-based Query Reformulation. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:469-478 [Conf]
  76. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Data Complexity of Query Answering in Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:260-270 [Conf]
  77. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Containment of Conjunctive Regular Path Queries with Inverse. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:176-185 [Conf]
  78. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
    Reasoning about Actions and Planning in LTL Action Theories. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:593-602 [Conf]
  79. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
    Moving a Robot: The KR&R Approach at Work. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:198-209 [Conf]
  80. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
    On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:603-614 [Conf]
  81. Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski
    Execution Monitoring of High-Level Robot Programs. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:453-465 [Conf]
  82. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    On the Limits of Planning over Belief States under Strict Uncertainty. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:463-471 [Conf]
  83. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Increasing the Power of Structured Objects. [Citation Graph (0, 0)][DBLP]
    KRDB, 1995, pp:- [Conf]
  84. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Description Logics: Foundations for Class-based Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:359-370 [Conf]
  85. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-Based Query Processing and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:361-371 [Conf]
  86. Giuseppe De Giacomo
    Intensional Query Answering: An Application of Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:132-150 [Conf]
  87. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
    Logical Foundations of Peer-To-Peer Data Integration. [Citation Graph (0, 0)][DBLP]
    PODS, 2004, pp:241-251 [Conf]
  88. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Lossless Regular Views. [Citation Graph (0, 0)][DBLP]
    PODS, 2002, pp:247-258 [Conf]
  89. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-based query containment. [Citation Graph (0, 0)][DBLP]
    PODS, 2003, pp:56-67 [Conf]
  90. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola
    IBIS: Data Integration at Work. [Citation Graph (0, 0)][DBLP]
    SEBD, 2002, pp:291-298 [Conf]
  91. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Extending Semi-Structured Data. [Citation Graph (0, 0)][DBLP]
    SEBD, 1998, pp:87-102 [Conf]
  92. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
    Automatic Composition of Web Services in Colombo. [Citation Graph (0, 0)][DBLP]
    SEBD, 2005, pp:8-15 [Conf]
  93. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Accessing Data Integration Systems through Conceptual Schemas. [Citation Graph (0, 0)][DBLP]
    SEBD, 2002, pp:161-168 [Conf]
  94. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Query Reformulation over Ontology-based Peers. [Citation Graph (0, 0)][DBLP]
    SEBD, 2004, pp:418-425 [Conf]
  95. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Query Containment Using Views. [Citation Graph (0, 0)][DBLP]
    SEBD, 2003, pp:467-474 [Conf]
  96. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Rewriting of Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    SEBD, 1999, pp:213-224 [Conf]
  97. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    A Framework for Ontology Integration. [Citation Graph (0, 0)][DBLP]
    SWWS, 2001, pp:303-316 [Conf]
  98. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    A Framework for Ontology Integration. [Citation Graph (0, 0)][DBLP]
    The Emerging Semantic Web, 2001, pp:- [Conf]
  99. Giuseppe De Giacomo, Paolo Naggar
    Conceptual Data Model with Structured Objects for Statistical Database. [Citation Graph (0, 15)][DBLP]
    SSDBM, 1996, pp:168-175 [Conf]
  100. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
    : A Tool for Automatic Composition ofServices Based on Logics of Programs. [Citation Graph (0, 0)][DBLP]
    TES, 2004, pp:80-94 [Conf]
  101. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
    Automatic Composition of Transition-based Semantic Web Services with Messaging. [Citation Graph (0, 0)][DBLP]
    VLDB, 2005, pp:613-624 [Conf]
  102. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
    A Foundational Vision of e-Services. [Citation Graph (0, 0)][DBLP]
    WES, 2003, pp:28-40 [Conf]
  103. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
    Reasoning on UML class diagrams. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:168, n:1-2, pp:70-118 [Journal]
  104. Xiao Jun Chen, Giuseppe De Giacomo
    Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:107, n:1, pp:63-98 [Journal]
  105. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    ConGolog, a concurrent programming language based on the situation calculus. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:121, n:1-2, pp:109-169 [Journal]
  106. Diego Calvanese, Giuseppe De Giacomo
    Data Integration: A Logic-Based Perspective. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2005, v:26, n:1, pp:59-70 [Journal]
  107. Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con
    The AAAI Fall Symposia. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 1999, v:20, n:3, pp:87-89 [Journal]
  108. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    On the Semantics of Deliberation in Indigolog - from Theory to Implementation. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:259-299 [Journal]
  109. Giuseppe De Giacomo, Maurizio Lenzerini
    A Uniform Framework for Concept Definitions in Description Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 1997, v:0, n:, pp:- [Journal]
  110. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    On the Role of Integrity Constraints in Data Integration. [Citation Graph (0, 0)][DBLP]
    IEEE Data Eng. Bull., 2002, v:25, n:3, pp:39-45 [Journal]
  111. Giuseppe De Giacomo, Riccardo Rosati
    Minimal Knowledge Approach to Reasoning about Actions and Sensing. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1999, v:3, n:C, pp:1-18 [Journal]
  112. Giuseppe De Giacomo, Fabio Massacci
    Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:162, n:1-2, pp:117-137 [Journal]
  113. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
    Automatic Service Composition Based on Behavioral Descriptions. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2005, v:14, n:4, pp:333-376 [Journal]
  114. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
    Data Integration in Data Warehousing. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2001, v:10, n:3, pp:237-271 [Journal]
  115. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Data integration under integrity constraints. [Citation Graph (0, 0)][DBLP]
    Inf. Syst., 2004, v:29, n:2, pp:147-163 [Journal]
  116. Giuseppe De Giacomo, Maurizio Lenzerini
    A Uniform Framework for Concept Definitions in Description Logics. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1997, v:6, n:, pp:87-110 [Journal]
  117. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Rewriting of Regular Expressions and Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:3, pp:443-465 [Journal]
  118. Giuseppe De Giacomo
    Intensional Query Answering by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 1996, v:7, n:3, pp:205-233 [Journal]
  119. Giuseppe De Giacomo
    Eliminating ``Converse'' from Converse PDL. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1996, v:5, n:2, pp:193-208 [Journal]
  120. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
    A Theory and Implementation of Cognitive Mobile Robots. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:5, pp:759-785 [Journal]
  121. Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty
    Report on the 1998 International Workshop on Description Logics (DL'98). [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:449-456 [Journal]
  122. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Modeling and Querying Semi-Structured data . [Citation Graph (0, 0)][DBLP]
    Networking and Information Systems, 1999, v:2, n:2, pp:253-273 [Journal]
  123. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
    Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. [Citation Graph (0, 0)][DBLP]
    Networking and Information Systems, 1999, v:2, n:4, pp:413-432 [Journal]
  124. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    Reasoning on regular path queries. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2003, v:32, n:4, pp:83-92 [Journal]
  125. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
    Decidable containment of recursive queries. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:1, pp:33-56 [Journal]
  126. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
    View-based query processing: On the relationship between rewriting, answering and losslessness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:371, n:3, pp:169-182 [Journal]
  127. Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
    Incremental execution of guarded theories. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:495-525 [Journal]
  128. Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
    On the Approximation of Instance Level Update and Erasure in Description Logics. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:403-408 [Conf]
  129. Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
    Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1063-1069 [Conf]
  130. Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
    Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:36-47 [Conf]
  131. Massimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo
    Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:182-197 [Conf]
  132. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Epistemic First-order Queries over Description Logic Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  133. Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi
    AutomaticWorkflows Composition of Mobile Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:823-830 [Conf]
  134. Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    On reconciling data exchange, data integration, and peer data management. [Citation Graph (0, 0)][DBLP]
    PODS, 2007, pp:133-142 [Conf]
  135. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
    Ontology-based Database Access. [Citation Graph (0, 0)][DBLP]
    SEBD, 2007, pp:324-331 [Conf]
  136. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Efficiently Managing Data Intensive Ontologies. [Citation Graph (0, 0)][DBLP]
    SWAP, 2005, pp:- [Conf]
  137. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
    Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:3, pp:385-429 [Journal]

  138. Node Selection Query Languages for Trees. [Citation Graph (, )][DBLP]


  139. Two-Player Game Structures for Generalized Planning and Agent Composition. [Citation Graph (, )][DBLP]


  140. Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. [Citation Graph (, )][DBLP]


  141. Composition of Partially Observable Services Exporting their Behaviour. [Citation Graph (, )][DBLP]


  142. A model of contingent planning for agent programming languages. [Citation Graph (, )][DBLP]


  143. Agent composition synthesis based on ATL. [Citation Graph (, )][DBLP]


  144. Agent programming via planning programs. [Citation Graph (, )][DBLP]


  145. Conceptual Modeling for Data Integration. [Citation Graph (, )][DBLP]


  146. An Automata-Theoretic Approach to Regular XPath. [Citation Graph (, )][DBLP]


  147. MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. [Citation Graph (, )][DBLP]


  148. Actions and Programs over Description Logic Ontologies. [Citation Graph (, )][DBLP]


  149. Towards Higher-Order DL-Lite. [Citation Graph (, )][DBLP]


  150. On Higher-Order Description Logics. [Citation Graph (, )][DBLP]


  151. Artifact-Centric Workflow Dominance. [Citation Graph (, )][DBLP]


  152. Composition of ConGolog Programs. [Citation Graph (, )][DBLP]


  153. Behavior Composition in the Presence of Failure. [Citation Graph (, )][DBLP]


  154. View-Based Query Answering over Description Logic Ontologies. [Citation Graph (, )][DBLP]


  155. Path-Based Identification Constraints in Description Logics. [Citation Graph (, )][DBLP]


  156. Generalized Planning with Loops under Strong Fairness Constraints. [Citation Graph (, )][DBLP]


  157. Situation Calculus Based Programs for Representing and Reasoning about Game Structures. [Citation Graph (, )][DBLP]


  158. Ontologies and Databases: The DL-Lite Approach. [Citation Graph (, )][DBLP]


  159. On-line adaptation of sequential mobile processes running concurrently. [Citation Graph (, )][DBLP]


  160. Data Integration throughDL-LiteA Ontologies. [Citation Graph (, )][DBLP]


  161. Automated Composition of Nondeterministic Stateful Services. [Citation Graph (, )][DBLP]


  162. Automatic web services composition in trustaware communities. [Citation Graph (, )][DBLP]


  163. Can OWL Model Football Leagues? [Citation Graph (, )][DBLP]


  164. Linking Data to Ontologies: The Description Logic DL-Lite_A. [Citation Graph (, )][DBLP]


  165. Tailoring OWL for Data Intensive Ontologies. [Citation Graph (, )][DBLP]


  166. Conjunctive Query Containment and Answering under Description Logics Constraints [Citation Graph (, )][DBLP]


  167. View Synthesis from Schema Mappings [Citation Graph (, )][DBLP]


  168. Automatic Service Composition and Synthesis: the Roman Model. [Citation Graph (, )][DBLP]


Search in 0.196secs, Finished in 0.204secs
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