Giuseppe De Giacomo Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: On Higher-Order Description Logics. Description Logics 2009
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi: Composition of Partially Observable Services Exporting their Behaviour. ICAPS 2009
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su: Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Giuseppe De Giacomo: Composition of ConGolog Programs. IJCAI 2009: 904-910
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati: Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352
2008
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde: A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Towards Higher-Order DL-Lite. Description Logics 2008
157no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Giuseppe De Giacomo: Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS 2008: 304-312
156no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Path-Based Identification Constraints in Description Logics. KR 2008: 231-241
155no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251
154no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo: Behavior Composition in the Presence of Failure. KR 2008: 640-650
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi: Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3): (2008)
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi: Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. 31(3): 18-22 (2008)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4-5): 360-384 (2008)
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi: Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19(2): 429-451 (2008)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Linking Data to Ontologies. J. Data Semantics 10: 133-173 (2008)
2007
147no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo: Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI 2007: 1063-1069
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini: Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo: Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. BPM 2007: 182-197
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Actions and Programs over Description Logic Ontologies. Description Logics 2007
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati: MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics 2007
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi: AutomaticWorkflows Composition of Mobile Services. ICWS 2007: 823-830
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Sebastian Sardiña: Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI 2007: 1866-1871
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Can OWL Model Football Leagues? OWLED 2007
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142
136no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Ontology-based Database Access. SEBD 2007: 324-331
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reasoning 39(3): 385-429 (2007)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. 371(3): 169-182 (2007)
2006
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese: ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Massimo Mecella: Automatic Web Service Composition. IEEE SCC 2006
129no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. KR 2006: 260-270
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Limits of Planning over Belief States under Strict Uncertainty. KR 2006: 463-471
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFahima Cheikh, Giuseppe De Giacomo, Massimo Mecella: Automatic web services composition in trustaware communities. SWS 2006: 43-52
2005
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati: QuOnto: Querying Ontologies. AAAI 2005: 1670-1671
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella: Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005: 321-336
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella: Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tailoring OWL for Data Intensive Ontologies. OWLED 2005
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo: Data Integration: A Logic-Based Perspective. AI Magazine 26(1): 59-70 (2005)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment and Answering under Description Logics Constraints CoRR abs/cs/0507067: (2005)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. 14(4): 333-376 (2005)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)
2004
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Toni Mancini: Scaling Up Reasoning about Actions Using Relational Database Technology. AAAI 2004: 245-256
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo: Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004: 144-157
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese: Synthesis of underspecified composite e-services based on automated reasoning. ICSOC 2004: 105-114
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004: 469-478
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: : A Tool for Automatic Composition ofServices Based on Logics of Programs. TES 2004: 80-94
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. 41(2-4): 259-299 (2004)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data integration under integrity constraints. Inf. Syst. 29(2): 147-163 (2004)
2003
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Enrico Franconi: Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 CEUR-WS.org 2003
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo: Expressive Description Logics. Description Logic Handbook 2003: 178-218
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: e-Service Composition by Description Logics Based Reasoning. Description Logics 2003
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query containment. PODS 2003: 56-67
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Containment Using Views. SEBD 2003: 467-474
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: A Foundational Vision of e-Services. WES 2003: 28-40
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003)
2002
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data Integration under Integrity Constraints. CAiSE 2002: 262-279
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Expressive Power of Data Integration Systems. ER 2002: 338-350
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002: 503-513
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña: On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR 2002: 603-614
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Lossless Regular Views. PODS 2002: 247-258
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002: 161-168
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Data Integration at Work. SEBD 2002: 291-298
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. 25(3): 39-45 (2002)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64(3): 443-465 (2002)
2001
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Ontology of Integration and Integration of Ontologies. Description Logics 2001
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Accessing Data Integration Systems through Conceptual Schemas. ER 2001: 270-284
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Framework for Ontology Integration. SWWS 2001: 303-316
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Framework for Ontology Integration. The Emerging Semantic Web 2001
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi: Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña: Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001)
2000
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000: 386-391
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is Query Rewriting? CIA 2000: 51-59
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000: 79-88
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000: 389-398
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2): 109-169 (2000)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Fabio Massacci: Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. 162(1-2): 117-137 (2000)
1999
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Hector J. Levesque: Projection Using Regression and Sensors. IJCAI 1999: 160-165
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999: 84-89
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999: 6-10
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999: 213-224
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999: 73-78
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe 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. AI Magazine 20(3): 87-89 (1999)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiao Jun Chen, Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. 107(1): 63-98 (1999)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Riccardo Rosati: Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9(3): 295-318 (1999)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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). J. Log. Comput. 9(3): 449-456 (1999)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9(5): 759-785 (1999)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Modeling and Querying Semi-Structured data . Networking and Information Systems 2(2): 253-273 (1999)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Networking and Information Systems 2(4): 413-432 (1999)
1998
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty: Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998 CEUR-WS.org 1998
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998: 205-210
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski: Execution Monitoring of High-Level Robot Programs. KR 1998: 453-465
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Decidability of Query Containment under Constraints. PODS 1998: 149-158
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Extending Semi-Structured Data. SEBD 1998: 87-102
1997
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997: 156-168
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997: 1221-1226
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics CoRR cs.AI/9703101: (1997)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics. J. Artif. Intell. Res. (JAIR) 6: 87-110 (1997)
1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Xiao Jun Chen: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 1996: 658-663
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Fabio Massacci: Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996: 613-627
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing SGML Documents in Description Logics. Description Logics 1996: 102-106
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Francesco M. Donini, Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996: 107-110
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996: 37-48
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. KR 1996: 316-327
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Paolo Naggar: Conceptual Data Model with Structured Objects for Statistical Database. SSDBM 1996: 168-175
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo: Intensional Query Answering by Partial Evaluation. J. Intell. Inf. Syst. 7(3): 205-233 (1996)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo: Eliminating ``Converse'' from Converse PDL. Journal of Logic, Language and Information 5(2): 193-208 (1996)
1995
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: PDL-based framework for reasoning about actions. AI*IA 1995: 103-114
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995: 801-807
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Increasing the Power of Structured Objects. KRDB 1995
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994: 205-212
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994: 411-415
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Maurizio Lenzerini: Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994: 332-346
1992
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo: Intensional query answering by partial evaluation. CNKBS 1992: 18-20
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo: Intensional Query Answering: An Application of Partial Evaluation. LOPSTR 1992: 132-150

Coauthor Index

1Andrea Acciarri [125]
2Gerard Allwein [44]
3Daniela Berardi [86] [89] [91] [92] [99] [104] [111] [113] [115] [117] [119] [121] [131] [149]
4Marco Cadoli [106] [145]
5Andrea Calì [70] [74] [75] [76] [81] [82] [84] [95] [97]
6Diego Calvanese [6] [8] [17] [22] [26] [27] [28] [30] [31] [32] [33] [34] [35] [37] [38] [41] [45] [46] [47] [48] [49] [52] [53] [56] [57] [58] [59] [60] [61] [62] [63] [64] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [99] [100] [101] [102] [104] [105] [106] [107] [110] [111] [112] [113] [114] [115] [116] [117] [119] [120] [121] [122] [123] [124] [125] [127] [129] [131] [132] [134] [135] [136] [138] [139] [142] [143] [145] [148] [150] [151] [152] [153] [155] [156] [161] [163] [166] [167]
7Dolores Cañamero [44]
8Fahima Cheikh [126] [149]
9Xiao Jun Chen [19] [43]
10Tom Con [44]
11Elio Damaggio [94]
12Francesco M. Donini [16]
13Enrico Franconi [36] [40] [96]
14Ian Horrocks