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