GIUSEPPE DE GIACOMO

Full professor

email: giuseppe.degiacomo@uniroma1.it
phone:




Research products

11573/1724798 - 2024 - Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments
Aminof, Benjamin; De Giacomo, Giuseppe; Parretti, Gianmarco; 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. 3232-3240 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85204302029 (0)
conference: International Joint Conference on Artificial Intelligence (Jeju; Corea del Sud)

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/1726776 - 2024 - LTLf Goal-oriented Service Composition
De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
conference: 3rd International Workshop on Process Management in the AI Era (Santiago De Compostela; Spain)
book: PMAI 2024. Process Management in the AI Era 2024. Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024) - ()

11573/1727103 - 2024 - Orchestration of Services in Smart Manufacturing through Automated Synthesis
Monti, Flavia; Silo, Luciana; Favorito, Marco; De Giacomo, Giuseppe; Leotta, Francesco; Mecella, Massimo - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SERVICES COMPUTING (Los Alamitos, CA, USA: Computer Society) pp. 1-14 - issn: 1939-1374 - wos: (0) - scopus: (0)

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 (1)

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/1728607 - 2023 - LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
Aminof, B.; De Giacomo, G.; Di Stasio, A.; Francon, H.; Rubin, S.; Zhu, S. - 04b Atto di convegno in volume
conference: European Conference on Multi-Agent Systems (Naples; Italy)
book: Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings - (978-3-031-43263-7; 978-3-031-43264-4)

11573/1728606 - 2023 - Reactive Synthesis of Dominant Strategies
Aminof, B.; De Giacomo, G.; Rubin, S. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (Washington; USA)
book: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 - (978-1-57735-880-0)

11573/1728596 - 2023 - Stochastic Best-Effort Strategies for Borel Goals
Aminof, B.; De Giacomo, G.; Rubin, S.; Zuleger, F. - 04b Atto di convegno in volume
conference: IEEE Symposium on Logic in Computer Science (Boston; USA)
book: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023 - (979-8-3503-3587-3; 979-8-3503-3588-0)

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: International Conference on Automated Planning and Scheduling (Prague; Czech Republic)
book: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling - (978-1-57735-881-7)

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 (Rome; Italy)
book: OVERLAY 2023. Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023. Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 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 (1) - 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 (1)

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: International Conference on Advanced Information Systems Engineering (Zaragoza, Spain)
book: Intelligent Information Systems - (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 (17) - scopus: 2-s2.0-85152136496 (23)

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 (24) - scopus: 2-s2.0-85150297003 (49)

11573/1728602 - 2023 - Automata Cascades: Expressivity and Sample Complexity
Ronca, A.; Knorozova, N. A.; De Giacomo, G. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (Washington; USA)
book: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 - (9781577358800)

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/1728591 - 2022 - Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments
Aminof, B.; De Giacomo, G.; Rubin, S.; Zuleger, 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. 2525-2531 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85137862864 (2)
conference: International Joint Conferences on Artificial Intelligence (Wien; Austria)

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 (14)
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 (6) - scopus: 2-s2.0-85119302058 (11)

11573/1728604 - 2022 - Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
De Giacomo, G.; De Masellis, R.; Maggi, F. M.; Montali, M. - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (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. 1-44 - issn: 1049-331X - wos: WOS:000859387700012 (13) - scopus: 2-s2.0-85132285300 (12)

11573/1728590 - 2022 - LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
De Giacomo, G.; Favorito, M.; Li, J.; Vardi, M. Y.; Xiao, S.; Zhu, S. - 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. 2591-2598 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85137884114 (12)
conference: International Joint Conference on Artificial Intelligence (Wien; Austria)

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 (4) - 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. Proceedings of the Workshop on Process Management in the AI Era 2022 (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 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/1728594 - 2022 - Iterative Depth-First Search for FOND Planning
Pereira, R. F.; Pereira, A. G.; Messa, F.; De Giacomo, G. - 04b Atto di convegno in volume
conference: International Joint Conference on Automated Reasoning (Singapore)
book: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling - (9781577358749)

11573/1670725 - 2022 - Markov abstractions for PAC reinforcement learning in non-Markov decision processes
Ronca, A.; Paludo Licks, G.; De Giacomo, G. - 04b Atto di convegno in volume
conference: 31st International Joint Conference on Artificial Intelligence, IJCAI 2022 (Wien; Austria)
book: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) - (9781956792003)

11573/1728605 - 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: International Joint Conference on Artificial Intelligence (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/1728586 - 2022 - Synthesis of Maximally Permissive Strategies for LTLf Specifications
Zhu, S.; De Giacomo, G. - 04b Atto di convegno in volume
conference: International Joint Conferences on Artificial Intelligence (Wien; Austria)
book: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Main Track - (9781956792003)

11573/1728603 - 2022 - Act for Your Duties but Maintain Your Rights
Zhu, S.; De Giacomo, G. - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Haifa; Israel)
book: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Main Track - (978-1-956792-01-0)

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 (17)
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 (11)
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 (4)

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: WOS:001202335502014 (2) - scopus: 2-s2.0-85125479251 (10)
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 (11)
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 (17) - scopus: 2-s2.0-85097336488 (31)
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 (5) - scopus: 2-s2.0-85074913237 (14)
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 (6) - scopus: 2-s2.0-85074942521 (22)
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 (20) - scopus: 2-s2.0-85029421794 (31)

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 (12) - 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 (4)

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 (32)

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 (37) - 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 (53)

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 (524)
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 (47) - scopus: 2-s2.0-84889776894 (59)

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 (75) - scopus: 2-s2.0-84878317837 (122)

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 (16) - 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 (23) - 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 (24)

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 (394)
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 (636) - scopus: 2-s2.0-34548305118 (1239)

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 (86) - scopus: 2-s2.0-22944452100 (157)

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 (286) - scopus: 2-s2.0-25144441754 (421)

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 (19) - scopus: 2-s2.0-17244382960 (31)

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 (24)
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 (42) - 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 (64)

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 (79)
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 (182) - scopus: 2-s2.0-0342520920 (371)

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 (36)

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