GIUSEPPE DE GIACOMO

Professore ordinario

email: giuseppe.degiacomo@uniroma1.it
telefono: 063296663




Produzione scientifica

11573/1664900 - 2023 - AI-Augmented Business Process Management Systems: A Research Manifesto
Marrella, Andrea; Montali, Marco; Calvanese, Diego; De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS (New York, NY : Association for Computing Machinery) pp. - - issn: 2158-656X - wos: (0) - scopus: (0)

11573/1591876 - 2022 - Measuring the interestingness of temporal logic behavioral specifications in process mining
De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria - 01a Articolo in rivista
rivista: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. - - issn: 0306-4379 - wos: WOS:000804767700001 (0) - scopus: 2-s2.0-85119302058 (0)

11573/1626616 - 2022 - Situation calculus for controller synthesis in manufacturing systems with first-order state representation
De Giacomo, Giuseppe; Logan, Brian Stuart; Patrizi, Fabio; Sardina, Sebastian - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. - - issn: 0004-3702 - wos: WOS:000707426600001 (0) - scopus: 2-s2.0-85116414608 (1)

11573/1657086 - 2022 - Grounding LTLf specifications in images
Umili, Elena; Capobianco, Roberto; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 16th International Workshop on Neural-Symbolic Learning and Reasoning (Cumberland Lodge, Windsor Great Park, United Kingdom)
libro: Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning - ()

11573/1659633 - 2022 - Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
De Giacomo, Giuseppe; Logan, Brian Stuart; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: 19th International Conference on Principles of Knowledge Representation and Reasoning (Haifa, Israele)
libro: KR 2022 - (978-1-956792-01-0)

11573/1663267 - 2022 - Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes
De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 04b Atto di convegno in volume
congresso: Wokshop PMAI - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (Wien; Austria)
libro: PMAI 2022 - Process Management in the AI Era 2022 - ()

11573/1542484 - 2021 - From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems
De Giacomo, Giuseppe; Lenzerini, Maurizio; Leotta, Francesco; Mecella, Massimo - 02a Capitolo o Articolo
libro: Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - (978-3-030-73202-8; 978-3-030-73203-5)

11573/1565616 - 2021 - HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
De Giacomo, Giuseppe; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: Thirtieth International Joint Conference on Artificial Intelligence (Montreal)
libro: IJCAI 2021 - ()

11573/1567441 - 2021 - Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
De Giacomo, Giuseppe; Di Stasio, Antonio; Zhu, Shufang - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1852-1858 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85124789271 (3)
congresso: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (Montreal, QC; Canada)

11573/1572039 - 2021 - Intensional and Extensional Views in DL-Lite Ontologies
Console, Marco; De Giacomo, Giuseppe; Lenzerini, Maurizio; Namici, Manuel - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1822-1828 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85125453683 (0)
congresso: Thirtieth International Joint Conference on Artificial Intelligence (Montreal, QC; Canada)

11573/1575262 - 2021 - Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
De Giacomo, Giuseppe; Rosati, Riccardo; Savo, Domenico Fabio - 01a Articolo in rivista
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695 -Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 1335-1371 - issn: 1076-9757 - wos: WOS:000743970700010 (1) - scopus: 2-s2.0-85105017855 (1)

11573/1575264 - 2021 - Efficient PAC Reinforcement Learning in Regular Decision Processes
Ronca, Alessandro; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 (Montreal, Canada)
libro: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 - ()

11573/1575268 - 2021 - Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 (Montreal, Canada)
libro: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 - ()

11573/1575288 - 2021 - Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata
De Giacomo, Giuseppe; Favorito, Marco - 04b Atto di convegno in volume
congresso: Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021 (Guangzhou, China)
libro: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021 - ()

11573/1581213 - 2021 - Learning a Symbolic Planning Domain through the Interaction with Continuous Environments
Umili, Elena; Antonioni, Emanuele; Riccio, Francesco; Capobianco, Roberto; Nardi, Daniele; De Giacomo, Giuseppe - 04f Poster
congresso: The International Conference on Automated Planning, ICAPS 2021 (Guangzhou, China)
libro: Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), workshop at ICAPS 2021 - ()

11573/1583243 - 2021 - Synthesis with Mandatory Stop Actions
De Giacomo, Giuseppe; Di Stasio, Antonio; Perelli, Giuseppe; Zhu, Shufang - 04b Atto di convegno in volume
congresso: 18th International Conference on Principles of Knowledge Representation and Reasoning (Online event)
libro: KR2021 Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning - (978-195679299-7)

11573/1583245 - 2021 - Timed Trace Alignment with Metric Temporal Logic over Finite Traces
De Giacomo, Giuseppe; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: 18th International Conference on Principles of Knowledge Representation and Reasoning (Online event)
libro: KR 2021 - ()

11573/1611250 - 2021 - Digital Twins Composition via Markov Decision Processes
De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 04d Abstract in atti di convegno
congresso: 1st Italian Forum on Business Process Management, ITBPM 2021 (Rome; Italy)
libro: CEUR Workshop Proceedings - ()

11573/1627709 - 2021 - The Nondeterministic Situation Calculus
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 (Hanoi Vietnam (online))
libro: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 - (978-1-956792-99-7)

11573/1627713 - 2021 - Synthesizing Best-effort Strategies under Multiple Environment Specifications
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 (Hanoi Vietnam (online))
libro: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 - (978-1-956792-99-7)

11573/1627717 - 2021 - Embedding reactive behavior into artifact-centric business process models
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: FUTURE GENERATION COMPUTER SYSTEMS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 97-110 - issn: 0167-739X - wos: WOS:000612106900008 (1) - scopus: 2-s2.0-85097162639 (2)

11573/1365805 - 2020 - Non-terminating processes in the situation calculus
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 623-640 - issn: 1012-2443 - wos: WOS:000538364700010 (1) - scopus: 2-s2.0-85075346040 (2)

11573/1400243 - 2020 - Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
De Giacomo, Giuseppe; Di Stasio, Antonio; Fuggitti, Francesco - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 4959-4965 - issn: 1045-0823 - wos: WOS:000764196705013 (2) - scopus: 2-s2.0-85097336488 (6)
congresso: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20) Survey Track (Yokohama; Japan)

11573/1434370 - 2020 - Imitation Learning over Heterogeneous Agents with Restraining Bolts
De Giacomo, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 30th International Conference on Automated Planning and Scheduling, ICAPS 2020 (Nancy; France)
libro: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) - ()

11573/1435479 - 2020 - Restraining Bolts for Reinforcement Learning Agents
De Giacomo, Giuseppe; Favorito, Marco; Iocchi, Luca; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 34th Conference on Artificial Intelligence (New York, NY, USA)
libro: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence - (978-1-57735-835-0)

11573/1440081 - 2020 - Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
De Giacomo, Giuseppe; Di Stasio, Antonio; Zhu, Shufang - 04b Atto di convegno in volume
congresso: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 (Online)
libro: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - (978-171382598-2)

11573/1449390 - 2020 - A Temporal Logic-Based Measurement Framework for Process Mining
De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria - 04b Atto di convegno in volume
congresso: 2nd International Conference on Process Mining, ICPM 2020 (Padua, Italy)
libro: 2020 2nd International Conference on Process Mining (ICPM) - (978-1-7281-9832-3)

11573/1470121 - 2020 - Extending DL-LiteR TBoxes with view definitions
Namici, Manuel; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: 33rd International Workshop on Description Logics, DL 2020 (Virtual, Online)
libro: DL 2020 Description Logics 2020 - ()

11573/1471641 - 2020 - Temporal Logic Monitoring Rewards via Transducers
De Giacomo, Giuseppe; Favorito, Marco; Iocchi, Luca; Patrizi, Fabio; Ronca, Alessandro - 04b Atto di convegno in volume
congresso: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning — Special Session on KR and Machine Learning. (Rhodes; Greece)
libro: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - (978-0-9992411-7-2)

11573/1506138 - 2020 - ElGolog: A High-Level Programming Language with Memory of the Execution History
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 34th AAAI Conference on Artificial Intelligence (New York, NY, USA)
libro: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence - ()

11573/1506232 - 2020 - LTLf Synthesis with Fairness and Stability Assumptions
Zhu, Shufang; De Giacomo, Giuseppe; Vardi, Moshe Yaakov - 04b Atto di convegno in volume
congresso: The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) (New York, NY, USA)
libro: The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) - (978-157735835-0)

11573/1506300 - 2020 - Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) (Auckland, New Zealand)
libro: AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems - (978-145037518-4)

11573/1506307 - 2020 - Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 30th International Conference on Automated Planning and Scheduling, ICAPS 2020 (Nancy; France)
libro: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020) - (978-1-57735-824-4)

11573/1506315 - 2020 - Synthesizing strategies under expected and exceptional environment behaviors
De Giacomo, Giuseppe - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1674-1680 - issn: 1045-0823 - wos: WOS:000764196701111 (1) - scopus: 2-s2.0-85097335333 (5)
congresso: Twenty-Ninth International Joint Conference on Artificial Intelligence, (IJCAI 2020) (Yokohama, Japan)

11573/1506317 - 2020 - High-level Programming via Generalized Planning and LTL Synthesis
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) (Rhodes, Greece)
libro: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) - (978-0-9992411-7-2)

11573/1506323 - 2020 - Nondeterministic Strategies and their Refinement in Strategy Logic
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) (Rhodes, Greece)
libro: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020 - (978-0-9992411-7-2)

11573/1506337 - 2020 - ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)
De Giacomo, Giuseppe - 06a Curatela

11573/1366959 - 2019 - Acquiring Ontology Axioms through Mappings to Data Sources
Di Pinto, Floriana; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
rivista: FUTURE INTERNET (Basel : MDPI) pp. - - issn: 1999-5903 - wos: WOS:000505727300001 (3) - scopus: 2-s2.0-85079695361 (3)

11573/1367948 - 2019 - The What-To-Ask Problem for Ontology-Based Peers
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
libro: Description Logic, Theory Combination, and All That - (978-3-030-22101-0; 978-3-030-22102-7)

11573/1382479 - 2019 - Hybrid Temporal Situation Calculus
De Giacomo, Giuseppe; Soutchanski, Mikhail - 04b Atto di convegno in volume
congresso: 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019 (Kingston; Canada)
libro: Advances in Artificial Intelligence - (978-3-030-18304-2; 978-3-030-18305-9)

11573/1382610 - 2019 - Automatic Business Process Model Extension to Repair Constraint Violations
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 17th International Conference on Service-Oriented Computing, ICSOC 2019 (Toulouse; France)
libro: Service-Oriented Computing - (978-3-030-33701-8; 978-3-030-33702-5)

11573/1383656 - 2019 - Hybrid temporal situation calculus
De Giacomo, Giuseppe; Soutchanski, Mikhail - 04b Atto di convegno in volume
congresso: 34th Annual ACM Symposium on Applied Computing, SAC 2019 (Limassol; Cyprus)
libro: SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - (9781450359337)

11573/1383713 - 2019 - Regular decision processes: A model for non-markovian domains
Brafman, Ronen Israel; De Giacomo, Giuseppe - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 5516-5522 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85074913237 (5)
congresso: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (Macao; China)

11573/1383988 - 2019 - Planning for LTLF/LDLF goals in non-Markovian fully observable nondeterministic domains
Brafman, Ronen Israel; De Giacomo, Giuseppe - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1602-1608 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85074942521 (11)
congresso: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (Macao; China)

11573/1387197 - 2019 - Regular decision processes: Modelling dynamic systems without using hidden variables
Brafman, Ronen Israel; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 (Montreal; Canada)
libro: AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems - ()

11573/1401140 - 2019 - Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications
De Giacomo, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (Berkeley, CA, USA)
libro: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling - ()

11573/1402389 - 2019 - Unbounded Orchestrations of Transducers for Manufacturing
De Giacomo, Giuseppe; Felli, Paolo - 04b Atto di convegno in volume
congresso: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence (Honolulu, Hawaii; USA)
libro: The Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI 2019) - ()

11573/1402405 - 2019 - Planning under LTL Environment Specifications
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019) (Berkeley, CA; USA)
libro: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019) - ()

11573/1079318 - 2018 - Ontology-Based Data Access and Integration
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02d Voce di Enciclopedia/Dizionario
libro: Encyclopedia of Database Systems - (978-1-4614-8266-6; 978-1-4614-8265-9; 978-1-4614-8264-2)

11573/1101958 - 2018 - First-order μ-calculus over generic transition systems and applications to the situation calculus
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 328-347 - issn: 0890-5401 - wos: WOS:000428725600003 (14) - scopus: 2-s2.0-85029421794 (21)

11573/1182865 - 2018 - LTLf/LDLf Non-Markovian Rewards
Brafman, Ronen Israel; De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 32th AAAI Conference on Artificial Intelligence (AAAI-18) (New Orleans, Louisiana; USA)
libro: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) - ()

11573/1182867 - 2018 - Synthesis of Orchestrations of Transducers for Manufacturing
De Giacomo, Giuseppe; Vardi, Moshe Yaakov; Felli, Paolo - 04b Atto di convegno in volume
congresso: Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) (New Orleans, Louisiana, USA)
libro: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) - (978-1-57735-800-8)

11573/1182869 - 2018 - Hierarchical agent supervision
De Giacomo, Giuseppe; Lesperance, Yves - 04b Atto di convegno in volume
congresso: 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018 (Stockholm; Sweden)
libro: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS' 18) - (9781510868083; 978-1-4503-5649-7)

11573/1182871 - 2018 - Interestingness of traces in declarative process mining: The janus LTLPf Approach
Di Ciccio, Claudio; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 16th International Conference on Business Process Management, BPM 2018 (Sydney; Australia)
libro: Business Process Management - (9783319986470; 978-3-319-98648-7)

11573/1182873 - 2018 - Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
De Giacomo, Giuseppe; Lesperance, Yves - 04b Atto di convegno in volume
congresso: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 (Stockholm; Sweden)
libro: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18) - (978-0-9992411-2-7)

11573/1182875 - 2018 - Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals
De Giacomo, Giuseppe; Rubin, Sasha - 04b Atto di convegno in volume
congresso: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 (Stockholm; Sweden)
libro: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018 - (978-0-9992411-2-7)

11573/1365998 - 2018 - Comparing query answering in OBDA tools over W3C-compliant specifications
Namici, Manuel; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 31st International Workshop on Description Logics, DL 2018 (Tempe; United States)
libro: DL 2018 Description Logics - ()

11573/978649 - 2018 - Using Ontologies for Semantic Data Integration
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 02a Capitolo o Articolo
libro: A Comprehensive GuideThrough the Italian DatabaseResearch Over the Last25 Years - (978-3-319-61892-0; 978-3-319-61893-7)

11573/1073180 - 2017 - Abstraction in situation calculus action theories
De Giacomo, Giuseppe; Lesperance, Yves - 04b Atto di convegno in volume
congresso: 31st AAAI Conference on Artificial Intelligence, AAAI 2017 (San Francisco; United States)
libro: AAAI'17 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence - ()

11573/1073185 - 2017 - Generalized planning: Non-deterministic abstractions and trajectory constraints
De Giacomo, Giuseppe; Geffner, Hector Alberto; Rubin, Sasha - 04b Atto di convegno in volume
congresso: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 (Melbourne; Australia)
libro: IJCAI'17 Proceedings of the 26th International Joint Conference on Artificial Intelligence - (9780999241103)

11573/1073190 - 2017 - Linking data and BPMN processes to achieve executable models
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 29th International Conference on Advanced Information Systems Engineering, CAiSE-Forum-DC 2017 (Essen; Germany)
libro: Advanced Information Systems Engineering - (9783319595351)

11573/1073200 - 2017 - Practical update management in ontology-based data access
De Giacomo, Giuseppe; Lembo, Domenico; Savo, Domenico Fabio - 04b Atto di convegno in volume
congresso: 16th International Semantic Web Conference, ISWC 2017 (Vienna; Austria)
libro: The Semantic Web – ISWC 2017 - (9783319682877)

11573/1073204 - 2017 - Service composition in stochastic settings
Brafman, Ronen Israel; De Giacomo, Giuseppe; Mecella, Massimo; Sardina, Sebastian - 04b Atto di convegno in volume
congresso: 16th International Conference on Italian Association for Artificial Intelligence, AI*IA 2017 (Bari; Italy)
libro: AI*IA 2017 Advances in Artificial Intelligence - (9783319701684)

11573/965532 - 2017 - On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment
De Giacomo, Giuseppe; Maggi, Fabrizio Maria; Marrella, Andrea; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 31st AAAI Conference on Artificial Intelligence (AAAI-17) (San Francisco, California; USA)
libro: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Seventh Symposium on Educational Advances in Artificial Intelligence : 4-9 February 2017, San Francisco, California, USA - (978-1-57735-784-1)

11573/978641 - 2017 - On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies
Cima, Gianluca; De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: 7th International Conference on Web Intelligence, Mining and Semantics (Amantea; Italy)
libro: WIMS '17 Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics - (978-1-4503-5225-3)

11573/978797 - 2017 - Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime
Cima, Gianluca; De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: 25th Italian Symposium on Advanced Database Systems (Squillace Lido; Italy)
libro: Proceedings of the 25th Italian Symposium on Advanced Database Systems - ()

11573/1337309 - 2016 - Situation calculus game structures and GDL
De Giacomo, Giuseppe; Lesperance, Yves; Pearce, Adrian Roderick - 04b Atto di convegno in volume
congresso: 22nd European Conference on Artificial Intelligence, ECAI 2016 (The Hague; Netherlands)
libro: ECAI 2016 - ()

11573/839705 - 2016 - Agent planning programs
De Giacomo, Giuseppe; Patrizi, Fabio - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 64-106 - issn: 0004-3702 - wos: WOS:000368746100004 (10) - scopus: 2-s2.0-84947545990 (17)

11573/839707 - 2016 - Progression and Verification of Situation Calculus Agents with Bounded Beliefs
De Giacomo, Giuseppe; Patrizi, Fabio; Vassos, Stavros - 01a Articolo in rivista
rivista: STUDIA LOGICA (London ; Dordrecht ; Boston ; Warszawa : Pa'nstwowe Wydawnictwo Naukowe : Kluwer Academic Publishers) pp. 705-739 - issn: 0039-3215 - wos: WOS:000379529800005 (3) - scopus: 2-s2.0-84940860082 (2)

11573/885586 - 2016 - Bounded situation calculus action theories
De Giacomo, Giuseppe; Patrizi, Fabio - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 172-203 - issn: 0004-3702 - wos: WOS:000377828500008 (16) - scopus: 2-s2.0-84966349606 (24)

11573/913291 - 2016 - On First-Order μ-Calculus over Situation Calculus Action Theories
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africa)
libro: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 - (978-1-57735-755-1)

11573/933184 - 2016 - Updating DL-Lite ontologies through first-order queries
De Giacomo, Giuseppe; Rosati, Riccardo; Savo, Domenico Fabio - 04b Atto di convegno in volume
congresso: 15th International Semantic Web Conference, ISWC 2016 (Kobe; Japan)
libro: The Semantic Web – ISWC 2016 - (9783319465227; 978-3-319-46523-4)

11573/933407 - 2016 - LTLf and LDLf Synthesis under Partial Observability
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York, NY; United States)
libro: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016 - (978-1-57735-770-4)

11573/949556 - 2016 - Verifying congolog programs on bounded situation calculus theories
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (Phoenix; United States)
libro: AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence - (9781577357605)

11573/950780 - 2016 - Imperfect-information games and generalized planning
De Giacomo, Giuseppe; Di Stasio, Antonio - 04b Atto di convegno in volume
congresso: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York; United States)
libro: Proceedings of the twenty-fifth international joint conference on artificial intelligence - (978-1-57735-770-4)

11573/950783 - 2016 - Online agent supervision in the situation calculus
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York; United States)
libro: Proceedings of the twenty-fifth international joint conference on artificial intelligence - (978-1-57735-770-4)

11573/950784 - 2016 - Online situation-determined agents and their supervision
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africa)
libro: Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 - ()

11573/950785 - 2016 - Regular open APIs
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africa)
libro: Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 - ()

11573/950788 - 2016 - Verification of data-aware processes
De Giacomo, Giuseppe - 04d Abstract in atti di convegno
congresso: 11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015 (Madrid; Spain)
libro: Web Services, Formal Methods, and Behavioral Types - (9783319336114)

11573/965504 - 2016 - Computing Trace Alignment against Declarative Process Models through Planning
De Giacomo, Giuseppe; Marrella, Andrea; Maggi, Fabrizio Maria; Sardina, Sebastian - 04b Atto di convegno in volume
congresso: 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) (London; United Kingdom)
libro: ICAPS'16 Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling - (978-1-57735-757-5)

11573/828232 - 2015 - Data Complexity of Query Answering in Description Logics
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
libro: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015. - (978-1-57735-738-4)

11573/839704 - 2015 - Knowledge Representation and Reasoning: What's Hot
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 (Austin; United States)
libro: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA - (978-1-57735-698-1)

11573/839706 - 2015 - Declarative process modeling in BPMN
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015 (Stockholm; Sweden)
libro: Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings - (9783319190686; 978-3-319-19069-3)

11573/839709 - 2015 - Synchronous games in the situation calculus
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 14th International conference on autonomous agents and multiagent systems, AAMAS 2015 (Istanbul; Turkey)
libro: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - (9781450337717; 978-1-4503-3413-6)

11573/839710 - 2015 - Synthesis for LTL and LDL on Finite Traces
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
libro: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)

11573/839711 - 2015 - On the undecidability of the situation calculus extended with description logic ontologies
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
libro: Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)

11573/839712 - 2015 - Adding DL-Lite TBoxes to Proper Knowledge Bases
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 14th International Semantic Web Conference ISWC 2015 (Bethlehem; United States)
libro: The Semantic Web - ISWC 2015 - (978-3-319-25006-9; 978-3-319-25007-6)

11573/839713 - 2015 - Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
Patrizi, Fabio; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
libro: Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)

11573/873837 - 2015 - Service Composition with PDDL Representations and Visualization over Videogame Engines
De Giacomo, Giuseppe; Ntouskos, Valsamis; Patrizi, Fabio; Vassos, Stavros; Aversa, Davide - 04b Atto di convegno in volume
congresso: 8th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015 (Rome; Italy)
libro: 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) - (9781467394697)

11573/950786 - 2015 - Temporal reasoning in bounded situation calculus
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015 (Kassel; Germany)
libro: 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - (9781467393171)

11573/537188 - 2014 - Progression and Verification of Situation Calculus Agents with Bounded Beliefs
De Giacomo, Giuseppe; Patrizi, Fabio; Vassos, Stavros - 04b Atto di convegno in volume
congresso: Autonomous Agents and Multiagent Systems (Paris, France)
libro: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 - (978-1-4503-2738-1)

11573/650795 - 2014 - Automated Service Composition Based on Behaviors: The Roman Model
De Giacomo, Giuseppe; Mecella, Massimo; Patrizi, Fabio - 02a Capitolo o Articolo
libro: Web Services Foundations - (9781461475170; 9781461475187)

11573/670485 - 2014 - Agent Behavior Composition in Virtual Environments Realized Using Game Engines
De Giacomo, Giuseppe; Ntouskos, Valsamis; Patrizi, Fabio; Vassos, Stavros; Aversa, Davide - 04b Atto di convegno in volume
congresso: Workshop on AI Problems and Approaches for Intelligent Environments (Praga Repubblica Ceca)
libro: Proceedings of the 2014 Workshop on AI Problems and Approaches for Intelligent Environments - ()

11573/778318 - 2014 - Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Twenty-Eighth AAAI Conference on Artificial Intelligence (Quebec City, Quebec, Canada)
libro: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence - (978-1-57735-661-5)

11573/778321 - 2014 - Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 12th International Conference on Business Process Management, BPM 2014 ()
libro: Business Process Management - 12th International Conference, BPM 2014 - (978-3-319-10171-2)

11573/778323 - 2014 - Verification of data-aware commitment-based multiagent system
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 (Paris, France)
libro: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 - (978-1-4503-2738-1)

11573/778325 - 2014 - Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 (Portsmouth, New Hampshire, USA)
libro: Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 - (978-1-57735-660-8)

11573/778328 - 2014 - LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
De Giacomo, Giuseppe; Patrizi, Fabio; Vassos, Stavros - 04b Atto di convegno in volume
congresso: 21st European Conference on Artificial Intelligence (Prague, Czech Republic)
libro: ECAI 2014 - 21st European Conference on Artificial Intelligence - (978-1-61499-418-3)

11573/778330 - 2014 - Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 29th Italian Conference on Computational Logic, CILC 2014 (Torino; Italy)
libro: Proceedings of the 29th Italian Conference on Computational Logic - ()

11573/950789 - 2014 - Verification of human driven data-centric dynamic systems
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 2014 AAAI Spring Symposium (Palo Alto, CA; USA)
libro: AAAI Spring Symposium - Technical Report - (9781577356554)

11573/516108 - 2013 - Automatic behavior composition synthesis
De Giacomo, Giuseppe; Patrizi, Fabio - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 106-142 - issn: 0004-3702 - wos: WOS:000319087200005 (39) - scopus: 2-s2.0-84889776894 (51)

11573/516112 - 2013 - Data complexity of query answering in description logics
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 335-360 - issn: 0004-3702 - wos: WOS:000315839600013 (68) - scopus: 2-s2.0-84878317837 (111)

11573/516114 - 2013 - Description Logic Knowledge and Action Bases
De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo - 01a Articolo in rivista
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695 -Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 651-686 - issn: 1076-9757 - wos: WOS:000318146400001 (33) - scopus: 2-s2.0-84878287886 (53)

11573/516148 - 2013 - On simplification of schema mappings
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 816-834 - issn: 0022-0000 - wos: WOS:000319368900005 (4) - scopus: 2-s2.0-84877701164 (4)

11573/516157 - 2013 - A generic technique for synthesizing bounded finite-state controllers
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013 (Rome)
libro: Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) - (9781577356097)

11573/516158 - 2013 - Verification of relational data-centric dynamic systems with external services
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013 (New York, NY)
libro: PODS 2013 - (9781450320665)

11573/516160 - 2013 - Foundations of data-aware process analysis: A database theory perspective
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013 (New York, New York, USA)
libro: Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2013) - (9781450320665)

11573/516161 - 2013 - Supremal realizability of behaviors with uncontrollable exogenous events
Felli, Paolo; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
libro: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013) - (9781577356332)

11573/516162 - 2013 - Bounded epistemic situation calculus theories
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
libro: Proceedings of the 23rd International Joint Conference on Artificial Intelligence - (9781577356332)

11573/516163 - 2013 - Linear temporal logic and Linear Dynamic Logic on finite traces
De Giacomo, Giuseppe - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 854-860 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-84896063056 (303)
congresso: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
libro: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013). - (9781577356332)

11573/531055 - 2013 - Verification and synthesis in description logic based dynamic systems
De Giacomo, Giuseppe; Patrizi, Fabio - 04c Atto di convegno in rivista
rivista: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 50-64 - issn: 0302-9743 - wos: (0) - scopus: 2-s2.0-84881145218 (15)
congresso: 7th International Conference on Web Reasoning and Rule Systems, RR 2013 (Mannheim)
libro: Proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013 - (9783642396656; 9783642396663)

11573/531063 - 2013 - Dynamic Systems based on Description Logics: Formalization, verification, and synthesis
De Giacomo, Giuseppe; Patrizi, Fabio - 04c Atto di convegno in rivista
rivista: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. 573-586 - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-84892379527 (1)
congresso: 26th International Workshop on Description Logics, DL 2013 (Ulm)
libro: Proceedings of the 26th International Workshop on Description Logics - ()

11573/537274 - 2013 - MASTRO STUDIO: Managing ontology-based data access applications
Civili, Cristina; Console, Marco; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Lepore, Lorenzo; Mancini, Riccardo; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Santarelli, Valerio; Savo, Domenico Fabio - 01a Articolo in rivista
rivista: PROCEEDINGS OF THE VLDB ENDOWMENT (New York, NY : Association for Computing Machinery) pp. 1314-1317 - issn: 2150-8097 - wos: (0) - scopus: 2-s2.0-84891108628 (49)

11573/559334 - 2013 - Finite model reasoning on UML class diagrams via constraint programming
Cadoli, Marco; De Giacomo, Giuseppe; Mancini, Toni - 01a Articolo in rivista
rivista: INTELLIGENZA ARTIFICIALE (Associazione Italiana per l'Intelligenza Artificiale) pp. 57-65 - issn: 1724-8035 - wos: (0) - scopus: (0)

11573/668860 - 2013 - Rewrite and conquer: Dealing with integrity constraints in data integration
De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo
libro: Seminal Contributions to Information Systems Engineering - (9783642369254; 9783642369261)

11573/950787 - 2013 - Verification and synthesis in description logic based dynamic systems (abridged version)
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: Workshop AI Meets Business Processes, AIBP 2013 - Co-located with the 13th Conference of the Italian Association for Artificial Intelligence, AI*IA 2013 (Turin; Italy)
libro: CEUR Workshop Proceedings - ()

11573/42113 - 2012 - View-based query answering in Description Logics: Semantics and complexity
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
rivista: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 26-46 - issn: 0022-0000 - wos: WOS:000297833200004 (21) - scopus: 2-s2.0-81955168130 (32)

11573/484799 - 2012 - Ontology-based data access with dynamic TBoxes in DL-lite
Di Pinto, Floriana; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12 (Toronto, ON)
libro: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada - (9781577355687)

11573/484816 - 2012 - Synthesizing agent protocols from LTL specifications against multiple partially-observable environments
Felli, Paolo; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (Rome)
libro: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 - (9781577355601)

11573/484859 - 2012 - On supervising agents in situation-determined ConGolog
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 11th International Conference on Autonomous Agents and Multiagent Systems 2012: Innovative Applications Track, AAMAS 2012 (Valencia)
libro: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 - ()

11573/484863 - 2012 - Verification of description logic Knowledge and Action Bases
De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo - 04b Atto di convegno in volume
congresso: ECAI 2012 - 20th European Conference on Artificial Intelligence. ()
libro: ECAI 2012 - 20th European Conference on Artificial Intelligence. Montpellier, France, August 27-31 , 2012 - (9781614990970)

11573/484864 - 2012 - Bounded situation calculus action theories and decidable verification
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (Rome)
libro: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 - (9781577355601)

11573/484865 - 2012 - Ontology-Based Governance of Data-Aware Processes
De Giacomo, Giuseppe; Lembo, Domenico - 04b Atto di convegno in volume
congresso: Web Reasoning and Rule Systems - 6th International Conference ()
libro: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings - (9783642332029; 9783642332036)

11573/484867 - 2012 - Verification of conjunctive artifact-centric services
De Giacomo, Giuseppe; De Masellis, Riccardo; Rosati, Riccardo - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 111-139 - issn: 0218-8430 - wos: WOS:000307022800002 (15) - scopus: 2-s2.0-84864572151 (20)

11573/485088 - 2012 - Goal-based composition of stateful services for smart homes
De Giacomo, Giuseppe; Di Ciccio, Claudio; Felli, Paolo; Mecella, Massimo - 04b Atto di convegno in volume
congresso: Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 (Rome)
libro: Proc. of 20th International Conference on Cooperative Information Systems (CoopIS'12) - (9783642336058; 9783642336065)

11573/485092 - 2012 - Semantically-governed data-aware processes
De Giacomo, Giuseppe; Lembo, Domenico - 04b Atto di convegno in volume
congresso: 1st International Workshop on Knowledge-Intensive Business Processes, KiBP 2012 (Rome)
libro: Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP'12) - ()

11573/485094 - 2012 - Bounded situation calculus action theories (Extended abstract)
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 8th International Cognitive Robotics Workshop (Toronto, ON)
libro: Proc. of the 8th International Cognitive Robotics Workshop - (9781577355717)

11573/485095 - 2012 - Mastro: A reasoner for effective ontology-based data access
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
congresso: 1st International Workshop on OWL Reasoner Evaluation 2012, ORE 2012 - In Conjunction with the 6th International Joint Conference on Automated Reasoning, IJCAR 2012 (Manchester)
libro: Proceedings of the OWL Reasoner Evaluation Workshop (ORE 2012) - ()

11573/485096 - 2012 - Mastro: Ontology-based data access at work (extended abstract)
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
congresso: Confederated International Workshops on On the Move to Meaningful Internet Systems, OTM 2012: OTM Academy, Industry Case Studies Program, EI2N 2012, INBAST 2012, META4eS 2012, OnToContent 2012, ORM 2012, SeDeS 2012, SINCOM 2012, and SOMOCO 2012 (Rome)
libro: Proc. of 11th Int. Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE'12) - (9783642336171; 9783642336188)

11573/516153 - 2012 - Query processing under GLAV mappings for relational and graph databases
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: PROCEEDINGS OF THE VLDB ENDOWMENT (New York, NY : Association for Computing Machinery) pp. 61-72 - issn: 2150-8097 - wos: (0) - scopus: 2-s2.0-84875116496 (19)

11573/368806 - 2011 - Simplifying schema mappings
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: 14th International Conference on Database Theory, ICDT'11 (Uppsala)
libro: Proceedings of the 14th International Conference on Database Theory - ICDT '11 - (9781450305297)

11573/400169 - 2011 - The MASTRO system for ontology-based data access
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 01a Articolo in rivista
rivista: SEMANTIC WEB (Amsterdam:IOP press) pp. 43-53 - issn: 1570-0844 - wos: WOS:000209436400006 (115) - scopus: 2-s2.0-79957998180 (224)

11573/408676 - 2011 - Foundations of relational artifacts verification
De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo - 04b Atto di convegno in volume
congresso: 9th International Conference on Business Process Management, BPM 2011 (Clermont-Ferrand)
libro: Lecture Notes in Computer ScienceBusiness Process Management - (9783642230585; 9783642230592)

11573/416351 - 2011 - Computing infinite plans for LTL goals using a classical planner
Patrizi, Fabio; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Barcelona, Catalonia)
libro: Proceedings of the 22nd International Joint Conference on Artificial Intelligence - (9781577355120)

11573/416352 - 2011 - Verification of conjunctive-query based semantic artifacts?
De Giacomo, Giuseppe; De Masellis, Riccardo - 04b Atto di convegno in volume
congresso: 24th International Workshop on Description Logics, DL 2011 (Barcelona)
libro: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 - ()

11573/416353 - 2011 - Mapping data to higher-order description logic knowledge bases
Di Pinto, Floriana; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 24th International Workshop on Description Logics, DL 2011 (Barcelona)
libro: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 - ()

11573/416354 - 2011 - Higher-order description logics for domain metamodeling
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 (San Francisco, CA)
libro: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011 - (9781577355083)

11573/417961 - 2011 - Actions and Programs over Description Logic Knowledge Bases: A Functional Approach
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
libro: Knowing, Reasoning and Acting: Essays in Honor of Hector J. Levesque - (9781848900448)

11573/417963 - 2011 - Chronolog: It’s about Time for Golog
De Giacomo, Giuseppe - 02a Capitolo o Articolo
libro: Knowing, Reasoning and Acting: Essays in Honor of Hector J. Levesque - (9781848900448)

11573/950778 - 2011 - Efficient reasoning in proper knowledge bases with unknown individuals
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Barcelona; Spain)
libro: IJCAI International Joint Conference on Artificial Intelligence - (9781577355120)

11573/950779 - 2011 - Generalized planning: Synthesizing plans that work for multiple environments
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Barcelona; Spain)
libro: IJCAI International Joint Conference on Artificial Intelligence - (9781577355120)

11573/154609 - 2010 - Using OWL in data integration
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco - 02a Capitolo o Articolo
libro: Semantic Web Information Management. A Model-Based Perspective - (9783642043284; 9783642043291)

11573/194276 - 2010 - Automated composition of nondeterministic stateful services
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 6th International Workshop on Web Services and Formal Methods, WS-FM 2009 (Bologna; Italy)
libro: Proceedings the 6th Int. Workshop on Web Services and Formal Methods (WS-FM'09) - (9783642144578)

11573/194283 - 2010 - Node selection query languages for trees
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10 (Atlanta, Georgia, USA)
libro: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010) - (9781577354642)

11573/194284 - 2010 - Two-player game structures for generalized planning and agent composition
De Giacomo, Giuseppe; Felli, Paolo; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10 (Atlanta, GA)
libro: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010) - (9781577354642)

11573/194292 - 2010 - Agent programming via planning programs
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) (Toronto, Canada)
libro: Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) - ()

11573/194293 - 2010 - Agent composition synthesis based on ATL
De Giacomo, Giuseppe; Felli, Paolo - 04b Atto di convegno in volume
congresso: 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010 (Toronto, ON)
libro: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) - (9781617387715)

11573/194294 - 2010 - Situation Calculus Based Programs for Representing and Reasoning about Game Structures
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) (Toronto,Ontario, Canada,)
libro: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) - ()

11573/194295 - 2010 - Generalized Planning with Loops under Strong Fairness Constraints
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) (Toronto, Ontario, Canada)
libro: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010) - ()

11573/194296 - 2010 - Conjunctive artifact-centric services
De Masellis, Riccardo; De Giacomo, Giuseppe; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 8th International Conference on Service Oriented Computing, ICSOC 2010 (San Francisco, CA)
libro: Proceedings of the 8th International Conference of Service Oriented Computing (ICSOC'10) - (9783642173578; 9783642173585)

11573/170407 - 2009 - IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents
De Giacomo, Giuseppe - 02a Capitolo o Articolo
libro: Multi-Agent Programming: Languages, Tools and Applications - (9780387892986; 9780387892993)

11573/194046 - 2009 - Artifact-centric workflow dominance
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 7th International Joint Conference on Service-Oriented Computing, ICSOC-ServiceWave 2009 (Stockholm)
libro: Proceedings the 7th International Conference on Service Oriented Computing (ICSOC'09) - LNCS - (9783642103827; 9783642103834)

11573/194275 - 2009 - Composition of partially observable services exporting their behaviour
De Giacomo, Giuseppe; De Masellis, Riccardo; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 19th International Conference on Automated Planning and Scheduling, ICAPS 2009 (Thessaloniki)
libro: Procedings the 19th Int. Conference on Automated Planning and Scheduling (ICAPS'09) - (9781577354062)

11573/194278 - 2009 - Composition of ConGolog Programs
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09) (Pasadena, California, USA)
libro: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09) - ()

11573/194280 - 2009 - Solving High-Level Planning Programs (Extended Abstract)
De Giacomo, Giuseppe; Patrizi, Fabio - 04a Atto di comunicazione a congresso
congresso: ICAPS'09 Workshop on Generalized Planning: Macros, Loops, Domain Control (GenPlan'09) (Thessaloniki, Greece)
libro: ICAPS'09 Workshop on Generalized Planning: Macros, Loops, Domain Control (GenPlan'09) - ()

11573/194282 - 2009 - Composition of Services that Share an Infinite-State Blackboard (Extended Abstract)
Patrizi, Fabio; De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
congresso: Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09) (Pasadena, California, USA)
libro: Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09), 2009. - ()

11573/224306 - 2009 - On higher-order description logics
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
rivista: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. - - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-84872947540 (2)
congresso: 22nd International Workshop on Description Logics, DL 2009 (Oxford; United Kingdom)
libro: Proceedings of the 22st International Workshop on Description Logics (DL'09) - ()

11573/224908 - 2009 - Conceptual Modeling for Data Integration
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
libro: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos - LNCS - (9783642024627; 9783642024634)

11573/226938 - 2009 - An automata-theoretic approach to regular XPath
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: 12th International Symposium on Database Programming Languages, DBPL 2009 (Lyon)
libro: Proceedings of the 12th Int. Symposium on Database Programming Languages (DBPL'09) - LNCS - (9783642037924; 9783642037931)

11573/360940 - 2009 - On Instance-level Update and Erasure in Description Logic Ontologies
De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 745-770 - issn: 0955-792X - wos: WOS:000270218800003 (26) - scopus: 2-s2.0-70349478759 (46)

11573/362948 - 2009 - On-line adaptation of sequential mobile processes running concurrently
De Leoni, Massimiliano; De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: 24th Annual ACM Symposium on Applied Computing, SAC 2009 (Honolulu, HI)
libro: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC) - (9781605581668)

11573/400173 - 2009 - Ontologies and databases: The dl-lite approach
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 02a Capitolo o Articolo
congresso: 5th International Summer School on Reasoning Web: Semantic Technologies for Information Systems (Brixen-Bressanone)
libro: Reasoning Web. Semantic Technologies for Information Systems - (9783642037535; 9783642037542)

11573/194044 - 2008 - Realizing Multiple Autonomous Agents through Scheduling of Shared Devices
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 2008 Int. Conference on Automated Planning and Scheduling (Sydney, Australia)
libro: Proceedings of the 2008 Int. Conference on Automated Planning and Scheduling (ICAPS'08) - ()

11573/194260 - 2008 - A Model of Contingent Planning for Agent Programming Languages
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 7th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS'08) (Estoril, Portugal)
libro: Proceedings of the 7th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), 2008. - ()

11573/194262 - 2008 - Towards Higher-Order DL-Lite (Preliminary Report)
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 21st Int. Workshop on Description Logics (DL'08) (Dresden; Germany)
libro: Proceedings of the 21st Int. Workshop on Description Logics (DL'08), 2008. - ()

11573/194264 - 2008 - Behavior Composition in the Presence of Failure
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) (Sydney, Australia)
libro: Proceedings of the 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) - ()

11573/224305 - 2008 - Path-based Identification Constraints in Description Logics
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 11th International Conference on Principles of Knowledge Representation and Reasoning (Sydney, Australia)
libro: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008) - (9781577353843)

11573/225608 - 2008 - Inconsistency tolerance in P2P data integration: An epistemic logic approach
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
rivista: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. 360-384 - issn: 0306-4379 - wos: WOS:000256864900003 (16) - scopus: 2-s2.0-43049138060 (33)
congresso: 10th International Symposium on Database Programming Languages (Trondheim, NORWAY)

11573/226862 - 2008 - Regular XPath: Constraints, Query Containment and View-Based Answering for XML Documents
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
libro: Proceedings of the 2008 Int. Workshop on Logic in Databases (LID'08), 2008. - ()

11573/226913 - 2008 - View-based Query Answering over Description Logic Ontologies
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 (Sydney; Australia)
libro: Proceedings of the 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) - (9781577353843)

11573/229923 - 2008 - Conjunctive query containment and answering under description logic constraints
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 22.1-22.31 - issn: 1529-3785 - wos: WOS:000257429400008 (40) - scopus: 2-s2.0-45749133516 (75)

11573/358119 - 2008 - AUTOMATIC SERVICE COMPOSITION AND SYNTHESIS: THE ROMAN MODEL
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo; Patrizi, Fabio - 01a Articolo in rivista
rivista: IEEE DATA ENGINEERING BULLETIN () pp. 18-22 - issn: - wos: (0) - scopus: (0)

11573/361565 - 2008 - Linking data to ontologies
Poggi, Antonella; Lembo, Domenico; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
rivista: JOURNAL ON DATA SEMANTICS (Heidelberg ; Berlin : Springer) pp. 133-173 - issn: 1861-2032 - wos: (0) - scopus: 2-s2.0-49949109970 (368)
libro: Journal on Data Semantics X - ()

11573/362006 - 2008 - Automatic service composition via simulation
Patrizi, Fabio; De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (Singapore: World Scientific.) pp. 429-451 - issn: 0129-0541 - wos: WOS:000255611400010 (44) - scopus: 2-s2.0-44249113629 (60)
congresso: 4th International Conference on Concept Lattices and Their Applications (Hammamet, TUNISIA)

11573/362824 - 2008 - Data Integration through DL-LiteA Ontologies
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
congresso: 3rd Int. Workshop on Semantics in Data and Knowledge Bases (Nantes, France)
libro: Semantics in Data and Knowledge Bases, Third International Workshop, Revised Selected Papers - (9783540885931)

11573/193743 - 2007 - Automatic synthesis of new behaviors from a library of available ones.
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Inte (Hyderabad, India)
libro: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07) - ()

11573/232441 - 2007 - Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Cadoli, Marco; De Giacomo, Giuseppe; Mancini, Toni - 04b Atto di convegno in volume
libro: 10th Congress of the Italian Association for Artificial Intelligence (AI*IA'07) - (9783540747819)

11573/233544 - 2007 - EQL-Lite: Effective first-order query processing in Description Logics
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 (Hyderabad; India)
libro: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007) - (0127056610)

11573/233904 - 2007 - Actions and programs over description logic ontologies
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 20th International Workshop on Description Logics, DL 2007 (Bressanone, Italy)
libro: Proceedings of the 2007 International Workshop on Description Logics (DL2007) - ()

11573/234548 - 2007 - Can OWL model football leagues?
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
libro: Proc. of the Workshop on OWL: Experiences and Directions (OWLED 2007) - ()

11573/235723 - 2007 - On reconciling data exchange, data integration, and peer data management
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2007 (Beijing)
libro: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2007) - (9781595936851)

11573/239834 - 2007 - Tractable reasoning and efficient query answering in description logics: The DL-Lite family
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
rivista: JOURNAL OF AUTOMATED REASONING (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 385-429 - issn: 0168-7433 - wos: WOS:000249120300006 (596) - scopus: 2-s2.0-34548305118 (1149)

11573/358409 - 2007 - Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors
De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference (Vancouver; Canada)
libro: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI'07) - (1577353234)

11573/358431 - 2007 - Highly dynamic adaptation in process management systems through execution monitoring
De Leoni, Massimiliano; Mecella, Massimo; De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 5th International Conference on Business Process Management (Brisbane, AUSTRALIA)
libro: Business Process Management, 5th International Conference, BPM 2007 - (9783540751823)

11573/358594 - 2007 - Automatic workflows composition of mobile services
De Giacomo, Giuseppe; De Leoni, Massimiliano; Mecella, Massimo; Patrizi, Fabio - 04b Atto di convegno in volume
congresso: IEEE International Conference on Web Services (ICWS 2007) (Salt Lake City, UT)
libro: Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007) - (9780769529240)

11573/358605 - 2007 - MASTRO-I: Efficient integration of relational data through DL ontologies
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 20th Int. Workshop on Description Logics (Bressanone)
libro: Proceedings of the 20th Int. Workshop on Description Logics - ()

11573/359095 - 2007 - Ontology-based database access
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 15th Italian Symposium on Advanced Database Systems, SEBD 2007 (Torre Canne di Fasano, BR)
libro: Proceedings of the fifteenth Italian Symp. on Advanced Database Systems - (9788890298103)

11573/368153 - 2007 - On the approximation of instance level update and erasure in description logics
De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference (Vancouver, BC)
libro: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007) - (9781577353232)

11573/81213 - 2007 - View-based query processing: On the relationship between rewriting, answering and losslessness
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 169-182 - issn: 0304-3975 - wos: WOS:000244907600004 (20) - scopus: 2-s2.0-33846821672 (27)
congresso: 10th International Conference on Database Theory (ICDT 2005) (Edinburgh, SCOTLAND)

11573/193737 - 2006 - On the limits of planning over belief states under strict uncertainty
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006 (Lake District)
libro: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06) - (9781577352716)

11573/193753 - 2006 - Dealing with inconsistencies and incompleteness in database update (position paper)
De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04a Atto di comunicazione a congresso
congresso: IIDB’06 ()
libro: Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB’06) - ()

11573/194006 - 2006 - Automatic web service composition: Service-tailored vs. client-tailored approaches.
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: AISC’06 ()
libro: Proceedings of the 4th International Workshop on AI for Service Composition (AISC’06) - ()

11573/231256 - 2006 - Data management in peer-to-peer data integration systems
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
libro: Global Data Management - (9781586036294)

11573/233445 - 2006 - Composing Web Services with Nondeterministic Behavior
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: 2006 IEEE International Conference on Web Services (ICWS 2006) (Chicago, Illinois, USA)
libro: Proceedings 2006 IEEE International Conference on Web Services (ICWS 2006) - ()

11573/234227 - 2006 - Data complexity of query answering in description logics
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006 (Lake District; United Kingdom)
libro: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006) - (9781577352716)

11573/235616 - 2006 - Epistemic First-Order Queries over Description Logic Knowledge Bases
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
libro: Proc. of the 2006 Description Logic Workshop (DL 2006) - ()

11573/241581 - 2006 - AUTOMATIC WEB SERVICES COMPOSITION IN TRUSTAWARE COMMUNITIES
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: ACM WORKSHOP ON SECURE WEB SERVICES (SWS 2006) (Alexandria, VA, USA)
libro: PROCEEDINGS 3RD ACM WORKSHOP ON SECURE WEB SERVICES (SWS 2006) - ()

11573/367367 - 2006 - Linking Data to Ontologies: The Description Logic DL-LiteA
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: OWL: Experiences and Directions (Athens, Georgia, USA)
libro: Proceedings of the OWL: Experiences and Directions 2006 - ()

11573/368224 - 2006 - On the update of description logic ontologies at the instance level
De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06 (Boston, MA)
libro: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference (AAAI'06) - (9781577352815)

11573/49634 - 2006 - Lezioni di Fondamenti di Informatica (2/ed)
De Giacomo, Giuseppe; Demetrescu, Camil; Iocchi, Luca; Nardi, Daniele - 03c Manuale Didattico
libro: Libro di testo per corsi universitari, Esculapio Editore Bologna - (9788874880379)

11573/950775 - 2006 - Automatic Web Service composition
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: 2006 IEEE International Conference on Services Computing, SCC 2006 (Chicago, IL; USA)
libro: Proceedings - 2006 IEEE International Conference on Services Computing, SCC 2006 - (0769526705; 978-076952670-6)

11573/950776 - 2006 - Automatic Web service composition
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: ICWS 2006: 2006 IEEE International Conference on Web Services (Chicago, IL; USA)
libro: Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services - (0769526691; 978-076952669-0)

11573/193744 - 2005 - QuOnto: Querying Ontologies (demo report).
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: The Twentieth National Conference on Artificial Intelligence (Pittsburgh, Pennsylvania, USA)
libro: Proceedings, The Twentieth National Conference on Artificial Intelligence - AAAI'05 - ()

11573/193760 - 2005 - Modeling Data and Processes for Service Specifications in Colombo
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
congresso: EMOI-INTEROP 2005 (Porto; Portugal)
libro: Proceedings of 2nd INTEROP Workshop on Enterprise Model ling and Ontologies for Interoperability (EMOI-INTEROP 2005) - ()

11573/193761 - 2005 - Towards automatic web service discovery and composition in a context with semantics, messages, and internal process flow (a position paper)
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: SWSF'05 ()
libro: Proceedings of the W3C Workshop on Frameworks for Semantics in Web Services (SWSF 2005) - ()

11573/233444 - 2005 - Data complexity of query answering in description logics
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 2005 International Workshop on Description Logics, DL 2005 (Edinburgh, Scotland)
libro: Proceedings of the 2005 Description Logic Workshop - ()

11573/233795 - 2005 - AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTION
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 333-376 - issn: 0218-8430 - wos: WOS:000231300300002 (85) - scopus: 2-s2.0-22944452100 (155)

11573/234469 - 2005 - QuOnto: Querying ontologies
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
libro: In Proceedings of the Twentieth Conference of the American Association for Artificial Intelligence (AAAI 2005) - (9781577352365)

11573/234542 - 2005 - Tailoring OWL for data intensive ontologies
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
libro: Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions - ()

11573/235421 - 2005 - Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 10th International Symposium on Database Programming Languages (Trondheim, Norvegia)
libro: Database Programming Languages, 10th International Symposium, Revised Selected Papers - (9783540309512)

11573/235886 - 2005 - DL-Lite: Tractable Description Logics for Ontologies
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05 (Pittsburgh; United States)
libro: Proceedings of the Twentieth Conference of the American Association for Artificial Intelligence (AAAI 2005) - (9781577352365)

11573/238573 - 2005 - Composition of Services with Nondeterministic Observable Behavior
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: Third International Conference Third International Conference Service-Oriented Computing - ICSOC 2005 (Amsterdam, The Netherlands)
libro: Proceedings Service-Oriented Computing - ICSOC 2005, Third International Conference - ()

11573/240305 - 2005 - View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: International Conference on Database Theory (Edinburgh, UK)
libro: International Conference on Database Theory - ()

11573/240430 - 2005 - Automatic Composition of Transition-based Semantic Web Services with Messaging
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
libro: Proceedings of the 31st International Conference on Very Large Data Bases (VLDB 2005) - (9781595931542)

11573/42840 - 2005 - Decidable containment of recursive queries
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 33-56 - issn: 0304-3975 - wos: WOS:000229422600003 (17) - scopus: 2-s2.0-18144381089 (24)
congresso: 9th International Conference on Database Theory (ICDT) (SIENA, ITALY)

11573/42843 - 2005 - Reasoning on UML class diagrams
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 70-118 - issn: 0004-3702 - wos: WOS:000232902300003 (265) - scopus: 2-s2.0-25144441754 (393)

11573/42844 - 2005 - Data Integration: a Logic-based Perspective.
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: AI MAGAZINE (La Canada, CA : American Association for Artificial Intelligence, 1980-) pp. 59-70 - issn: 0738-4602 - wos: WOS:000227928500006 (17) - scopus: 2-s2.0-17244382960 (28)

11573/49636 - 2005 - Lezioni di tecniche di programmazione
Calvanese, Diego; De Giacomo, Giuseppe; Demetrescu, Camil; Iocchi, Luca; Nardi, Daniele - 03c Manuale Didattico
libro: Lezioni di tecniche di programmazione - (9788874880829)

11573/910906 - 2005 - Efficiently managing data intensive ontologies
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 2nd Italian Workshop on Semantic Web Applications and Perspectives, SWAP 2005 (Trento, Italia)

11573/950774 - 2005 - Automatic composition of web services in Colombo
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: 13th Italian Symposium on Advanced Database Systems, SEBD 2005 (Bressanone, Bolzano; Italy)
libro: SEBD 2005 - Proceedings of the 13th Italian Symposium on Advanced Database Systems - (8854801224; 978-885480122-6)

11573/167080 - 2004 - Semantic data integration in P2P systems
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
libro: Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers - LNCS - (9783540209683)

11573/193731 - 2004 - Synthesis of Composite E-Services Based on Automated Reasoning (Short Paper)
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (P4WGS’04) (Whistler, British Columbia, Canada)
libro: Proc. of the ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services - ()

11573/193733 - 2004 - On Ability to Automatically Execute Agent Programs with Sensing
De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
congresso: 4th International Cognitive Robotics Workshop (CogRob’04) (Valencia, Spain)
libro: Proceedings of 4th International Cognitive Robotics Workshop (CogRob’04) - ()

11573/193734 - 2004 - Finite Satisfiability of UML class diagrams by Constraint Programming
Cadoli, Marco; De Giacomo, Giuseppe; Mancini, Toni - 04b Atto di convegno in volume
congresso: CP’04 Workshop on CSP Techniques with Immediate Application (Toronto, Canada)
libro: Proceedings of CP’04 Workshop on CSP Techniques with Immediate Application - ()

11573/197327 - 2004 - On Ability to Autonomously Execute Agent Programs with Sensing (Short Paper)
De Giacomo, Giuseppe - 04b Atto di convegno in volume
congresso: 3rd Int. Joint Conf. on Autonomous Agents, and Multi-Agents Systems (AAMAS’04) (New York, NY, USA)
libro: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004) - ()

11573/197633 - 2004 - Hyper: A Framework for Peer-To-Peer Data Integration on Grids
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04a Atto di comunicazione a congresso
congresso: Int. Conf. on Semantics of a Networked World: Semantics for Grid Databases (ICSNW'04) (Paris, France,)
libro: Semantics for Grid Databases, First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers - LNCS - ()

11573/206847 - 2004 - Query Reformulation over Ontology-based Peers
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, SEBD 2004 - ()

11573/232368 - 2004 - What to ask to a peer: Ontology-based query reformulation
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: 9th International Conference on the Principles of Knowledge Representation and Reasoning (Whistler, Canada)
libro: Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004) - (9781577351993)

11573/233440 - 2004 - Logical Foundations of Peer-To-Peer Data Integration
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: the twenty-third ACM SIGMOD-SIGACT-SIGART symposium (Parigi, Francia)
libro: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - (9781581138580)

11573/235890 - 2004 - Tackling inconsistencies in data integration through source preferences
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
congresso: International Workshop on Information Quality in Information Systems, IQIS 2004, Held in Conjunction with the 23rd ACM SIGMOD International Conference on Management of Data (Paris)
libro: Proceedings of the 2004 International Workshop on Information Quality in Information Systems - (9781581139020)

11573/235976 - 2004 - Scaling up reasoning about actions using relational database technology
De Giacomo, Giuseppe; Mancini, Toni - 04b Atto di convegno in volume
congresso: The Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence (San Jose, California, USA)
libro: Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence - (0262511835)

11573/236158 - 2004 - Data integration under integrity constraints
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. 147-163 - issn: 0306-4379 - wos: WOS:000188967600004 (77) - scopus: 2-s2.0-0942266859 (99)
congresso: 14th International Conference on Advanced Information Systems Engineering (CAISE 02) (TORONTO, CANADA)

11573/240273 - 2004 - DL-Lite: Practical Reasoning for Rich DLs
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: Proceedings of the 2004 Description Logics Workshop (DL’04) - ()

11573/240646 - 2004 - Towards Implementing Finite Model Reasoning in Description Logics
Cadoli, Marco; De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
libro: Proceedings of the 2004 Description Logics Workshop (DL’04) - ()

11573/241344 - 2004 - ESC. A Tool for Automatic Composition of Services Based on Logics of Programs
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
libro: Proceedings Technologies for E-Services, 5th International Workshop (TES 2004) - ()

11573/42841 - 2004 - On the Semantics of Deliberation in IndiGolog: From Theory to Implementation
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 256-299 - issn: 1012-2443 - wos: WOS:000221929500005 (39) - scopus: 2-s2.0-4043175527 (57)

11573/58712 - 2004 - A Foundational Vision of e-Services
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
libro: Web Services, E-Business, and the Semantic Web, Second International Workshop (WES 2003) - (9783540223962; 9783540259824)

11573/58719 - 2004 - Synthesis of Underspecified Composite e-Services based on Automated Reasoning
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
congresso: the 2nd international conference (New York City, NY, USA)
libro: Proceedings Service-Oriented Computing - ICSOC 2004, Second International Conference - (9781581138719)

11573/151095 - 2003 - Expressive description logics
De Giacomo, Giuseppe - 02a Capitolo o Articolo
libro: The Description Logic Handbook: Theory, Implementation and Applications - (9780521781763)

11573/193717 - 2003 - Reasoning on UML class diagrams is EXPTIME-hard
De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
congresso: 2003 Description Logic Workshop (DL 2003) (Rome, Italy)
libro: Proc. of the 2003 Description Logic Workshop (DL 2003) - ()

11573/197323 - 2003 - Decidable containment of recursive queries
De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
congresso: 9th Int. Conf. on Database Theory (ICDT 2003) (Siena, Italy)
libro: Database Theory - ICDT 2003, 9th International Conference, Proceedings - LNCS - ()

11573/197325 - 2003 - Reasoning about actions for e-service composition
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
congresso: ICAPS 2003 Workshop on Planning for Web Services (Trento, Italy)
libro: Proc. of the ICAPS 2003 Workshop on Planning for Web Services - ()

11573/197326 - 2003 - Query containment using views
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
congresso: 11th Italian Conf. on Database Systems (SEBD 2003) (Cetraro (CS), Italy)
libro: Proc. of the 11th Italian Conf. on Database Systems (SEBD 2003) - ()

11573/249692 - 2003 - e-Service Composition by Description Logics Based Reasoning
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
libro: Proceedings of the 2003 International Workshop on Description Logics (DL2003) - ()

11573/251168 - 2003 - Automatic Composition of E-services That Export Their Behavior
De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
libro: Proceedings Service-Oriented Computing - ICSOC 2003, First International Conference - ()

11573/251215 - 2003 - IBIS: semantic data integration at work
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Proceedings - ()

11573/251962 - 2003 - View-based Query Containment
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - ()

11573/254301 - 2003 - Reasoning on regular path queries
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: SIGMOD RECORD (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 83-92 - issn: 0163-5808 - wos: WOS:000189005400015 (38) - scopus: 2-s2.0-14344262661 (57)

11573/150114 - 2002 - View-based query answering and query containment over semistructured data
De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo
libro: Revised Papers of the 8th International Workshop on Database Programming Languages (DBPL 2001) - LNCS - (9783540440802)

11573/151093 - 2002 - Description logics for information integration
De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo
libro: Computational Logic: From Logic Programming into the Future (In honour of Bob Kowalski) - LNCS - (9783540439608)

11573/151094 - 2002 - A framework for ontology integration
De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo
libro: The Emerging Semantic Web: Selected Papers from the First Semantic Web Working Symposium - (9781586032555)

11573/152117 - 2002 - Programmazione orientata agli oggetti e Java
Cadoli, Marco; De Giacomo, Giuseppe; Schaerf, Marco - 03a Saggio, Trattato Scientifico

11573/197305 - 2002 - On the expressive power of data integration systems
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
libro: Conceptual Modeling - ER 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings - ()

11573/197318 - 2002 - A formal framework for reasoning on UML class diagrams
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings - ()

11573/197319 - 2002 - On the semantics of deliberation in IndiGolog: from theory to implementation
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 - ()

11573/197320 - 2002 - Reasoning about actions and planning in LTL action theories
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 - ()

11573/252441 - 2002 - Description logics: Foundations for class-based knowledge representation
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: IEEE Symposium on Logic in Computer Science ()
libro: Logics in Computer Science - ()

11573/252669 - 2002 - Lossless Regular Views
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: ACM Principles of Database Systems - ()

11573/252860 - 2002 - Data integration under integrity constraints
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Conference on Advanced Information System Engineering - (9783540437383; 9783540479611)

11573/254104 - 2002 - Rewriting of regular expressions and regular path queries
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 443-465 - issn: 0022-0000 - wos: WOS:000176291700002 (50) - scopus: 2-s2.0-10644261399 (74)
congresso: 18th ACM Symposium on Principles of Database Systems (PHILADELPHIA, PENNSYLVANIA)

11573/80474 - 2002 - On the role of integrity constraints in data integration
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: IEEE DATA ENGINEERING BULLETIN () pp. 39-45 - issn: - wos: (0) - scopus: (0)

11573/137004 - 2001 - Reasoning in expressive description logics
De Giacomo, Giuseppe; Nardi, Daniele; Lenzerini, Maurizio - 02a Capitolo o Articolo
libro: Handbook of Automated Reasoning - (9780444508133)

11573/197321 - 2001 - Accessing data integration systems through conceptual schemas
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
libro: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings - (9783540428664)

11573/251282 - 2001 - Data integration in data warehousing
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 237-271 - issn: 0218-8430 - wos: WOS:000169851800002 (51) - scopus: 2-s2.0-0035588024 (84)

11573/252767 - 2001 - Identification Constraints and Functional Dependencies in Description Logics
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: International Joint Conference on Artificial Intelligence 2001 - (9781558607774)

11573/42324 - 2001 - Incremental Execution of Guarded Theories
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 495-525 - issn: 1529-3785 - wos: (0) - scopus: 2-s2.0-85017332829 (20)

11573/125055 - 2000 - Modellazione e qualità dei dati in sistemi di Data Warehouse
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
rivista: AIIA NOTIZIE (Roma: s. n., 1988-2003) pp. 68-75 - issn: - wos: (0) - scopus: (0)

11573/136048 - 2000 - Reasoning about actions foundations and applications
De Giacomo, Giuseppe; Nardi, Daniele - 02a Capitolo o Articolo
libro: Volume - ()

11573/138004 - 2000 - Reasoning in expressive Description Logics
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele - 02a Capitolo o Articolo
libro: Handbook of Automated Reasoning - ()

11573/150284 - 2000 - Two Approaches to Efficient Open-World Reasoning
De Giacomo, Giuseppe - 02a Capitolo o Articolo
libro: Logic based Artificial Intelligence - ()

11573/197019 - 2000 - Answering queries using views over description logics knowledge bases
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000) (AUSTIN, TX)
libro: AAAI'00 - (9780262511124)

11573/249610 - 2000 - Answering Regular Path Queries Using Views
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: IEEE International Conference on Data Engineering, ICDE-00 - ()

11573/250781 - 2000 - Containment of Conjunctive Regular Path Queries with Inverse
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Principles of Knowledge Representation and Reasoning - ()

11573/251213 - 2000 - View-Based Query Processing and Constraint Satisfaction
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: IEEE Symposium on Logic in Computer Science - ()

11573/252595 - 2000 - Query Processing Using Views for Regular Path Queries with Inverse
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: ACM Principles of Database Systems - ()

11573/42316 - 2000 - ConGolog, a concurrent programming language based on the situation calculus
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 109-169 - issn: 0004-3702 - wos: WOS:000089542800004 (175) - scopus: 2-s2.0-0342520920 (354)

11573/42317 - 2000 - Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 117-137 - issn: 0890-5401 - wos: WOS:000165754400008 (25) - scopus: 2-s2.0-0034634025 (38)

11573/150555 - 1999 - An incremental interpreter for high-level programs with sensing
De Giacomo, Giuseppe - 02a Capitolo o Articolo
libro: Logical foundations of cognitive agents:Contributions in honor of Ray Reiter - ()

11573/197296 - 1999 - Progression using regression and sensors
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. - ()

11573/197298 - 1999 - Automata-Theoretic Approach to Planning for Temporally Extended Goals
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings - ()

11573/242684 - 1999 - Rewriting of Regular Expressions and Regular Path Queries
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: ACM Principles of Database Systems, PODS-99 - ()

11573/243846 - 1999 - Source Integration
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 02a Capitolo o Articolo
libro: Fundamentals of Data Warehouses - ()

11573/244084 - 1999 - Queries and Constraints on Semi-structured Data
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Advanced Information Systems Engineering, 11th International Conference CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings - (9783540661573)

11573/244328 - 1999 - Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: International Joint Conference on Artificial Intelligence, IJCAI-99 - ()

11573/244469 - 1999 - Modeling and Querying Semi-Structured Data
De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo

11573/244592 - 1999 - A theory and implementation of cognitive mobile robots
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 759-785 - issn: 0955-792X - wos: WOS:000084324700007 (7) - scopus: 2-s2.0-0033326149 (19)

11573/245241 - 1999 - Data Integration and Reconciliation in Data Warehousing: Conceptual Modeling and Reasoning Support
De Giacomo, Giuseppe; Rosati, Riccardo - 02a Capitolo o Articolo

11573/245906 - 1999 - Minimal knowledge approach to reasoning about actions and Sensing
De Giacomo, Giuseppe; Rosati, Riccardo - 01a Articolo in rivista
rivista: ELECTRONIC TRANSACTIONS ON ARTIFICIAL INTELLIGENCE (European Coordinating Committee for Artificial Intelligence (ECCAI)) pp. 1-18 - issn: - wos: (0) - scopus: (0)

11573/42322 - 1999 - Reasoning about nondeterministic and concurrent actions: a process algebra approach
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 63-98 - issn: 0004-3702 - wos: WOS:000078846400003 (7) - scopus: 2-s2.0-0032666305 (8)

11573/42834 - 1999 - Representing and Reasoning on XML Documents: a Description Logic Approach
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 295-318 - issn: 0955-792X - wos: WOS:000081607000003 (53) - scopus: 2-s2.0-0032592922 (74)

11573/155598 - 1998 - Cognitive Robotics: Proceedings of the AAAI 1998 Fall Symposium
De Giacomo, Giuseppe - 06a Curatela

11573/155633 - 1998 - Proceedings of the 1998 Description Logic Workshop (DL'98)
De Giacomo, Giuseppe - 06a Curatela

11573/197045 - 1998 - Execution monitoring of high-level robot programs
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: KR'98 - ()

11573/202069 - 1998 - Knowledge Representation approach to information integration
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: AAAI Workshop on AI and Information Integration - ()

11573/202070 - 1998 - Source Integration in data warehousing
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: Workshop on Databases and expret Systems Applications - ()

11573/242341 - 1998 - On the Decidability of Query Containment under Constraints
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
congresso: Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Seattle, USA)
libro: ACM Principles of Database Systems, PODS-98 - ()

11573/242515 - 1998 - Information Integration: Conceptual Modeling and Reasoning Support
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: IEEE conference on cooperative information systems (COOPIS-98) - ()

11573/242733 - 1998 - Description Logic Framework for Information Integration
De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: Sixth International Conference on Principles of Knowledge Representation and Reasoning , KR-98 - ()

11573/197041 - 1997 - Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: IJCAI'97 - ()

11573/197042 - 1997 - Representing and Reasoning on SGML Documents
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings - ()

11573/242826 - 1997 - Planning with Sensing for a Mobile Robot
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04b Atto di convegno in volume
libro: ECP-97 - (9783540639121)

11573/246857 - 1997 - A Uniform Framework for Concept Definitions in Description Logics
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695 -Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 87-110 - issn: 1076-9757 - wos: WOS:A1997WX28300001 (16) - scopus: 2-s2.0-0002400462 (33)

11573/247611 - 1997 - Description Logic-based Framework for Planning with Sensing Actions
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: International Workshop on Description Logics (DL'97) - ()

11573/197027 - 1996 - Conceptual Data Model with Structured Objects for Statistical Databases
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: IEEE Scientific and Statistical Data Bases - (9780818672644)

11573/197028 - 1996 - Reasoning about nondeterministic and concurrent actions: a process algebra approach
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: AAAI'96 - ()

11573/197276 - 1996 - Tableaux and Algorithms for Propositional Dynamic Logic with Converse
De Giacomo, Giuseppe - 04b Atto di convegno in volume
libro: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings - ()

11573/197278 - 1996 - TBox and ABox Reasoning in Expressive Description Logics
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: KR'96 - ()

11573/202055 - 1996 - Classic Planning for Mobile Robots
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: Proceedings of the FAPR-96 Workshop on Planning in Complex Environments - ()

11573/202057 - 1996 - Moving a robot starting from a theory of actions
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: Proceedings of the AAAI-96 Workshop on Theory of Actions, Planning and Control - ()

11573/202058 - 1996 - Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
libro: Atti del Quinto Convegno AIIA - ()

11573/243176 - 1996 - Moving a robot: the KR&R approach at work
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04b Atto di convegno in volume
libro: KR'96 - ()

11573/42318 - 1996 - Intensional query answering by partial evaluation
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS (-Boston : Kluwer Academic Publishers) pp. 205-233 - issn: 0925-9902 - wos: (0) - scopus: 2-s2.0-0030287532 (9)

11573/42319 - 1996 - Eliminating "converse" from converse PDL
De Giacomo, Giuseppe - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 193-208 - issn: 0925-8531 - wos: (0) - scopus: 2-s2.0-0000520202 (15)

11573/197024 - 1995 - What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: IJCAI'95 - ()

11573/197025 - 1995 - PDL-Based Framework for Reasoning about Actions
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: AIIA'95 - ()

11573/197026 - 1995 - Structured Objects: Modeling and Reasoning
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings - ()

11573/197021 - 1994 - Boosting the Correspondence between Description Logics and Propositional Dynamic Logics
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: AAAI'94 - ()

11573/197022 - 1994 - Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
libro: ECAI'94 - ()

11573/197023 - 1994 - Description Logics with Inverse Roles, Functional Restrictions, and n-ary Relations
De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
libro: Logics in Artificial Intelligence, European Workshop, JELIA'94, York, UK, September 5-8, 1994, Proceedings - ()

11573/197303 - 1992 - Intensional Query Answering: an Application of Partial Evaluation
De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
libro: LOPSTR'92 - ()

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma