 | 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 |
