dblp.uni-trier.dewww.uni-trier.de

Giuseppe De Giacomo Vis

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

*2009
165EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197
164EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35
163EEGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: On Higher-Order Description Logics. Description Logics 2009
162EESebastian Sardiña, Giuseppe De Giacomo: Composition of ConGolog Programs. IJCAI 2009: 904-910
161EEDiego 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
160EEMassimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352
2008
159EEYves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde: A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484
158EEGiuseppe 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
153EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi: Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47
152EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3): (2008)
151EEDiego 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)
150EEDiego 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)
149EEDaniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi: Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19(2): 429-451 (2008)
148EEAntonella 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
145EEMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini: Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47
144EEMassimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo: Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. BPM 2007: 182-197
143EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Actions and Programs over Description Logic Ontologies. Description Logics 2007
142EEDiego 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
141EEGiuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi: AutomaticWorkflows Composition of Mobile Services. ICWS 2007: 823-830
140EEGiuseppe De Giacomo, Sebastian Sardiña: Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI 2007: 1866-1871
139EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279
138EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Can OWL Model Football Leagues? OWLED 2007
137EEGiuseppe 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
135EEDiego 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)
134EEDiego 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
132EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006
131EEDaniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese: ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912
130EEGiuseppe 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
127EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006
126EEFahima 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
123EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105
122EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005
121EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella: Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005
120EEDiego 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
119EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella: Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526
118EEGiuseppe 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
116EEDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005
115EEDaniela 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)
113EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005)
112EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment and Answering under Description Logics Constraints CoRR abs/cs/0507067: (2005)
111EEDaniela 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)
110EEDiego 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
108EESebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
107EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004
106EEMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo: Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004
105EEDiego 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
104EEDaniela 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
101EEDiego 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
99EEDaniela 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
98EESebastian 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)
97EEAndrea 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
95EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94
94EEDiego 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
92EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003
91EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: e-Service Composition by Description Logics Based Reasoning. Description Logics 2003
90EEDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342
89EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58
88EEDiego 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
86EEDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: A Foundational Vision of e-Services. WES 2003: 28-40
85EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003)
2002
84EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data Integration under Integrity Constraints. CAiSE 2002: 262-279
83EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60
82EEAndrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Expressive Power of Data Integration Systems. ER 2002: 338-350
81EEAndrea 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
78EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370
77EEDiego 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
74EEAndrea 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)
73EEDiego 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
72EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
71EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Ontology of Integration and Integration of Ontologies. Description Logics 2001
70EEAndrea 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
68EEDiego 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
65EEGiuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña: Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001)
64EEDiego 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
61EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000: 79-88
60EEDiego 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
58EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27
57EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
56EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
55EEGiuseppe 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
53EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438
52EEDiego 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
48EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999: 6-10
47EEDiego 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
45EEDiego 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)
43EEXiao Jun Chen, Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. 107(1): 63-98 (1999)
42EEGiuseppe De Giacomo, Riccardo Rosati: Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999)
41EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9(3): 295-318 (1999)
40EEEnrico 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)
39EEGiuseppe 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
34EEDiego 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
32EEDiego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998
31EEDiego 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
28EEDiego 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
26EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997
25EEGiuseppe 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
22EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549
21EEGiuseppe 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
18EEGiuseppe 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
12EEGiuseppe 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
8EEDiego 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
6EEDiego 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
3EEGiuseppe 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

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] [164] [165]
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 [40]
15Richard Hull [115] [117] [121]
16Luca Iocchi [14] [24] [25] [39]
17Domenico Lembo [100] [102] [103] [116] [118] [122] [123] [124] [125] [127] [129] [132] [135] [136] [137] [138] [139] [142] [148] [150] [153] [156] [161] [165]
18Maurizio Lenzerini [3] [4] [5] [6] [7] [8] [9] [13] [15] [17] [20] [21] [22] [26] [27] [28] [30] [31] [33] [34] [35] [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] [81] [82] [83] [84] [85] [86] [87] [88] [89] [91] [94] [95] [97] [99] [100] [101] [102] [103] [104] [105] [107] [111] [112] [116] [118] [120] [121] [122] [123] [124] [125] [127] [129] [132] [133] [134] [135] [136] [137] [138] [139] [142] [143] [146] [148] [150] [151] [152] [153] [155] [156] [158] [161] [163] [164] [165]
19Massimiliano de Leoni [141] [144] [160]
20Yves Lespérance [23] [55] [79] [98] [108] [128] [159] [160]
21Hector J. Levesque [23] [50] [55] [65] [79] [98] [108] [128]
22Michael L. Littman [44]
23Robert M. MacGregor [36]
24Toni Mancini [109] [145]
25Kim Marriott [44]
26Fabio Massacci [16] [18] [54]
27Deborah L. McGuinness [40]
28Massimo Mecella [86] [89] [91] [99] [104] [111] [115] [117] [119] [121] [126] [130] [131] [141] [144] [151] [160]
29Bernd Meyer [44]
30Paolo Naggar [12] [75] [95]
31Daniele Nardi [14] [24] [25] [30] [33] [34] [39] [52] [64] [66]
32Werner Nutt [36] [40]
33Atalay Nafi Ozgovde [159]
34Mattia Palmieri [125]
35Peter F. Patel-Schneider [40]
36Fabio Patrizi [141] [147] [149] [151] [154]
37Antonella Poggi [127] [133] [136] [142] [146] [148] [153] [161]
38Raymond Reiter [29]
39Mariano Rodriguez-Muro [161]
40Riccardo Rosati [14] [24] [25] [30] [32] [33] [34] [37] [39] [42] [52] [64] [94] [100] [101] [102] [103] [105] [107] [116] [118] [122] [123] [124] [125] [127] [129] [132] [133] [135] [136] [137] [138] [139] [142] [143] [146] [148] [150] [153] [155] [156] [158] [161] [163] [165]
41Marco Ruzzi [153]
42Sebastian Sardiña [65] [79] [98] [108] [128] [140] [147] [154] [157] [162]
43Mikhail Soutchanski [29]
44Moshe Y. Vardi [45] [46] [47] [51] [56] [57] [58] [59] [60] [62] [72] [73] [77] [80] [85] [87] [88] [90] [110] [120] [134] [164]
45Fabio Vernacotola [75] [95]
46Guido Vetere [105] [107]
47Glenn S. Wasson [44]
48Barbara Webb [44]
49Christopher A. Welty [36] [40]
50Marie desJardins [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)