- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j38 |      | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data complexity of query answering in description logics. Artif. Intell. 195: 335-360 (2013) |
| j37 | | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña: Automatic behavior composition synthesis. Artif. Intell. 196: 106-142 (2013) |
| j36 | | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli: Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. (JAIR) 46: 651-686 (2013) |
| 2012 | ||
| j35 | | Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati: Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. 21(2): 111-140 (2012) |
| j34 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012) |
| c155 | | Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI 2012 |
| c154 | | Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise: On supervising agents in situation-determined ConGolog. AAMAS 2012: 1031-1038 |
| c153 | | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali: Verification of Description Logic Knowledge and Action Bases. ECAI 2012: 103-108 |
| c152 | | Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio: Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR 2012 |
| c151 | | Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi: Bounded Situation Calculus Action Theories and Decidable Verification. KR 2012 |
| c150 | | Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella: Goal-Based Composition of Stateful Services for Smart Homes. OTM Conferences (1) 2012: 194-211 |
| c149 | | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops 2012: 667-668 |
| c148 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso: Ontology-Based Governance of Data-Aware Processes. RR 2012: 25-41 |
| i4 | | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali: Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR abs/1203.0024 (2012) |
| 2011 | ||
| j33 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: The MASTRO system for ontology-based data access. Semantic Web 2(1): 43-53 (2011) |
| c147 | | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Higher-Order Description Logics for Domain Metamodeling. AAAI 2011 |
| c146 | | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli: Foundations of Relational Artifacts Verification. BPM 2011: 379-395 |
| c145 | | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis: Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics 2011 |
| c144 | | Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011 |
| c143 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Simplifying schema mappings. ICDT 2011: 114-125 |
| c142 | | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832 |
| c141 | | Yuxiao Hu, Giuseppe De Giacomo: Generalized Planning: Synthesizing Plans that Work for Multiple Environments. IJCAI 2011: 918-923 |
| c140 | | Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner: Computing Infinite Plans for LTL Goals Using a Classical Planner. IJCAI 2011: 2003-2008 |
| 2010 | ||
| c139 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Node Selection Query Languages for Trees. AAAI 2010 |
| c138 | | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña: Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI 2010 |
| c137 | | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña: Agent programming via planning programs. AAMAS 2010: 491-498 |
| c136 | | |
| c135 | | Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati: Conjunctive Artifact-Centric Services. ICSOC 2010: 318-333 |
| c134 | | Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce: Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010 |
| c133 | | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña: Generalized Planning with Loops under Strong Fairness Constraints. KR 2010 |
| i3 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010) |
| 2009 | ||
| j32 | | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009) |
| p2 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi: Using OWL in Data Integration. Semantic Web Information Management 2009: 397-424 |
| c132 | | Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi: Composition of Partially Observable Services Exporting their Behaviour. ICAPS 2009 |
| c131 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197 |
| c130 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35 |
| c129 | | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: On Higher-Order Description Logics. Description Logics 2009 |
| c128 | | Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su: Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143 |
| c127 | | |
| c126 | | 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 |
| c125 | | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella: On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352 |
| c124 | | Giuseppe De Giacomo, Fabio Patrizi: Automated Composition of Nondeterministic Stateful Services. WS-FM 2009: 147-160 |
| 2008 | ||
| j31 | | 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) |
| j30 | | Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi: Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19(2): 429-451 (2008) |
| j29 | | 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) |
| j28 | | Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Linking Data to Ontologies. J. Data Semantics 10: 133-173 (2008) |
| j27 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3) (2008) |
| c123 | | Sebastian Sardiña, Giuseppe De Giacomo: Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS 2008: 304-312 |
| c122 | | Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde: A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484 |
| c121 | | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Towards Higher-Order DL-Lite. Description Logics 2008 |
| c120 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Path-Based Identification Constraints in Description Logics. KR 2008: 231-241 |
| c119 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251 |
| c118 | | Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo: Behavior Composition in the Presence of Failure. KR 2008: 640-650 |
| c117 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi: Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47 |
| 2007 | ||
| j26 | | 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) |
| j25 | | 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) |
| c116 | | 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 |
| c115 | | Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo: Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI 2007: 1063-1069 |
| c114 | | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini: Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47 |
| c113 | | Massimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo: Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. BPM 2007: 182-197 |
| c112 | | 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 |
| c111 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Actions and Programs over Description Logic Ontologies. Description Logics 2007 |
| c110 | | Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi: AutomaticWorkflows Composition of Mobile Services. ICWS 2007: 823-830 |
| c109 | | 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 |
| c108 | | Giuseppe De Giacomo, Sebastian Sardiña: Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI 2007: 1866-1871 |
| c107 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Can OWL Model Football Leagues? OWLED 2007 |
| c106 | | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142 |
| c105 |  | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: Ontology-based Database Access. SEBD 2007: 324-331 |
| 2006 | ||
| c104 | | |
| c103 | | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati: On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006: 1271-1276 |
| c102 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006 |
| c101 | | Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese: ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912 |
| c100 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. KR 2006: 260-270 |
| c99 | | 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 |
| c98 | | 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 |
| c97 | | Fahima Cheikh, Giuseppe De Giacomo, Massimo Mecella: Automatic web services composition in trustaware communities. SWS 2006: 43-52 |
| 2005 | ||
| j24 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005) |
| j23 | | Diego Calvanese, Giuseppe De Giacomo: Data Integration: A Logic-Based Perspective. AI Magazine 26(1): 59-70 (2005) |
| j22 | | 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) |
| j21 | | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005) |
| c96 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607 |
| c95 | | Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati: QuOnto: Querying Ontologies. AAAI 2005: 1670-1671 |
| c94 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella: Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005 |
| c93 | | 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 |
| c92 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005 |
| c91 | | 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 |
| c90 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella: Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526 |
| c89 | | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tailoring OWL for Data Intensive Ontologies. OWLED 2005 |
| c88 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15 |
| c87 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005 |
| c86 | | 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 |
| i2 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment and Answering under Description Logics Constraints. CoRR abs/cs/0507067 (2005) |
| 2004 | ||
| j20 | | 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) |
| j19 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data integration under integrity constraints. Inf. Syst. 29(2): 147-163 (2004) |
| c85 | | Giuseppe De Giacomo, Toni Mancini: Scaling Up Reasoning about Actions Using Relational Database Technology. AAAI 2004: 245-256 |
| c84 | | 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 |
| c83 | | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo: Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004 |
| c82 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 |
| c81 | | 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 |
| c80 | | 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 |
| c79 | | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34 |
| c78 | | 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 |
| c77 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251 |
| c76 | | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425 |
| c75 | | 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 |
| 2003 | ||
| j18 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003) |
| c74 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94 |
| c73 | | Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90 |
| c72 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003 |
| c71 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 |
| c70 | | Diego Calvanese, Giuseppe De Giacomo: Expressive Description Logics. Description Logic Handbook 2003: 178-218 |
| c69 | | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342 |
| c68 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58 |
| c67 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query containment. PODS 2003: 56-67 |
| c66 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Containment Using Views. SEBD 2003: 467-474 |
| c65 | | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: A Foundational Vision of e-Services. WES 2003: 28-40 |
| e2 | | Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi (Eds.): Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003 |
| 2002 | ||
| j17 | | 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) |
| j16 | | 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) |
| c64 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60 |
| c63 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data Integration under Integrity Constraints. CAiSE 2002: 262-279 |
| c62 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Expressive Power of Data Integration Systems. ER 2002: 338-350 |
| c61 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002: 503-513 |
| c60 | | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602 |
| c59 | | 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 |
| c58 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370 |
| c57 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Lossless Regular Views. PODS 2002: 247-258 |
| c56 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002: 161-168 |
| c55 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Data Integration at Work. SEBD 2002: 291-298 |
| 2001 | ||
| j15 | | 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) |
| j14 | | Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña: Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001) |
| p1 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi: Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634 |
| c54 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61 |
| c53 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Ontology of Integration and Integration of Ontologies. Description Logics 2001 |
| c52 | | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Accessing Data Integration Systems through Conceptual Schemas. ER 2001: 270-284 |
| c51 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160 |
| c50 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Framework for Ontology Integration. SWWS 2001: 303-316 |
| c49 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: A Framework for Ontology Integration. The Emerging Semantic Web 2001 |
| 2000 | ||
| j13 | | 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) |
| j12 | | 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) |
| c48 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000: 386-391 |
| c47 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is Query Rewriting? CIA 2000: 51-59 |
| c46 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000: 79-88 |
| c45 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000: 389-398 |
| c44 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185 |
| c43 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27 |
| c42 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371 |
| c41 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66 |
| 1999 | ||
| j11 | | Xiao Jun Chen, Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. 107(1): 63-98 (1999) |
| j10 | | 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) |
| j9 | | Giuseppe De Giacomo, Riccardo Rosati: Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999) |
| j8 | | 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) |
| j7 | | 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) |
| j6 | | 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) |
| j5 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Modeling and Querying Semi-Structured data . Networking and Information Systems 2(2): 253-273 (1999) |
| j4 | | 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) |
| c40 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438 |
| c39 | | 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 |
| c38 | | Giuseppe De Giacomo, Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238 |
| c37 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999: 84-89 |
| c36 | | Giuseppe De Giacomo, Hector J. Levesque: Projection Using Regression and Sensors. IJCAI 1999: 160-165 |
| c35 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999: 6-10 |
| c34 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204 |
| c33 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999: 213-224 |
| c32 | | 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 |
| 1998 | ||
| c31 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998: 205-210 |
| c30 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291 |
| c29 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197 |
| c28 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998 |
| c27 | | Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 |
| c26 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. KR 1998: 2-13 |
| c25 | | Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski: Execution Monitoring of High-Level Robot Programs. KR 1998: 453-465 |
| c24 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Decidability of Query Containment under Constraints. PODS 1998: 149-158 |
| c23 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Extending Semi-Structured Data. SEBD 1998: 87-102 |
| e1 | | Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty (Eds.): Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998. CEUR Workshop Proceedings 11, CEUR-WS.org 1998 |
| 1997 | ||
| j3 | | Giuseppe De Giacomo, Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics. J. Artif. Intell. Res. (JAIR) 6: 87-110 (1997) |
| c22 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997 |
| c21 | | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997 |
| c20 | | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Planning with Sensing for a Mobile Robot. ECP 1997: 156-168 |
| c19 | | 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 |
| c18 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549 |
| i1 | | Giuseppe De Giacomo, Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics. CoRR cs.AI/9703101 (1997) |
| 1996 | ||
| j2 | | Giuseppe De Giacomo: Intensional Query Answering by Partial Evaluation. J. Intell. Inf. Syst. 7(3): 205-233 (1996) |
| j1 | | Giuseppe De Giacomo: Eliminating "Converse" from Converse PDL. Journal of Logic, Language and Information 5(2): 193-208 (1996) |
| c17 | | Giuseppe De Giacomo, Xiao Jun Chen: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 1996: 658-663 |
| c16 | | Giuseppe De Giacomo, Fabio Massacci: Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996: 613-627 |
| c15 | | Giuseppe De Giacomo, Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996: 37-48 |
| c14 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Representing SGML Documents in Description Logics. Description Logics 1996: 102-106 |
| c13 | | Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci: Exptime Tableaux for ALC. Description Logics 1996: 107-110 |
| c12 | | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati: Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209 |
| c11 | | Giuseppe De Giacomo, Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. KR 1996: 316-327 |
| c10 | | Giuseppe De Giacomo, Paolo Naggar: Conceptual Data Model with Structured Objects for Statistical Database. SSDBM 1996: 168-175 |
| 1995 | ||
| c9 | | Giuseppe De Giacomo, Maurizio Lenzerini: PDL-based framework for reasoning about actions. AI*IA 1995: 103-114 |
| c8 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246 |
| c7 | | Giuseppe De Giacomo, Maurizio Lenzerini: What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995: 801-807 |
| c6 | | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Increasing the Power of Structured Objects. KRDB 1995 |
| 1994 | ||
| c5 | | Giuseppe De Giacomo, Maurizio Lenzerini: Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994: 205-212 |
| c4 | | Giuseppe De Giacomo, Maurizio Lenzerini: Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994: 411-415 |
| c3 | | Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994: 332-346 |
| 1992 | ||
| c2 | | |
| c1 | | Giuseppe De Giacomo: Intensional Query Answering: An Application of Partial Evaluation. LOPSTR 1992: 132-150 |
Data released under the ODC-BY 1.0 license — See also our legal information page