- Agent Supervision in Situation-Determined ConGolog Giuseppe De Giacomo
- Reconciling Di erent Semantics for Concept De nition (Extended Abstract)
- Computing Infinite Plans for LTL Goals Using a Classical Planner Fabio Patrizi
- Towards Automatic Web Service Discovery and Composition in a Context with Semantics, Messages, and Internal Process Flow
- Description Logic-based Framework for Planning with Sensing Actions Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
- Reasoning on UML Class Diagrams Daniela Berardi, Andrea Cal`i, Diego Calvanese and Giuseppe De Giacomo
- Description Logic Framework for Information Integration Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
- Reasoning about Actions for e-Service Composition Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
- Automated Composition of Nondeterministic Stateful Giuseppe De Giacomo and Fabio Patrizi
- Simplifying Schema Mappings Diego Calvanese
- On the Approximation of Instance Level Update and Erasure in Description Logics
- On Ability to Autonomously Execute Agent Programs with Sensing
- Inconsistency Tolerance in P2P Data Integration: an Epistemic Logic Approach
- Reasoning on Regular Path Queries D. Calvanese, G. De Giacomo, M. Lenzerini
- Journal of Arti cial Intelligence Research 6 1997 87-110 Submitted 7 96; published 3 97 A Uniform Framework for Concept De nitions in
- Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors Sebastian Sardina
- Theoretical Computer Science 336 (2005) 3356 www.elsevier.com/locate/tcs
- Intensional Query Answering: An Application of Partial Evaluation
- Reasoning in Expressive Description Diego Calvanese Giuseppe De Giacomo
- QUONTO: QUerying ONTOlogies Andrea Acciarri2
- Description Logics: Modal Logics for ClassBased Giuseppe De Giacomo
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
- Synthesis of Composite e-Services based on Automated Reasoning D. Berardi and D. Calvanese and G. De Giacomo and M. Lenzerini and M. Mecella
- A NOTE ON THE EXHAUSTIVENESS OF SLDNF-RESOLUTION FOR NORMAL PROGRAMS
- Semantic Data Integration in P2P Systems Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo,
- IndiGolog: A High-Level Programming Language for Embedded Reasoning
- Information and Computation 162, 117 137 (2000) Combining Deduction and Model Checking into
- Query Reformulation over Ontology-based Peers (Extended Abstract)
- On the Role of Integrity Constraints in Data Integration Andrea Cal`i, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- Composition of ConGolog Programs Sebastian Sardina
- Generalized Planning with Loops under Strong Fairness Constraints Giuseppe De Giacomo
- PDL-based framework for reasoning about Giuseppe De Giacomo and Maurizio Lenzerini
- Agent Composition Synthesis based on ATL Giuseppe De Giacomo and Paolo Felli
- Appeared in Proc. of DOOD'95 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- On the Limits of Planning over Belief States under Strict Uncertainty Sebastian Sardina
- Epistemic First-Order Queries over Description Logic Knowledge Bases
- Behavior Composition in the Presence of Failure Sebastian Sardina
- Reasoning on UML Class Diagrams Daniela Berardi a
- Moving a Robot: The KR&R Approach at Work
- Regular XPath: Constraints, Query Containment and View-Based Answering for XML Documents
- Query Containment Using Views (extended abstract)
- Data Complexity of Query Answering in Description Logics Diego Calvanese1
- Using OWL in Data Integration Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo,
- View-based Query Processing: On the Relationship between Rewriting,
- Automatic Composition of Web Services in Colombo Daniela Berardi1
- Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations
- Automatic Web Services Composition in Trust-aware Communities
- International Journal of Cooperative Information Systems Vol. 10, No. 3 (2001) 237271
- On the correspondence between description logics and logics of (position paper)
- A Generic Framework and Solver for Synthesizing Finite-State Controllers Department of Computer Science
- Higher-Order Description Logics for Domain Metamodeling Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
- Generalized Planning: Synthesizing Plans that Work for Multiple Environments Department of Computer Science
- Simplifying Schema Mappings Diego Calvanese
- Semantic Web ? (2011) 111 1 The Mastro System for Ontology-based
- View-based Query Answering in Description Logics: Semantics and Complexity
- Conjunctive Artifact-Centric Services Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, and Riccardo Rosati
- Node Selection Query Languages for Trees Diego Calvanese
- Two-Player Game Structures for Generalized Planning and Agent Composition Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi
- Composition of Partially Observable Services Exporting their Behaviour Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi
- An Automata-Theoretic Approach to Regular XPath
- Ontologies and Databases: The DL-Lite Approach
- On Instance-Level Update and Erasure in Description Logic Ontologies
- Automatic Service Composition and Synthesis: the Roman Model Diego Calvanese
- View-based Query Answering over Description Logic Ontologies Diego Calvanese1
- Path-based Identification Constraints in Description Logics Diego Calvanese1
- International Journal of Foundations of Computer Science c World Scientific Publishing Company
- Inconsistency Tolerance in P2P Data Integration: an Epistemic Logic Approach
- On Reconciling Data Exchange, Data Integration, and Peer Data Management
- Automatic Workflows Composition of Mobile Services Giuseppe De Giacomo Massimiliano de Leoni Massimo Mecella Fabio Patrizi
- MASTRO-I: Efficient integration of relational data through DL ontologies
- Actions and Programs over Description Logic Diego Calvanese1
- Finite Model Reasoning on UML Class Diagrams via Constraint Programming
- Highly Dynamic Adaptation in Process Management Systems
- View-based Query Processing: On the Relationship between Rewriting,
- Dealing with inconsistencies and incompleteness in database update (position paper)
- Data Complexity of Query Answering in Description Logics
- Automatic Composition of Web Services with Nondeterministic Behavior
- Book Editors IOS Press, 2003
- Composition of Services with Nondeterministic Observable Behavior
- Automatic Composition of Transition-based Semantic Web Services with Messaging
- Modeling Data & Processes for Service Specifications in Colombo
- Data Complexity of Query Answering in Description Logics
- Tailoring OWL for Data Intensive Ontologies Diego Calvanese1
- International Journal of Cooperative Information Systems Vol. X, No. Y (2004) 000000
- Data Integration: A Logic-Based Perspective Diego Calvanese
- Tackling Inconsistencies in Data Integration through Source Preferences
- On Ability to Autonomously Execute Agent Programs with Sensing --Extended Abstract
- What to Ask to a Peer: Ontology-based Query Reformulation Diego Calvanese
- DL-Lite: Practical Reasoning for Rich DLs In Proc. of the 2004 Int. Workshop on Description Logics (DL 2004)
- Towards Implementing Finite Model Reasoning in Description Logics
- Finite Satisfiability of UML class diagrams by Constraint Programming
- Reasoning on UML Class Diagrams is EXPTIME-hard Daniela Berardi, Diego Calvanese, and Giuseppe De Giacomo
- e-Service Composition by Description Logics Based Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo,
- Automatic Composition of E-services That Export Their Behavior
- A Foundational Framework for e-Services Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
- View-Based Query Containment Diego Calvanese
- Decidable Containment of Recursive Queries Diego Calvanese1
- Giuseppe De Giacomo & Maurizio Lenzerini Converse, Local Determinism, and Graded Nondeterminism in
- Basis for AutomaticBasis for Automatic Service CompositionService Composition
- On Deliberation under Incomplete Information and the Inadequacy of Entailment and Consistency-Based
- ESC: A Tool for Automatic Composition of e-Services based on Logics of Programs
- Can OWL model football leagues? Diego Calvanese1
- Linking Data to Ontologies Antonella Poggi1
- Composing Web Services with Nondeterministic Behavior Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella
- Conceptual Modeling for Data Integration Diego Calvanese1
- On Ability to Autonomously Execute Agent Programs with Sensing Sebastian Sardi~na
- Concept language with number restrictions and fixpoints, and its relationship with mu-calculus
- Situation Calculus-based Programs for Representing and Reasoning about Game Structures
- Scaling up reasoning about actions using relational database technology Giuseppe De Giacomo and Toni Mancini
- Linking Data to Ontologies: The Description Logic DL-LiteA
- Automatic Synthesis of New Behaviors from a Library of Available Behaviors Giuseppe De Giacomo
- Ontology-based database access Diego Calvanese1
- Hyper: A Framework for Peer-to-Peer Data Integration on Grids
- On the Update of Description Logic Ontologies at the Instance Level Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
- Automatic Web Service Composition: Service-tailored vs. Client-tailored Approaches 1
- Towards Higher-Order DL-Lite (preliminary report)
- Annals of Mathematics and Artificial Intelligence 41: 259299, 2004. 2004 Kluwer Academic Publishers. Printed in the Netherlands.
- Automatic Composition of Process-based Web Services: a Challenge
- Information Systems 29 (2004) 147163 Data integration under integrity constraints
- Logical Foundations of Peer-To-Peer Data Integration Diego Calvanese
- Solving High-Level Planning Programs (Extended Abstract)
- A Framework for Ontology Integration Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- On-line Adaptation of Sequential Mobile Processes Running Concurrently
- Data Integration through DL-LiteA Ontologies Diego Calvanese1
- Realizing Multiple Autonomous Agents through Scheduling of Shared Devices Sebastian Sardina
- Boosting the correspondence between description logics and propositional dynamic logics
- Artifact-Centric Workflow Dominance Diego Calvanese1
- Efficiently Managing Data Intensive Ontologies Diego Calvanese1
- Automatic Composition of e-Services Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
- DL-Lite: Tractable Description Logics for Ontologies Diego Calvanese1
- Generalized Planning with Loops under Strong Fairness Constraints Giuseppe De Giacomo and Fabio Patrizi
- On-line Appendix to the Paper "Automatic Composition of Transition-based Semantic Web
- Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals Giuseppe De Giacomo
- EQL-Lite: Effective First-Order Query Processing in Description Logics Diego Calvanese1
- Composition of Services that Share an Infinite-State Blackboard (Extended Abstract)
- Conjunctive Query Containment and Answering under Description Logic Constraints
- Service CompositionService Composition Technologies, Methods and Tools for Synthesis and OrchestrationTechnologies, Methods and Tools for Synthesis and Orchestration
- Increasing the Power of Structured Objects Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini
- A Model of Contingent Planning for Agent Programming Yves Lesprance
- Universita degli Studi di Roma \La Sapienza" Dipartimento di Informatica e Sistemistica
- Synthesis of Underspecified Composite e-Services based on Automated Reasoning
- Agent Programming via Planning Programs Giuseppe De Giacomo and Fabio Patrizi
- On Higher-Order Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
- EXPTIME Tableaux for ALC (Extended Abstract)
- Minimal Knowledge Approach to Reasoning about Actions and Sensing Giuseppe De Giacomo and Riccardo Rosati
- IBIS: Data Integration at Work (extended abstract)
- Information Integration: Conceptual Modeling and Reasoning Support
- Progression and Regression Using Sensors Giuseppe De Giacomo
- Incremental Execution of Guarded Theories GIUSEPPE DE GIACOMO
- Tableaux and Algorithms for Propositional Dynamic Logic with Converse
- Automata-Theoretic Approach to Planning for Temporally Extended Goals
- Planning with Sensing for a Mobile Robot Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
- Classic planning for mobile robots Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
- An Incremental Interpreter for High-Level Programs with Sensing
- Verification of Conjunctive-Query Based Semantic Artifacts
- ConGolog, a concurrent programming language based on the situation calculus: language and
- Source Integration in Data Warehousing Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
- Conjunctive Query Containment in Description Logics with n-ary Relations
- On the Semantics of Deliberation in IndiGolog --From Theory to Implementation
- Reasoning about High-Level Robot Behaviors by Model Checking and Local Validity Tests
- Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
- 2ATAs make DLs easy In Proc. of 2002 Int. Workshop on Description Logics (DL 2002)
- Answering Queries Using Views over Description Logics Knowledge Bases
- Mapping Data to Higher-Order Description Logic Knowledge Bases
- Identification Constraints and Functional Dependencies in Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- On the Expressive Power of Data Integration Andrea Cal`i, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
- Semi-structured Data with Constraints and Incomplete Information Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- A Principled Approach to Data Integration and Reconciliation in Data Warehousing
- Modeling and Querying Semi-Structured Data
- View-based Query Processing and Constraint Satisfaction Diego Calvanese
- Giuseppe De Giacomo Xiao Jun Chen Introduction
- A Framework for Ontology Integration Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- Keys for Free in Description Logics In Proc. of 2000 Int. Workshop on Description Logics (DL 2000)
- Representing and Reasoning on SGML Documents
- Execution Monitoring of High-Level Robot Programs. Giuseppe De Giacomo
- Foundations of Relational Artifacts Verification Babak Bagheri Hariri1
- Artificial Intelligence 121 (2000) 109169 ConGolog, a concurrent programming language
- Ontology of integration and integration of ontologies
- What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
- To appear in Proc. of DL'96 Representing SGML Documents in Description Logics
- Accessing Data Integration Systems through Conceptual Schemas
- Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions
- Containment of Conjunctive Regular Path Queries with Inverse To appear in Proceedings of KR 2000
- View-Based Query Answering and Query Containment
- Journal of Intelligent Information Systems, , 1{30 (1996) c 1996 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- View-Based Query Processing for Regular Path Queries with Inverse
- Knowledge Representation Approach to Information Integration Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini,
- An Incremental Interpreter for High-Level Programs with Sensing Giuseppe De Giacomo
- Reasoning on UML Class Diagrams in Description Logics
- Reasoning on UML Class Diagrams using Description Logic Based Systems
- Models for information integration: turning local-as-view into global-as-view
- Non-Terminating Processes in the Situation Calculus Giuseppe De Giacomo
- A Foundational Vision of e-Services Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
- Queries and Constraints on Semi-Structured Data
- Eliminating \Converse" from Converse PDL Giuseppe De Giacomo
- A Formal Framework for Reasoning on UML Class Andrea Cal`i, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
- Reasoning in Expressive Description Diego Calvanese Giuseppe De Giacomo
- Theorem 1 For any objective sentence about situation s, (s),5 Axioms fSensed ]g j= (end ])
- Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
- TBox and ABox Reasoning in Expressive Description Logics Giuseppe De Giacomo
- Robot-TINO Advancements(Position Statement) Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
- What can Knowledge Representation do for Semi-Structured Data? Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- Rewriting Regular Expressions in Semi-Structured Data To appear in ICDT'99 WS on Query Processing for SSD and Non-standard Data Formats
- TWO APPROACHES TO EFFICIENT OPEN-WORLD REASONING
- Making CAT S out of kittens: description logics with aggregates Giuseppe De Giacomo and Maurizio Lenzerini
- Extending Semi-structured Data Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- Data Integration under Integrity Constraints Andrea Cal`i, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
- Reasoning about Actions and Planning in ltl Action Theories
- Description Logics: Foundations for Class-based Knowledge Representation Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- Planning Via Model Checking: Some Experimental Daniela Berardi, Giuseppe De Giacomo
- Rewriting of Regular Expressions and Regular Path Queries Diego Calvanese1, Giuseppe De Giacomo1, Maurizio Lenzerini1, Moshe Y. Vardi2
- Description Logics for Information Integration Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
- Electronic Transactions on Arti cial Intelligence Vol. 3 (1999), Section C: pp. 1-18
- Answering Regular Path Queries Using Views Diego Calvanese1
- On the Decidability of Query Containment under Constraints Diego Calvanese
- A note on encoding inverse roles and functional restrictions in ALC knowledge bases
- Exploiting a Relational DBMS for Reasoning about Giuseppe De Giacomo1 and Fabio Palatta2
- 0022-0000/02 $35.00 2002 Elsevier Science (USA)
- Lossless Regular Views Diego Calvanese
- ConGolog, a concurrent programming language based on the situation calculus: foundations
- Accessing Data Integration Systems through Conceptual Schemas (extended abstract)
- Answering Queries Using Views in Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
- Moving a robot starting from a theory of actions Giuseppe De Giacomo and Luca Iocchi and Daniele Nardi and Riccardo Rosati
- Conceptual Data Model with Structured Objects for Statistical Giuseppe De Giacomo Paolo Naggar
- Execution Monitoring of High-Level Robot Giuseppe De Giacomo
- IBIS: Semantic Data Integration at Work Andrea Cal`i1
- Data integration and reconciliation in Data Warehousing: Conceptual modeling and
- Chronolog: It's about Time for Golog GIUSEPPE DE GIACOMO AND MAURICE PAGNUCCO
- Actions and Programs over Description Logic Knowledge Bases: A Functional Approach
- What is View-Based Query Rewriting? (Position Paper)
