GIUSEPPE DE GIACOMO

Full professor

email: giuseppe.degiacomo@uniroma1.it
phone:




Research products

11573/1708913 - 2024 - Composition of Stochastic Services for LTLf Goal Specifications
De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
conference: 13th International Symposium, FoIKS 2024 (Sheffield, UK)
book: Foundations of Information and Knowledge Systems - (978-3-031-56940-1)

11573/1706711 - 2024 - Temporally extended goal recognition in fully observable non-deterministic domain models
Pereira, Ramon Fraga; Fuggitti, Francesco; Meneguzzi, Felipe; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: APPLIED INTELLIGENCE (-DORDRECHT, NETHERLANDS: SPRINGER -London ; Dordrecht ; Boston : Kluwer Academic Publishers) pp. 470-489 - issn: 0924-669X - wos: WOS:001126206600003 (0) - scopus: 2-s2.0-85179674682 (0)

11573/1707830 - 2024 - Pure-Past Action Masking
Varricchione, Giovanni; Alechina, Natasha; Dastani, Mehdi; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (Vancouver, Canada)
book: National Conference of the American Association for Artificial Intelligence - ()

11573/1672923 - 2023 - Compositional Safety LTL Synthesis
Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang - 04b Atto di convegno in volume
conference: 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 (Trento)
book: Verified Software. Theories, Tools and Experiments - (978-3-031-25802-2; 978-3-031-25803-9)

11573/1685195 - 2023 - Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic
Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico - 04b Atto di convegno in volume
conference: Proceedings of the International Conference on Automated Planning and Scheduling (Prague, Czech Republic)
book: Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling - ()

11573/1691628 - 2023 - FOND Planning for Pure-Past Linear Temporal Logic Goals
Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico - 04d Abstract in atti di convegno
conference: 26th European Conference on Artificial Intelligence (Kraków)
book: 26th European Conference on Artificial Intelligence - (9781643684369; 9781643684376)

11573/1688756 - 2023 - Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; Patrizi, F. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (usa)
book: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 - (978-1-57735-880-0)

11573/1701844 - 2023 - Composition of Nondeterministic Services for LTLf Task Specification
De Giacomo, G.; Favorito, M.; Silo, L. - 04b Atto di convegno in volume
conference: OVERLAY 2023 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 (Roma)
book: Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 - ()

11573/1687383 - 2023 - Mimicking Behaviors in Separated Domains
De Giacomo, G.; Fried, D.; Patrizi, F.; Zhu, S. - 01a Articolo in rivista
paper: 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. 1087-1112 - issn: 1076-9757 - wos: WOS:001039359800001 (0) - scopus: 2-s2.0-85166270248 (0)

11573/1681517 - 2023 - A tool for declarative Trace Alignment via automated planning
De Giacomo, G.; Fuggitti, F.; Maggi, F. M.; Marrella, A.; Patrizi, F. - 01a Articolo in rivista
paper: SOFTWARE IMPACTS (Amsterdam: Elsevier B.V.) pp. - - issn: 2665-9638 - wos: WOS:001006171300001 (0) - scopus: 2-s2.0-85156148757 (0)

11573/1691215 - 2023 - Behavioral QLTL
De Giacomo, G.; Perelli, G. - 04b Atto di convegno in volume
conference: European Conference on Multi-Agent Systems (Napoli)
book: European Conference on Multi-Agent Systems - (978-3-031-43263-7; 978-3-031-43264-4)

11573/1682754 - 2023 - AIDA: A Tool for Resiliency in Smart Manufacturing
De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana - 04b Atto di convegno in volume
conference: 35th International Conference on Advanced Information Systems Engineering, CAiSE'23 (Zaragoza, Spain)
book: Intelligent Information Systems CAiSE 2023 - (978-3-031-34673-6; 978-3-031-34674-3)

11573/1679638 - 2023 - Digital twins composition in smart manufacturing via Markov decision processes
De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 01a Articolo in rivista
paper: COMPUTERS IN INDUSTRY (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. - - issn: 0166-3615 - wos: WOS:000981685900001 (8) - scopus: 2-s2.0-85152136496 (12)

11573/1690354 - 2023 - Symbolic LTLf Best-Effort Synthesis
De Giacomo, Giuseppe; Parretti, Gianmarco; Zhu, Shufang - 04b Atto di convegno in volume
conference: European Conference of Multi-Agents Systems (Napoli)
book: Symbolic LTLf Best-Effort Synthesis - ()

11573/1693772 - 2023 - LTLf Best-Effort Synthesis in Nondeterministic Planning Domains
De Giacomo, Giuseppe; Parretti, Gianmarco; Zhu, Shufang - 04b Atto di convegno in volume
conference: European Conference on Artificial Intelligence (Krakow; Poland)
book: ECAI 2023. 26th European Conference on Artificial Intelligence September 30–October 4, 2023, Kraków, Poland. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings - (978-1-64368-436-9; 978-1-64368-437-6)

11573/1664900 - 2023 - AI-Augmented Business Process Management Systems: A Research Manifesto
Dumas, Marlon; Fournier, Fabiana; Limonad, Lior; Marrella, Andrea; Montali, Marco; Rehse, Jana-Rebecca; Accorsi, Rafael; Calvanese, Diego; De Giacomo, Giuseppe; Fahland, Dirk; Gal, Avigdor; Rosa, Marcello La; Völzer, Hagen; Weber, Ingo - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS (New York, NY : Association for Computing Machinery) pp. - - issn: 2158-656X - wos: WOS:000948713500011 (12) - scopus: 2-s2.0-85150297003 (32)

11573/1688956 - 2023 - Grounding LTLf Specifications in Image Sequences
Umili, Elena; Capobianco, Roberto; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes, Greece)
book: KR '23: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning - (978-1-956792-02-7)

11573/1659633 - 2022 - Automatic synthesis of dynamic norms for multi-agent systems
Alechina, Natasha; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Haifa, Israele)
book: International Conference on the Principles of Knowledge Representation and Reasoning - (978-1-956792-01-0)

11573/1681399 - 2022 - Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces
Calvanese, D.; De Giacomo, G.; Montali, M.; Patrizi, F. - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 2553-2560 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85133201271 (13)
conference: International Joint Conference on Artificial Intelligence (Messe Wien, aut)

11573/1591876 - 2022 - Measuring the interestingness of temporal logic behavioral specifications in process mining
Cecconi, Alessio; De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Mendling, Jan - 01a Articolo in rivista
paper: 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 (5) - scopus: 2-s2.0-85119302058 (8)

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

11573/1681435 - 2022 - Situation calculus for controller synthesis in manufacturing systems with first-order state representation (extended abstract)
De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardiña, S. - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Vienna, Austria)
book: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence - (9781956792003)

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
conference: Wokshop PMAI - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (Wien; Austria)
book: PMAI 2022. Process Management in the AI Era 2022 - ()

11573/1674516 - 2022 - Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2
Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: FUTURE INTERNET (Basel : MDPI) pp. - - issn: 1999-5903 - wos: WOS:000775416100001 (3) - scopus: 2-s2.0-85126658341 (8)

11573/1670725 - 2022 - Markov abstractions for PAC reinforcement learning in non-Markov decision processes
Ronca, A.; Paludo Licks, G.; De Giacomo, G. - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 3408-3415 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85137943705 (6)
conference: 31st International Joint Conference on Artificial Intelligence, IJCAI 2022 (Wien; Austria)

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

11573/1627713 - 2021 - Synthesizing Best-effort Strategies under Multiple Environment Specifications
Aminof, Benjamin; De Giacomo, Giuseppe; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Hanoi Vietnam (online))
book: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning - (978-1-956792-99-7)

11573/1575268 - 2021 - Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up
Aminof, Benjamin; De Giacomo, Giuseppe; Rubin, Sasha - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1766-1772 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85125482303 (14)
conference: Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 (Montreal, Canada)

11573/1572039 - 2021 - Intensional and Extensional Views in DL-Lite Ontologies
Console, Marco; De Giacomo, Giuseppe; Lenzerini, Maurizio; Namici, Manuel - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Montreal, QC; Canada)
book: Thirtieth International Joint Conference on Artificial Intelligence - (978-0-9992411-9-6)

11573/1611250 - 2021 - Digital Twins Composition via Markov Decision Processes
De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Silo, L. - 04b Atto di convegno in volume
conference: 1st Italian Forum on Business Process Management, ITBPM 2021 (Rome; Italy)
book: Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021) - ()

11573/1542484 - 2021 - From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems
De Giacomo, G.; Lenzerini, M.; Leotta, F.; Mecella, M. - 02a Capitolo o Articolo
book: 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/1583243 - 2021 - Synthesis with mandatory stop actions
De Giacomo, Giuseppe; Di Stasio, Antonio; Perelli, Giuseppe; Zhu, Shufang - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
book: International Conference on the Principles of Knowledge Representation and Reasoning - ()

11573/1567441 - 2021 - Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
De Giacomo, Giuseppe; Di Stasio, Antonio; Tabajara, Lucas M.; Vardi, Moshe; Zhu, Shufang - 04c Atto di convegno in rivista
paper: 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 (8)
conference: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (Montreal, QC; Canada)

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

11573/1565616 - 2021 - HyperLDLf: a logic for checking properties of finite traces process logs
De Giacomo, Giuseppe; Felli, Paolo; Montali, Marco; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Montreal)
book: International Joint Conference on Artificial Intelligence - ()

11573/1627709 - 2021 - The Nondeterministic Situation Calculus
De Giacomo, Giuseppe; Lesperance, Yves - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Hanoi Vietnam (online))
book: 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/1583245 - 2021 - Timed trace alignment with metric temporal logic over finite traces
De Giacomo, Giuseppe; Murano, Aniello; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
book: International Conference on the Principles of Knowledge Representation and Reasoning - (9781956792997)

11573/1575262 - 2021 - Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio - 01a Articolo in rivista
paper: 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 (2) - scopus: 2-s2.0-85105017855 (3)

11573/1627717 - 2021 - Embedding reactive behavior into artifact-centric business process models
Oriol, X.; De Giacomo, G.; Estanol, M.; Teniente, E. - 01a Articolo in rivista
paper: 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 (3) - scopus: 2-s2.0-85097162639 (5)

11573/1575264 - 2021 - Efficient PAC Reinforcement Learning in Regular Decision Processes
Ronca, Alessandro; De Giacomo, Giuseppe - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 2026-2032 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85125479251 (9)
conference: 30th International Joint Conference on Artificial Intelligence, IJCAI 2021 (Montreal, Canada)

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
conference: The International Conference on Automated Planning, ICAPS 2021 (Guangzhou, China)
book: Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), workshop at ICAPS 2021 - ()

11573/1506315 - 2020 - Synthesizing strategies under expected and exceptional environment behaviors
Aminof, Benjamin; De Giacomo, Giuseppe; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha - 04c Atto di convegno in rivista
paper: 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 (3) - scopus: 2-s2.0-85097335333 (10)
conference: Twenty-Ninth International Joint Conference on Artificial Intelligence, (IJCAI 2020) (Yokohama, Japan)

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

11573/1506317 - 2020 - High-level programming via generalized planning and LTL synthesis
Bonet, Blai; De Giacomo, Giuseppe; Geffner, Hector; Patrizi, Fabio; Rubin, Sasha - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes, Greece)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) - (978-0-9992411-7-2)

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

11573/1365805 - 2020 - Non-terminating processes in the situation calculus
De Giacomo, G.; Ternovska, E.; Reiter, R. - 01a Articolo in rivista
paper: 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 (3)

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; Catalá, Alejandro; Dilkina, Bistra; Milano, Michela; Barro, Senén; Bugarín, Alberto; Lang, Jérôme - 06a Curatela

11573/1400243 - 2020 - Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
De Giacomo, Giuseppe; Di Stasio, Antonio; Fuggitti, Francesco; Rubin, Sasha - 04c Atto di convegno in rivista
paper: 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 (12) - scopus: 2-s2.0-85097336488 (27)
conference: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20) Survey Track (Yokohama; Japan)

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

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
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes; Greece)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - (978-0-9992411-7-2)

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
conference: International Conference on Automated Planning and Scheduling (Nancy; France)
book: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) - ()

11573/1506300 - 2020 - Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science
De Giacomo, Giuseppe; Lesperance, Yves - 04b Atto di convegno in volume
conference: International Joint Conference on Autonomous Agents and Multiagent Systems (previously the International Conference on Multiagent Systems, ICMAS, changed in 2000) (Auckland, New Zealand)
book: AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems - ()

11573/1506138 - 2020 - ElGolog: A High-Level Programming Language with Memory of the Execution History
De Giacomo, Giuseppe; Lespérance, Yves; Ternovska, Eugenia - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (New York, NY, USA)
book: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence - ()

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

11573/1435479 - 2020 - Restraining bolts for reinforcement learning agents
Giacomo, De; Favorito, Marco; Iocchi, Luca; Patrizi, Fabio - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (New York, NY, USA)
book: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence - (978-1-57735-835-0)

11573/1470121 - 2020 - Extending DL-LiteR TBoxes with view definitions
Namici, M.; De Giacomo, G.; Lenzerini, M. - 04b Atto di convegno in volume
conference: 33rd International Workshop on Description Logics, DL 2020 (Virtual, Online)
book: DL 2020 Description Logics 2020 - ()

11573/1506232 - 2020 - LTLf Synthesis with Fairness and Stability Assumptions
Zhu, Shufang; De Giacomo, Giuseppe; Pu, Geguang; Vardi, Moshe Y. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (New York, NY, USA)
book: The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) - ()

11573/1402389 - 2019 - Unbounded Orchestrations of Transducers for Manufacturing
Alechina, N; Brazdil, T; De Giacomo, G; Felli, P; Logan, B; Vardi, My - 04b Atto di convegno in volume
conference: 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)
book: The Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI 2019) - ()

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

11573/1382479 - 2019 - Hybrid Temporal Situation Calculus
Batusov, V.; De Giacomo, G.; Soutchanski, M. - 04b Atto di convegno in volume
conference: 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019 (Kingston; Canada)
book: Advances in Artificial Intelligence - (978-3-030-18304-2; 978-3-030-18305-9)

11573/1383656 - 2019 - Hybrid temporal situation calculus
Batusov, V.; De Giacomo, G.; Soutchanski, M. - 04b Atto di convegno in volume
conference: 34th Annual ACM Symposium on Applied Computing, SAC 2019 (Limassol; Cyprus)
book: 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, R. I.; De Giacomo, G. - 04c Atto di convegno in rivista
paper: 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: WOS:000761735105092 (2) - scopus: 2-s2.0-85074913237 (12)
conference: 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, R. I.; De Giacomo, G. - 04c Atto di convegno in rivista
paper: 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: WOS:000761735101101 (5) - scopus: 2-s2.0-85074942521 (21)
conference: 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, R. I.; De Giacomo, G. - 04b Atto di convegno in volume
conference: 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 (Montreal; Canada)
book: AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems - ()

11573/1367948 - 2019 - The What-To-Ask Problem for Ontology-Based Peers
Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Rosati, R. - 02a Capitolo o Articolo
book: Description Logic, Theory Combination, and All That - (978-3-030-22101-0; 978-3-030-22102-7)

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
conference: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (Berkeley, CA, USA)
book: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling - ()

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
paper: FUTURE INTERNET (Basel : MDPI) pp. - - issn: 1999-5903 - wos: WOS:000505727300001 (3) - scopus: 2-s2.0-85079695361 (3)

11573/1382610 - 2019 - Automatic Business Process Model Extension to Repair Constraint Violations
Oriol, X.; De Giacomo, G.; Estanol, M.; Teniente, E. - 04b Atto di convegno in volume
conference: 17th International Conference on Service-Oriented Computing, ICSOC 2019 (Toulouse; France)
book: Service-Oriented Computing - (978-3-030-33701-8; 978-3-030-33702-5)

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

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

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

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
book: 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
paper: 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 (19) - scopus: 2-s2.0-85029421794 (28)

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

11573/978649 - 2018 - Using Ontologies for Semantic Data Integration
De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 02a Capitolo o Articolo
book: A Comprehensive GuideThrough the Italian DatabaseResearch Over the Last25 Years - (978-3-319-61892-0; 978-3-319-61893-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
conference: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 (Stockholm; Sweden)
book: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018 - (978-0-9992411-2-7)

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

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

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

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

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

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
conference: 7th International Conference on Web Intelligence, Mining and Semantics (Amantea; Italy)
book: 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
conference: 25th Italian Symposium on Advanced Database Systems (Squillace Lido; Italy)
book: Proceedings of the 25th Italian Symposium on Advanced Database Systems - ()

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

11573/965532 - 2017 - On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment
De Giacomo, Giuseppe; Maggi, Fabrizio M.; Marrella, Andrea; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 31st AAAI Conference on Artificial Intelligence (AAAI-17) (San Francisco, California, USA)
book: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017 [GGS A++/CORE A*] - (978-1-57735-784-1)

11573/1073190 - 2017 - Linking data and BPMN processes to achieve executable models
De Giacomo, Giuseppe; Oriol, Xavier; Estañol, Montserrat; Teniente, Ernest - 04b Atto di convegno in volume
conference: 29th International Conference on Advanced Information Systems Engineering, CAiSE-Forum-DC 2017 (Essen; Germany)
book: Advanced Information Systems Engineering - (9783319595351)

11573/950783 - 2016 - Online agent supervision in the situation calculus
Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves - 04b Atto di convegno in volume
conference: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York; United States)
book: 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
Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves - 04b Atto di convegno in volume
conference: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africa)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 - ()

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

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

11573/1337309 - 2016 - Situation calculus game structures and GDL
De Giacomo, G.; Lesperance, Y.; Pearce, A. R. - 04b Atto di convegno in volume
conference: 22nd European Conference on Artificial Intelligence, ECAI 2016 (The Hague; Netherlands)
book: ECAI 2016 - ()

11573/950788 - 2016 - Verification of data-aware processes
De Giacomo, Giuseppe - 04d Abstract in atti di convegno
conference: 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)
book: Web Services, Formal Methods, and Behavioral Types - (9783319336114)

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

11573/839707 - 2016 - Progression and Verification of Situation Calculus Agents with Bounded Beliefs
De Giacomo, Giuseppe; Lesperance, Y.; Patrizi, Fabio; Vassos, Stavros - 01a Articolo in rivista
paper: 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; Lespérance, Yves; Patrizi, Fabio - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 172-203 - issn: 0004-3702 - wos: WOS:000377828500008 (17) - scopus: 2-s2.0-84966349606 (30)

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

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

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

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

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

11573/828232 - 2015 - Data Complexity of Query Answering in Description Logics
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: 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
Calvanese, Diego; De Giacomo, Giuseppe; Soutchanski, Mikhail - 04b Atto di convegno in volume
conference: Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)

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

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

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

11573/839706 - 2015 - Declarative process modeling in BPMN
De Giacomo, Giuseppe; Dumas, M.; Maggi, F. M.; Montali, M. - 04b Atto di convegno in volume
conference: 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015 (Stockholm; Sweden)
book: 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; Lespérance, Y.; Pearce, A. R. - 04b Atto di convegno in volume
conference: 14th International conference on autonomous agents and multiagent systems, AAMAS 2015 (Istanbul; Turkey)
book: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - (9781450337717; 978-1-4503-3413-6)

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

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
conference: 8th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015 (Rome; Italy)
book: 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) - (9781467394697)

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

11573/950789 - 2014 - Verification of human driven data-centric dynamic systems
Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; De Giacomo, Giuseppe; Deutsch, Alin - 04b Atto di convegno in volume
conference: 2014 AAAI Spring Symposium (Palo Alto, CA; USA)
book: AAAI Spring Symposium - Technical Report - (9781577356554)

11573/650795 - 2014 - Automated Service Composition Based on Behaviors: The Roman Model
De Giacomo, Giuseppe; Mecella, Massimo; Patrizi, Fabio - 02a Capitolo o Articolo
book: 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
conference: Workshop on AI Problems and Approaches for Intelligent Environments (Praga Repubblica Ceca)
book: Proceedings of the 2014 Workshop on AI Problems and Approaches for Intelligent Environments - ()

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

11573/778321 - 2014 - Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces
De Giacomo, Giuseppe; Riccardo De, Masellis; Marco, Grasso; Fabrizio Maria, Maggi; Marco, Montali - 04b Atto di convegno in volume
conference: 12th International Conference on Business Process Management, BPM 2014 ()
book: Business Process Management - 12th International Conference, BPM 2014 - (978-3-319-10171-2)

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

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

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

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

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

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

11573/516158 - 2013 - Verification of relational data-centric dynamic systems with external services
Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; De Giacomo, Giuseppe; Alin, Deutsch - 04b Atto di convegno in volume
conference: 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013 (New York, NY)
book: PODS 2013 - (9781450320665)

11573/516114 - 2013 - Description Logic Knowledge and Action Bases
Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo - 01a Articolo in rivista
paper: 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 (36) - scopus: 2-s2.0-84878287886 (60)

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

11573/950787 - 2013 - Verification and synthesis in description logic based dynamic systems (abridged version)
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 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)
book: CEUR Workshop Proceedings - ()

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
paper: 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 (51)

11573/516163 - 2013 - Linear temporal logic and Linear Dynamic Logic on finite traces
De Giacomo, Giuseppe; Moshe Y., Vardi - 04c Atto di convegno in rivista
paper: 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 (476)
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
book: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013). - (9781577356332)

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

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

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

11573/516148 - 2013 - On simplification of schema mappings
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: 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/531063 - 2013 - Dynamic Systems based on Description Logics: Formalization, verification, and synthesis
Diego, Calvanese; De Giacomo, Giuseppe; M., Montali; Patrizi, Fabio - 04c Atto di convegno in rivista
paper: 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)
conference: 26th International Workshop on Description Logics, DL 2013 (Ulm)
book: Proceedings of the 26th International Workshop on Description Logics - ()

11573/531055 - 2013 - Verification and synthesis in description logic based dynamic systems
Diego, Calvanese; De Giacomo, Giuseppe; Marco, Montali; Patrizi, Fabio - 04c Atto di convegno in rivista
paper: 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: WOS:000442637804053 (6) - scopus: 2-s2.0-84881145218 (17)
conference: 7th International Conference on Web Reasoning and Rule Systems, RR 2013 (Mannheim)
book: Proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013 - (9783642396656; 9783642396663)

11573/516160 - 2013 - Foundations of data-aware process analysis: A database theory perspective
Diego, Calvanese; Marco, Montali; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013 (New York, New York, USA)
book: 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
Nitin, Yadav; Felli, Paolo; De Giacomo, Giuseppe; S., Sardina - 04b Atto di convegno in volume
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
book: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013) - (9781577356332)

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

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

11573/484867 - 2012 - Verification of conjunctive artifact-centric services
De Giacomo, Giuseppe; De Masellis, Riccardo; Rosati, Riccardo - 01a Articolo in rivista
paper: 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 (21)

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

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
conference: 1st International Workshop on OWL Reasoner Evaluation 2012, ORE 2012 - In Conjunction with the 6th International Joint Conference on Automated Reasoning, IJCAR 2012 (Manchester)
book: 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
conference: 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)
book: Proc. of 11th Int. Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE'12) - (9783642336171; 9783642336188)

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

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

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

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
conference: 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12 (Toronto, ON)
book: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada - (9781577355687)

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

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

11573/42113 - 2012 - View-based query answering in Description Logics: Semantics and complexity
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: 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 (35)

11573/516153 - 2012 - Query processing under GLAV mappings for relational and graph databases
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: 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 (23)

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

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

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

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

11573/950778 - 2011 - Efficient reasoning in proper knowledge bases with unknown individuals
De Giacomo, Giuseppe; Lespérance, Yves; Levesque, Hector J. - 04b Atto di convegno in volume
conference: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Barcelona; Spain)
book: IJCAI International Joint Conference on Artificial Intelligence - (9781577355120)

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

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
conference: 24th International Workshop on Description Logics, DL 2011 (Barcelona)
book: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 - ()

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
conference: 19th International Conference on Automated Planning and Scheduling, ICAPS 2009 (Thessaloniki)
book: Procedings the 19th Int. Conference on Automated Planning and Scheduling (ICAPS'09) - (9781577354062)

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
paper: 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 (27) - scopus: 2-s2.0-70349478759 (49)

11573/224306 - 2009 - On higher-order description logics
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
paper: 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)
conference: 22nd International Workshop on Description Logics, DL 2009 (Oxford; United Kingdom)
book: Proceedings of the 22st International Workshop on Description Logics (DL'09) - ()

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

11573/170407 - 2009 - IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents
De Giacomo, Giuseppe; Yves, Lesperance; Hector J., Levesque; Sardina, Sebastian - 02a Capitolo o Articolo
book: Multi-Agent Programming: Languages, Tools and Applications - (9780387892986; 9780387892993)

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

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

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

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

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

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
conference: Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09) (Pasadena, California, USA)
book: Proceedings of IJCAI 2009 Workshop on Information Integration on the Web (IIWEB'09), 2009. - ()

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

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

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

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

11573/362006 - 2008 - Automatic service composition via simulation
Daniela, Berardi; Patrizi, Fabio; Fahima, Cheikh; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: 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)
conference: 4th International Conference on Concept Lattices and Their Applications (Hammamet, TUNISIA)

11573/194262 - 2008 - Towards Higher-Order DL-Lite (Preliminary Report)
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 21st Int. Workshop on Description Logics (DL'08) (Dresden; Germany)
book: 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; Sebastian, Sardina - 04b Atto di convegno in volume
conference: 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) (Sydney, Australia)
book: Proceedings of the 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) - ()

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

11573/225608 - 2008 - Inconsistency tolerance in P2P data integration: An epistemic logic approach
Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: 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 (34)
conference: 10th International Symposium on Database Programming Languages (Trondheim, NORWAY)

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

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

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

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

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

11573/232441 - 2007 - Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Cadoli, Marco; Diego, Calvanese; De Giacomo, Giuseppe; Mancini, Toni - 04b Atto di convegno in volume
book: 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
Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 (Hyderabad; India)
book: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007) - (0127056610)

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

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

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

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
conference: IEEE International Conference on Web Services (ICWS 2007) (Salt Lake City, UT)
book: Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007) - (9780769529240)

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
conference: 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2007 (Beijing)
book: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2007) - (9781595936851)

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
conference: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference (Vancouver, BC)
book: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007) - (9781577353232)

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

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

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
conference: 5th International Conference on Business Process Management (Brisbane, AUSTRALIA)
book: Business Process Management, 5th International Conference, BPM 2007 - (9783540751823)

11573/239834 - 2007 - Tractable reasoning and efficient query answering in description logics: The DL-Lite family
Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: 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 (630) - scopus: 2-s2.0-34548305118 (1224)

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

11573/81213 - 2007 - View-based query processing: On the relationship between rewriting, answering and losslessness
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: 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 (24) - scopus: 2-s2.0-33846821672 (30)
conference: 10th International Conference on Database Theory (ICDT 2005) (Edinburgh, SCOTLAND)

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

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

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

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

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

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

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

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
conference: IIDB’06 ()
book: Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB’06) - ()

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
conference: 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06 (Boston, MA)
book: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference (AAAI'06) - (9781577352815)

11573/950775 - 2006 - Automatic Web Service composition
De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
conference: 2006 IEEE International Conference on Services Computing, SCC 2006 (Chicago, IL; USA)
book: 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
conference: ICWS 2006: 2006 IEEE International Conference on Web Services (Chicago, IL; USA)
book: Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services - (0769526691; 978-076952669-0)

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

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

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

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

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

11573/233795 - 2005 - AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTION
Berardi, D; Calvanese, D; De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 01a Articolo in rivista
paper: 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 (156)

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

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

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

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

11573/49636 - 2005 - Lezioni di tecniche di programmazione
Calvanese, Diego; De Giacomo, Giuseppe; Demetrescu, Camil; Iocchi, Luca; Nardi, Daniele - 03c Manuale Didattico
book: 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
conference: 2nd Italian Workshop on Semantic Web Applications and Perspectives, SWAP 2005 (Trento, Italia)

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

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

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

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

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

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

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

11573/42840 - 2005 - Decidable containment of recursive queries
Diego, Calvanese; De Giacomo, Giuseppe; Y., Vardi Moshe - 01a Articolo in rivista
paper: 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 (18) - scopus: 2-s2.0-18144381089 (25)
conference: 9th International Conference on Database Theory (ICDT) (SIENA, ITALY)

11573/236158 - 2004 - Data integration under integrity constraints
Andrea, Cali; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
paper: 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 (79) - scopus: 2-s2.0-0942266859 (102)
conference: 14th International Conference on Advanced Information Systems Engineering (CAISE 02) (TORONTO, CANADA)

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

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

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

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

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

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

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

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

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

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
conference: 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)
book: 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
conference: The Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence (San Jose, California, USA)
book: Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence - (0262511835)

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

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

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

11573/197633 - 2004 - Hyper: A Framework for Peer-To-Peer Data Integration on Grids
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo; Guido, Vetere - 04a Atto di comunicazione a congresso
conference: Int. Conf. on Semantics of a Networked World: Semantics for Grid Databases (ICSNW'04) (Paris, France,)
book: 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/167080 - 2004 - Semantic data integration in P2P systems
Diego, Calvanese; Elio, Damaggio; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers - LNCS - (9783540209683)

11573/193733 - 2004 - On Ability to Automatically Execute Agent Programs with Sensing
Sebastian, Sardina; De Giacomo, Giuseppe; Yves, Lesperance; Hector, Levesque - 04a Atto di comunicazione a congresso
conference: 4th International Cognitive Robotics Workshop (CogRob’04) (Valencia, Spain)
book: Proceedings of 4th International Cognitive Robotics Workshop (CogRob’04) - ()

11573/251215 - 2003 - IBIS: semantic data integration at work
Andrea, Calì; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Paolo, Naggar; Fabio, Vernacotola - 04b Atto di convegno in volume
book: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Proceedings - ()

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

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

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

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

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

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

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

11573/254301 - 2003 - Reasoning on regular path queries
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 01a Articolo in rivista
paper: 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 (43) - scopus: 2-s2.0-14344262661 (63)

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

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

11573/197305 - 2002 - On the expressive power of data integration systems
Andrea, Calì; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
book: 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
Andrea, Calì; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings - ()

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

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

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

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

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

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

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

11573/252669 - 2002 - Lossless Regular Views
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 04b Atto di convegno in volume
book: ACM Principles of Database Systems - ()

11573/254104 - 2002 - Rewriting of regular expressions and regular path queries
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: 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 (53) - scopus: 2-s2.0-10644261399 (78)
conference: 18th ACM Symposium on Principles of Database Systems (PHILADELPHIA, PENNSYLVANIA)

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

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

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

11573/42324 - 2001 - Incremental Execution of Guarded Theories
De Giacomo, Giuseppe; Hector J., Levesque; Sardina, Sebastian - 01a Articolo in rivista
paper: 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 (22)

11573/251282 - 2001 - Data integration in data warehousing
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: 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 (87)

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

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

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

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

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

11573/42317 - 2000 - Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL
De Giacomo, Giuseppe; Fabio, Massacci - 01a Articolo in rivista
paper: 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 (26) - scopus: 2-s2.0-0034634025 (40)

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

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

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

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

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

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

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

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

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

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

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

11573/244592 - 1999 - A theory and implementation of cognitive mobile robots
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: 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/197298 - 1999 - Automata-Theoretic Approach to Planning for Temporally Extended Goals
De Giacomo, Giuseppe; Moshe Y., Vardi - 04b Atto di convegno in volume
book: Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings - ()

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

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

11573/42834 - 1999 - Representing and Reasoning on XML Documents: a Description Logic Approach
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
paper: 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 (54) - scopus: 2-s2.0-0032592922 (76)

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

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

11573/42322 - 1999 - Reasoning about nondeterministic and concurrent actions: a process algebra approach
Xiao Jun, Chen; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: 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/242341 - 1998 - On the Decidability of Query Containment under Constraints
Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
conference: Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Seattle, USA)
book: ACM Principles of Database Systems, PODS-98 - ()

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

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

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

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

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; Enrico, Franconi; Robert M., Macgregor; Werner, Nutt; Christopher A., Welty - 06a Curatela

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

11573/197041 - 1997 - Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
De Giacomo, Giuseppe; Hector J., Levesque; Yves, Lesperance - 04b Atto di convegno in volume
book: IJCAI'97 - ()

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
book: ECP-97 - (9783540639121)

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
book: International Workshop on Description Logics (DL'97) - ()

11573/246857 - 1997 - A Uniform Framework for Concept Definitions in Description Logics
De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
paper: 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 (18) - scopus: 2-s2.0-0002400462 (35)

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

11573/42318 - 1996 - Intensional query answering by partial evaluation
De Giacomo, Giuseppe - 01a Articolo in rivista
paper: 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
paper: 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/197276 - 1996 - Tableaux and Algorithms for Propositional Dynamic Logic with Converse
De Giacomo, Giuseppe; Fabio, Massacci - 04b Atto di convegno in volume
book: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings - ()

11573/202055 - 1996 - Classic Planning for Mobile Robots
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: 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
book: 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
book: 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
book: KR'96 - ()

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

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

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

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
book: IJCAI'95 - ()

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

11573/197026 - 1995 - Structured Objects: Modeling and Reasoning
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: 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
book: 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
book: 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
book: 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
book: LOPSTR'92 - ()

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