11573/1708913 - 2024 -
Composition of Stochastic Services for LTLf Goal Specifications De Giacomo, Giuseppe; Favorito, Marco; Silo, Luciana - 04b Atto di convegno in volume
conference: 13th International Symposium, FoIKS 2024 (Sheffield, UK)
book: Foundations of Information and Knowledge Systems - (978-3-031-56940-1)
11573/1706711 - 2024 -
Temporally extended goal recognition in fully observable non-deterministic domain models Pereira, Ramon Fraga; Fuggitti, Francesco; Meneguzzi, Felipe; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: APPLIED INTELLIGENCE (-DORDRECHT, NETHERLANDS: SPRINGER
-London ; Dordrecht ; Boston : Kluwer Academic Publishers) pp. 470-489 - issn: 0924-669X - wos: WOS:001126206600003 (0) - scopus: 2-s2.0-85179674682 (0)
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 - ()
Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang - 04b Atto di convegno in volume
conference: 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 (Trento)
book: Verified Software. Theories, Tools and Experiments - (978-3-031-25802-2; 978-3-031-25803-9)
11573/1685195 - 2023 -
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico - 04b Atto di convegno in volume
conference: Proceedings of the International Conference on Automated Planning and Scheduling (Prague, Czech Republic)
book: Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling - ()
11573/1691628 - 2023 -
FOND Planning for Pure-Past Linear Temporal Logic Goals Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico - 04d Abstract in atti di convegno
conference: 26th European Conference on Artificial Intelligence (Kraków)
book: 26th European Conference on Artificial Intelligence - (9781643684369; 9781643684376)
11573/1688756 - 2023 -
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; Patrizi, F. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (usa)
book: Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 - (978-1-57735-880-0)
11573/1701844 - 2023 -
Composition of Nondeterministic Services for LTLf Task Specification De Giacomo, G.; Favorito, M.; Silo, L. - 04b Atto di convegno in volume
conference: OVERLAY 2023 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 (Roma)
book: Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2023 - ()
De Giacomo, G.; Fried, D.; Patrizi, F.; Zhu, S. - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 1087-1112 - issn: 1076-9757 - wos: WOS:001039359800001 (0) - scopus: 2-s2.0-85166270248 (0)
11573/1681517 - 2023 -
A tool for declarative Trace Alignment via automated planning De Giacomo, G.; Fuggitti, F.; Maggi, F. M.; Marrella, A.; Patrizi, F. - 01a Articolo in rivista
paper: SOFTWARE IMPACTS (Amsterdam: Elsevier B.V.) pp. - - issn: 2665-9638 - wos: WOS:001006171300001 (0) - scopus: 2-s2.0-85156148757 (0)
De Giacomo, G.; Perelli, G. - 04b Atto di convegno in volume
conference: European Conference on Multi-Agent Systems (Napoli)
book: European Conference on Multi-Agent Systems - (978-3-031-43263-7; 978-3-031-43264-4)
11573/1682754 - 2023 -
AIDA: A Tool for Resiliency in Smart Manufacturing De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana - 04b Atto di convegno in volume
conference: 35th International Conference on Advanced Information Systems Engineering, CAiSE'23 (Zaragoza, Spain)
book: Intelligent Information Systems CAiSE 2023 - (978-3-031-34673-6; 978-3-031-34674-3)
11573/1679638 - 2023 -
Digital twins composition in smart manufacturing via Markov decision processes De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 01a Articolo in rivista
paper: COMPUTERS IN INDUSTRY (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. - - issn: 0166-3615 - wos: WOS:000981685900001 (8) - scopus: 2-s2.0-85152136496 (12)
De Giacomo, Giuseppe; Parretti, Gianmarco; Zhu, Shufang - 04b Atto di convegno in volume
conference: European Conference of Multi-Agents Systems (Napoli)
book: Symbolic LTLf Best-Effort Synthesis - ()
11573/1693772 - 2023 -
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains De Giacomo, Giuseppe; Parretti, Gianmarco; Zhu, Shufang - 04b Atto di convegno in volume
conference: European Conference on Artificial Intelligence (Krakow; Poland)
book: ECAI 2023. 26th European Conference on Artificial Intelligence September 30–October 4, 2023, Kraków, Poland. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings - (978-1-64368-436-9; 978-1-64368-437-6)
11573/1664900 - 2023 -
AI-Augmented Business Process Management Systems: A Research Manifesto Dumas, Marlon; Fournier, Fabiana; Limonad, Lior; Marrella, Andrea; Montali, Marco; Rehse, Jana-Rebecca; Accorsi, Rafael; Calvanese, Diego; De Giacomo, Giuseppe; Fahland, Dirk; Gal, Avigdor; Rosa, Marcello La; Völzer, Hagen; Weber, Ingo - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS (New York, NY : Association for Computing Machinery) pp. - - issn: 2158-656X - wos: WOS:000948713500011 (12) - scopus: 2-s2.0-85150297003 (32)
11573/1688956 - 2023 -
Grounding LTLf Specifications in Image Sequences Umili, Elena; Capobianco, Roberto; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes, Greece)
book: KR '23: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning - (978-1-956792-02-7)
11573/1659633 - 2022 -
Automatic synthesis of dynamic norms for multi-agent systems Alechina, Natasha; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Haifa, Israele)
book: International Conference on the Principles of Knowledge Representation and Reasoning - (978-1-956792-01-0)
11573/1681399 - 2022 -
Verification and monitoring for first-order LTL with persistence-preserving quantification over finite and infinite traces Calvanese, D.; De Giacomo, G.; Montali, M.; Patrizi, F. - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 2553-2560 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85133201271 (13)
conference: International Joint Conference on Artificial Intelligence (Messe Wien, aut)
11573/1591876 - 2022 -
Measuring the interestingness of temporal logic behavioral specifications in process mining Cecconi, Alessio; De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Mendling, Jan - 01a Articolo in rivista
paper: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. - - issn: 0306-4379 - wos: WOS:000804767700001 (5) - scopus: 2-s2.0-85119302058 (8)
11573/1626616 - 2022 -
Situation calculus for controller synthesis in manufacturing systems with first-order state representation De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardina, S. - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. - - issn: 0004-3702 - wos: WOS:000707426600001 (1) - scopus: 2-s2.0-85116414608 (5)
11573/1681435 - 2022 -
Situation calculus for controller synthesis in manufacturing systems with first-order state representation (extended abstract) De Giacomo, G.; Felli, P.; Logan, B.; Patrizi, F.; Sardiña, S. - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Vienna, Austria)
book: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence - (9781956792003)
11573/1663267 - 2022 -
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes De Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana - 04b Atto di convegno in volume
conference: Wokshop PMAI - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (Wien; Austria)
book: PMAI 2022. Process Management in the AI Era 2022 - ()
11573/1674516 - 2022 -
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2 Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: FUTURE INTERNET (Basel : MDPI) pp. - - issn: 1999-5903 - wos: WOS:000775416100001 (3) - scopus: 2-s2.0-85126658341 (8)
11573/1670725 - 2022 -
Markov abstractions for PAC reinforcement learning in non-Markov decision processes Ronca, A.; Paludo Licks, G.; De Giacomo, G. - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 3408-3415 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85137943705 (6)
conference: 31st International Joint Conference on Artificial Intelligence, IJCAI 2022 (Wien; Austria)
Umili, Elena; Capobianco, Roberto; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 16th International Workshop on Neural-Symbolic Learning and Reasoning (Cumberland Lodge, Windsor Great Park, United Kingdom)
book: Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning - ()
11573/1627713 - 2021 -
Synthesizing Best-effort Strategies under Multiple Environment Specifications Aminof, Benjamin; De Giacomo, Giuseppe; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Hanoi Vietnam (online))
book: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning - (978-1-956792-99-7)
11573/1575268 - 2021 -
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up Aminof, Benjamin; De Giacomo, Giuseppe; Rubin, Sasha - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1766-1772 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85125482303 (14)
conference: Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 (Montreal, Canada)
11573/1572039 - 2021 -
Intensional and Extensional Views in DL-Lite Ontologies Console, Marco; De Giacomo, Giuseppe; Lenzerini, Maurizio; Namici, Manuel - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Montreal, QC; Canada)
book: Thirtieth International Joint Conference on Artificial Intelligence - (978-0-9992411-9-6)
11573/1611250 - 2021 -
Digital Twins Composition via Markov Decision Processes De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Silo, L. - 04b Atto di convegno in volume
conference: 1st Italian Forum on Business Process Management, ITBPM 2021 (Rome; Italy)
book: Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021) - ()
11573/1542484 - 2021 -
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems De Giacomo, G.; Lenzerini, M.; Leotta, F.; Mecella, M. - 02a Capitolo o Articolo
book: Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - (978-3-030-73202-8; 978-3-030-73203-5)
De Giacomo, Giuseppe; Di Stasio, Antonio; Perelli, Giuseppe; Zhu, Shufang - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
book: International Conference on the Principles of Knowledge Representation and Reasoning - ()
11573/1567441 - 2021 -
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis De Giacomo, Giuseppe; Di Stasio, Antonio; Tabajara, Lucas M.; Vardi, Moshe; Zhu, Shufang - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1852-1858 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85124789271 (8)
conference: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (Montreal, QC; Canada)
11573/1575288 - 2021 -
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata De Giacomo, Giuseppe; Favorito, Marco - 04b Atto di convegno in volume
conference: 31st International Conference on Automated Planning and Scheduling, ICAPS 2021 (Guangzhou, China)
book: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling - (978-1-57735-867-1)
11573/1565616 - 2021 -
HyperLDLf: a logic for checking properties of finite traces process logs De Giacomo, Giuseppe; Felli, Paolo; Montali, Marco; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Montreal)
book: International Joint Conference on Artificial Intelligence - ()
De Giacomo, Giuseppe; Lesperance, Yves - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Hanoi Vietnam (online))
book: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 - (978-1-956792-99-7)
11573/1583245 - 2021 -
Timed trace alignment with metric temporal logic over finite traces De Giacomo, Giuseppe; Murano, Aniello; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
book: International Conference on the Principles of Knowledge Representation and Reasoning - (9781956792997)
11573/1575262 - 2021 -
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 1335-1371 - issn: 1076-9757 - wos: WOS:000743970700010 (2) - scopus: 2-s2.0-85105017855 (3)
11573/1627717 - 2021 -
Embedding reactive behavior into artifact-centric business process models Oriol, X.; De Giacomo, G.; Estanol, M.; Teniente, E. - 01a Articolo in rivista
paper: FUTURE GENERATION COMPUTER SYSTEMS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 97-110 - issn: 0167-739X - wos: WOS:000612106900008 (3) - scopus: 2-s2.0-85097162639 (5)
11573/1575264 - 2021 -
Efficient PAC Reinforcement Learning in Regular Decision Processes Ronca, Alessandro; De Giacomo, Giuseppe - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 2026-2032 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-85125479251 (9)
conference: 30th International Joint Conference on Artificial Intelligence, IJCAI 2021 (Montreal, Canada)
11573/1581213 - 2021 -
Learning a Symbolic Planning Domain through the Interaction with Continuous Environments Umili, Elena; Antonioni, Emanuele; Riccio, Francesco; Capobianco, Roberto; Nardi, Daniele; De Giacomo, Giuseppe - 04f Poster
conference: The International Conference on Automated Planning, ICAPS 2021 (Guangzhou, China)
book: Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), workshop at ICAPS 2021 - ()
11573/1506315 - 2020 -
Synthesizing strategies under expected and exceptional environment behaviors Aminof, Benjamin; De Giacomo, Giuseppe; Lomuscio, Alessio; Murano, Aniello; Rubin, Sasha - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1674-1680 - issn: 1045-0823 - wos: WOS:000764196701111 (3) - scopus: 2-s2.0-85097335333 (10)
conference: Twenty-Ninth International Joint Conference on Artificial Intelligence, (IJCAI 2020) (Yokohama, Japan)
11573/1506307 - 2020 -
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains Aminof, Benjamin; De Giacomo, Giuseppe; Rubin, Sasha - 04b Atto di convegno in volume
conference: International Conference on Automated Planning and Scheduling (Nancy; France)
book: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020) - (978-1-57735-824-4)
11573/1506317 - 2020 -
High-level programming via generalized planning and LTL synthesis Bonet, Blai; De Giacomo, Giuseppe; Geffner, Hector; Patrizi, Fabio; Rubin, Sasha - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes, Greece)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) - (978-0-9992411-7-2)
11573/1449390 - 2020 -
A Temporal Logic-Based Measurement Framework for Process Mining Cecconi, Alessio; De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Mendling, Jan - 04b Atto di convegno in volume
conference: 2nd International Conference on Process Mining, ICPM 2020 (Padua, Italy)
book: 2020 2nd International Conference on Process Mining (ICPM) - (978-1-7281-9832-3)
11573/1365805 - 2020 -
Non-terminating processes in the situation calculus De Giacomo, G.; Ternovska, E.; Reiter, R. - 01a Articolo in rivista
paper: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 623-640 - issn: 1012-2443 - wos: WOS:000538364700010 (1) - scopus: 2-s2.0-85075346040 (3)
11573/1506337 - 2020 -
ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) De Giacomo, Giuseppe; Catalá, Alejandro; Dilkina, Bistra; Milano, Michela; Barro, Senén; Bugarín, Alberto; Lang, Jérôme - 06a Curatela
11573/1400243 - 2020 -
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces De Giacomo, Giuseppe; Di Stasio, Antonio; Fuggitti, Francesco; Rubin, Sasha - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 4959-4965 - issn: 1045-0823 - wos: WOS:000764196705013 (12) - scopus: 2-s2.0-85097336488 (27)
conference: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20) Survey Track (Yokohama; Japan)
11573/1440081 - 2020 -
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions De Giacomo, Giuseppe; Di Stasio, Antonio; Vardi, Moshe; Zhu, Shufang - 04b Atto di convegno in volume
conference: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 (Online)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - (978-171382598-2)
11573/1471641 - 2020 -
Temporal logic monitoring rewards via transducers De Giacomo, Giuseppe; Favorito, Marco; Iocchi, Luca; Patrizi, Fabio; Ronca, Alessandro - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes; Greece)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - (978-0-9992411-7-2)
11573/1434370 - 2020 -
Imitation learning over heterogeneous agents with restraining bolts De Giacomo, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: International Conference on Automated Planning and Scheduling (Nancy; France)
book: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) - ()
11573/1506300 - 2020 -
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science De Giacomo, Giuseppe; Lesperance, Yves - 04b Atto di convegno in volume
conference: International Joint Conference on Autonomous Agents and Multiagent Systems (previously the International Conference on Multiagent Systems, ICMAS, changed in 2000) (Auckland, New Zealand)
book: AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems - ()
11573/1506138 - 2020 -
ElGolog: A High-Level Programming Language with Memory of the Execution History De Giacomo, Giuseppe; Lespérance, Yves; Ternovska, Eugenia - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (New York, NY, USA)
book: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence - ()
11573/1506323 - 2020 -
Nondeterministic Strategies and their Refinement in Strategy Logic De Giacomo, Giuseppe; Maubert, Bastien; Murano, Aniello - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Rhodes, Greece)
book: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020 - (978-0-9992411-7-2)
11573/1435479 - 2020 -
Restraining bolts for reinforcement learning agents Giacomo, De; Favorito, Marco; Iocchi, Luca; Patrizi, Fabio - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (New York, NY, USA)
book: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence - (978-1-57735-835-0)
11573/1470121 - 2020 -
Extending DL-LiteR TBoxes with view definitions Namici, M.; De Giacomo, G.; Lenzerini, M. - 04b Atto di convegno in volume
conference: 33rd International Workshop on Description Logics, DL 2020 (Virtual, Online)
book: DL 2020 Description Logics 2020 - ()
11573/1506232 - 2020 -
LTLf Synthesis with Fairness and Stability Assumptions Zhu, Shufang; De Giacomo, Giuseppe; Pu, Geguang; Vardi, Moshe Y. - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (New York, NY, USA)
book: The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) - ()
11573/1402389 - 2019 -
Unbounded Orchestrations of Transducers for Manufacturing Alechina, N; Brazdil, T; De Giacomo, G; Felli, P; Logan, B; Vardi, My - 04b Atto di convegno in volume
conference: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence (Honolulu, Hawaii; USA)
book: The Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI 2019) - ()
11573/1402405 - 2019 -
Planning under LTL Environment Specifications Aminof, Benjamin; De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha - 04b Atto di convegno in volume
conference: Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019) (Berkeley, CA; USA)
book: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019) - ()
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)
Batusov, V.; De Giacomo, G.; Soutchanski, M. - 04b Atto di convegno in volume
conference: 34th Annual ACM Symposium on Applied Computing, SAC 2019 (Limassol; Cyprus)
book: SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - (9781450359337)
11573/1383713 - 2019 -
Regular decision processes: A model for non-markovian domains Brafman, R. I.; De Giacomo, G. - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 5516-5522 - issn: 1045-0823 - wos: WOS:000761735105092 (2) - scopus: 2-s2.0-85074913237 (12)
conference: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (Macao; China)
11573/1383988 - 2019 -
Planning for LTLF/LDLF goals in non-Markovian fully observable nondeterministic domains Brafman, R. I.; De Giacomo, G. - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1602-1608 - issn: 1045-0823 - wos: WOS:000761735101101 (5) - scopus: 2-s2.0-85074942521 (21)
conference: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (Macao; China)
11573/1387197 - 2019 -
Regular decision processes: Modelling dynamic systems without using hidden variables Brafman, R. I.; De Giacomo, G. - 04b Atto di convegno in volume
conference: 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 (Montreal; Canada)
book: AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems - ()
11573/1367948 - 2019 -
The What-To-Ask Problem for Ontology-Based Peers Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Rosati, R. - 02a Capitolo o Articolo
book: Description Logic, Theory Combination, and All That - (978-3-030-22101-0; 978-3-030-22102-7)
11573/1401140 - 2019 -
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications De Giacomo, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (Berkeley, CA, USA)
book: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling - ()
11573/1366959 - 2019 -
Acquiring Ontology Axioms through Mappings to Data Sources Di Pinto, Floriana; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: FUTURE INTERNET (Basel : MDPI) pp. - - issn: 1999-5903 - wos: WOS:000505727300001 (3) - scopus: 2-s2.0-85079695361 (3)
11573/1382610 - 2019 -
Automatic Business Process Model Extension to Repair Constraint Violations Oriol, X.; De Giacomo, G.; Estanol, M.; Teniente, E. - 04b Atto di convegno in volume
conference: 17th International Conference on Service-Oriented Computing, ICSOC 2019 (Toulouse; France)
book: Service-Oriented Computing - (978-3-030-33701-8; 978-3-030-33702-5)
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)
Brafman, Ronen Israel; De Giacomo, Giuseppe; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 32th AAAI Conference on Artificial Intelligence (AAAI-18) (New Orleans, Louisiana; USA)
book: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) - ()
11573/1079318 - 2018 -
Ontology-Based Data Access and Integration Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02d Voce di Enciclopedia/Dizionario
book: Encyclopedia of Database Systems - (978-1-4614-8266-6; 978-1-4614-8265-9; 978-1-4614-8264-2)
11573/1101958 - 2018 -
First-order μ-calculus over generic transition systems and applications to the situation calculus Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio - 01a Articolo in rivista
paper: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 328-347 - issn: 0890-5401 - wos: WOS:000428725600003 (19) - scopus: 2-s2.0-85029421794 (28)
11573/1182871 - 2018 -
Interestingness of traces in declarative process mining: The janus LTLPf Approach Cecconi, Alessio; Di Ciccio, Claudio; De Giacomo, Giuseppe; Mendling, Jan - 04b Atto di convegno in volume
conference: 16th International Conference on Business Process Management, BPM 2018 (Sydney; Australia)
book: Business Process Management - (9783319986470; 978-3-319-98648-7)
11573/978649 - 2018 -
Using Ontologies for Semantic Data Integration De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 02a Capitolo o Articolo
book: A Comprehensive GuideThrough the Italian DatabaseResearch Over the Last25 Years - (978-3-319-61892-0; 978-3-319-61893-7)
11573/1182875 - 2018 -
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals De Giacomo, Giuseppe; Rubin, Sasha - 04b Atto di convegno in volume
conference: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 (Stockholm; Sweden)
book: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018 - (978-0-9992411-2-7)
11573/1182867 - 2018 -
Synthesis of Orchestrations of Transducers for Manufacturing De Giacomo, Giuseppe; Vardi, Moshe Yaakov; Felli, Paolo; Natasha, Alechina; Brian, Logan - 04b Atto di convegno in volume
conference: Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) (New Orleans, Louisiana, USA)
book: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) - (978-1-57735-800-8)
11573/1365998 - 2018 -
Comparing query answering in OBDA tools over W3C-compliant specifications Namici, M.; De Giacomo, G. - 04b Atto di convegno in volume
conference: 31st International Workshop on Description Logics, DL 2018 (Tempe; United States)
book: DL 2018 Description Logics - ()
11573/1073180 - 2017 -
Abstraction in situation calculus action theories Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves - 04b Atto di convegno in volume
conference: 31st AAAI Conference on Artificial Intelligence, AAAI 2017 (San Francisco; United States)
book: AAAI'17 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence - ()
11573/1073185 - 2017 -
Generalized planning: Non-deterministic abstractions and trajectory constraints Bonet, Blai; De Giacomo, Giuseppe; Geffner, Hector Alberto; Rubin, Sasha - 04b Atto di convegno in volume
conference: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 (Melbourne; Australia)
book: IJCAI'17 Proceedings of the 26th International Joint Conference on Artificial Intelligence - (9780999241103)
11573/1073204 - 2017 -
Service composition in stochastic settings Brafman, Ronen I.; De Giacomo, Giuseppe; Mecella, Massimo; Sardina, Sebastian - 04b Atto di convegno in volume
conference: 16th International Conference on Italian Association for Artificial Intelligence, AI*IA 2017 (Bari; Italy)
book: AI*IA 2017 Advances in Artificial Intelligence - (9783319701684)
11573/978641 - 2017 -
On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies Cima, Gianluca; De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
conference: 7th International Conference on Web Intelligence, Mining and Semantics (Amantea; Italy)
book: WIMS '17 Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics - (978-1-4503-5225-3)
11573/978797 - 2017 -
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime Cima, Gianluca; De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
conference: 25th Italian Symposium on Advanced Database Systems (Squillace Lido; Italy)
book: Proceedings of the 25th Italian Symposium on Advanced Database Systems - ()
11573/1073200 - 2017 -
Practical update management in ontology-based data access De Giacomo, Giuseppe; Lembo, Domenico; Oriol, Xavier; Savo, Domenico Fabio; Teniente, Ernest - 04b Atto di convegno in volume
conference: 16th International Semantic Web Conference, ISWC 2017 (Vienna; Austria)
book: The Semantic Web – ISWC 2017 - (9783319682877)
11573/965532 - 2017 -
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment De Giacomo, Giuseppe; Maggi, Fabrizio M.; Marrella, Andrea; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 31st AAAI Conference on Artificial Intelligence (AAAI-17) (San Francisco, California, USA)
book: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI 2017 [GGS A++/CORE A*] - (978-1-57735-784-1)
11573/1073190 - 2017 -
Linking data and BPMN processes to achieve executable models De Giacomo, Giuseppe; Oriol, Xavier; Estañol, Montserrat; Teniente, Ernest - 04b Atto di convegno in volume
conference: 29th International Conference on Advanced Information Systems Engineering, CAiSE-Forum-DC 2017 (Essen; Germany)
book: Advanced Information Systems Engineering - (9783319595351)
11573/950783 - 2016 -
Online agent supervision in the situation calculus Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves - 04b Atto di convegno in volume
conference: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York; United States)
book: Proceedings of the twenty-fifth international joint conference on artificial intelligence - (978-1-57735-770-4)
11573/950784 - 2016 -
Online situation-determined agents and their supervision Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves - 04b Atto di convegno in volume
conference: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africa)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 - ()
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 - ()
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)
De Giacomo, Giuseppe; Gerevini, Alfonso; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 64-106 - issn: 0004-3702 - wos: WOS:000368746100004 (11) - scopus: 2-s2.0-84947545990 (19)
11573/839707 - 2016 -
Progression and Verification of Situation Calculus Agents with Bounded Beliefs De Giacomo, Giuseppe; Lesperance, Y.; Patrizi, Fabio; Vassos, Stavros - 01a Articolo in rivista
paper: STUDIA LOGICA (London ; Dordrecht ; Boston ; Warszawa : Pa'nstwowe Wydawnictwo Naukowe : Kluwer Academic Publishers) pp. 705-739 - issn: 0039-3215 - wos: WOS:000379529800005 (3) - scopus: 2-s2.0-84940860082 (2)
11573/885586 - 2016 -
Bounded situation calculus action theories De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 172-203 - issn: 0004-3702 - wos: WOS:000377828500008 (17) - scopus: 2-s2.0-84966349606 (30)
11573/949556 - 2016 -
Verifying congolog programs on bounded situation calculus theories De Giacomo, Giuseppe; Lesṕerance, Yves; Patrizi, Fabio; Sardina, Sebastian - 04b Atto di convegno in volume
conference: 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (Phoenix; United States)
book: AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence - (9781577357605)
11573/965504 - 2016 -
Computing Trace Alignment against Declarative Process Models through Planning De Giacomo, Giuseppe; Marrella, Andrea; Maggi, Fabrizio M.; Sardina, Sebastian - 04b Atto di convegno in volume
conference: 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) (London; United Kingdom)
book: Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, ICAPS'16 [GGS A/CORE A*] - (978-1-57735-757-5)
11573/933407 - 2016 -
LTLf and LDLf Synthesis under Partial Observability De Giacomo, Giuseppe; Moshe, Vardi - 04b Atto di convegno in volume
conference: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York, NY; United States)
book: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016 - (978-1-57735-770-4)
11573/950780 - 2016 -
Imperfect-information games and generalized planning De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio - 04b Atto di convegno in volume
conference: 25th International Joint Conference on Artificial Intelligence, IJCAI 2016 (New York; United States)
book: Proceedings of the twenty-fifth international joint conference on artificial intelligence - (978-1-57735-770-4)
11573/933184 - 2016 -
Updating DL-Lite ontologies through first-order queries De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 15th International Semantic Web Conference, ISWC 2016 (Kobe; Japan)
book: The Semantic Web – ISWC 2016 - (9783319465227; 978-3-319-46523-4)
11573/828232 - 2015 -
Data Complexity of Query Answering in Description Logics Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015. - (978-1-57735-738-4)
11573/839711 - 2015 -
On the undecidability of the situation calculus extended with description logic ontologies Calvanese, Diego; De Giacomo, Giuseppe; Soutchanski, Mikhail - 04b Atto di convegno in volume
conference: Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)
11573/839713 - 2015 -
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis Calvanese, Diego; Montali, Marco; Patrizi, Fabio; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)
11573/839704 - 2015 -
Knowledge Representation and Reasoning: What's Hot Chitta, Baral; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 (Austin; United States)
book: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA - (978-1-57735-698-1)
11573/950786 - 2015 -
Temporal reasoning in bounded situation calculus De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015 (Kassel; Germany)
book: 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - (9781467393171)
De Giacomo, Giuseppe; Dumas, M.; Maggi, F. M.; Montali, M. - 04b Atto di convegno in volume
conference: 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015 (Stockholm; Sweden)
book: Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings - (9783319190686; 978-3-319-19069-3)
11573/839709 - 2015 -
Synchronous games in the situation calculus De Giacomo, Giuseppe; Lespérance, Y.; Pearce, A. R. - 04b Atto di convegno in volume
conference: 14th International conference on autonomous agents and multiagent systems, AAMAS 2015 (Istanbul; Turkey)
book: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - (9781450337717; 978-1-4503-3413-6)
11573/839712 - 2015 -
Adding DL-Lite TBoxes to Proper Knowledge Bases De Giacomo, Giuseppe; Levesque, Hector J. - 04b Atto di convegno in volume
conference: 14th International Semantic Web Conference ISWC 2015 (Bethlehem; United States)
book: The Semantic Web - ISWC 2015 - (978-3-319-25006-9; 978-3-319-25007-6)
11573/873837 - 2015 -
Service Composition with PDDL Representations and Visualization over Videogame Engines De Giacomo, Giuseppe; Ntouskos, Valsamis; Patrizi, Fabio; Vassos, Stavros; Aversa, Davide - 04b Atto di convegno in volume
conference: 8th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015 (Rome; Italy)
book: 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) - (9781467394697)
11573/839710 - 2015 -
Synthesis for LTL and LDL on Finite Traces De Giacomo, Giuseppe; Vardi, Moshe Y. - 04b Atto di convegno in volume
conference: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 - (978-1-57735-738-4)
11573/950789 - 2014 -
Verification of human driven data-centric dynamic systems Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; De Giacomo, Giuseppe; Deutsch, Alin - 04b Atto di convegno in volume
conference: 2014 AAAI Spring Symposium (Palo Alto, CA; USA)
book: AAAI Spring Symposium - Technical Report - (9781577356554)
11573/650795 - 2014 -
Automated Service Composition Based on Behaviors: The Roman Model De Giacomo, Giuseppe; Mecella, Massimo; Patrizi, Fabio - 02a Capitolo o Articolo
book: Web Services Foundations - (9781461475170; 9781461475187)
11573/670485 - 2014 -
Agent Behavior Composition in Virtual Environments Realized Using Game Engines De Giacomo, Giuseppe; Ntouskos, Valsamis; Patrizi, Fabio; Vassos, Stavros; Aversa, Davide - 04b Atto di convegno in volume
conference: Workshop on AI Problems and Approaches for Intelligent Environments (Praga Repubblica Ceca)
book: Proceedings of the 2014 Workshop on AI Problems and Approaches for Intelligent Environments - ()
11573/778325 - 2014 -
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardiña - 04b Atto di convegno in volume
conference: Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 (Portsmouth, New Hampshire, USA)
book: Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 - (978-1-57735-660-8)
11573/778321 - 2014 -
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces De Giacomo, Giuseppe; Riccardo De, Masellis; Marco, Grasso; Fabrizio Maria, Maggi; Marco, Montali - 04b Atto di convegno in volume
conference: 12th International Conference on Business Process Management, BPM 2014 ()
book: Business Process Management - 12th International Conference, BPM 2014 - (978-3-319-10171-2)
11573/778318 - 2014 -
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness De Giacomo, Giuseppe; Riccardo De, Masellis; Marco, Montali - 04b Atto di convegno in volume
conference: Twenty-Eighth AAAI Conference on Artificial Intelligence (Quebec City, Quebec, Canada)
book: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence - (978-1-57735-661-5)
11573/537188 - 2014 -
Progression and Verification of Situation Calculus Agents with Bounded Beliefs De Giacomo, Giuseppe; Y., Lespérance; Patrizi, Fabio; Vassos, Stavros - 04b Atto di convegno in volume
conference: Autonomous Agents and Multiagent Systems (Paris, France)
book: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 - (978-1-4503-2738-1)
11573/778328 - 2014 -
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus De Giacomo, Giuseppe; Yves, Lespérance; Patrizi, Fabio; Vassos, Stavros - 04b Atto di convegno in volume
conference: 21st European Conference on Artificial Intelligence (Prague, Czech Republic)
book: ECAI 2014 - 21st European Conference on Artificial Intelligence - (978-1-61499-418-3)
11573/778323 - 2014 -
Verification of data-aware commitment-based multiagent system Marco, Montali; Diego, Calvanese; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 (Paris, France)
book: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 - (978-1-4503-2738-1)
11573/778330 - 2014 -
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems Marco, Montali; Diego, Calvanese; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 29th Italian Conference on Computational Logic, CILC 2014 (Torino; Italy)
book: Proceedings of the 29th Italian Conference on Computational Logic - ()
11573/668860 - 2013 -
Rewrite and conquer: Dealing with integrity constraints in data integration Andrea, Cali; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo
book: Seminal Contributions to Information Systems Engineering - (9783642369254; 9783642369261)
11573/516158 - 2013 -
Verification of relational data-centric dynamic systems with external services Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; De Giacomo, Giuseppe; Alin, Deutsch - 04b Atto di convegno in volume
conference: 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013 (New York, NY)
book: PODS 2013 - (9781450320665)
11573/516114 - 2013 -
Description Logic Knowledge and Action Bases Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 651-686 - issn: 1076-9757 - wos: WOS:000318146400001 (36) - scopus: 2-s2.0-84878287886 (60)
11573/559334 - 2013 -
Finite model reasoning on UML class diagrams via constraint programming Cadoli, Marco; D., Calvanese; De Giacomo, Giuseppe; Mancini, Toni - 01a Articolo in rivista
paper: INTELLIGENZA ARTIFICIALE (Associazione Italiana per l'Intelligenza Artificiale) pp. 57-65 - issn: 1724-8035 - wos: (0) - scopus: (0)
11573/950787 - 2013 -
Verification and synthesis in description logic based dynamic systems (abridged version) Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio - 04b Atto di convegno in volume
conference: Workshop AI Meets Business Processes, AIBP 2013 - Co-located with the 13th Conference of the Italian Association for Artificial Intelligence, AI*IA 2013 (Turin; Italy)
book: CEUR Workshop Proceedings - ()
11573/537274 - 2013 -
MASTRO STUDIO: Managing ontology-based data access applications Civili, Cristina; Console, Marco; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Lepore, Lorenzo; Mancini, Riccardo; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Santarelli, Valerio; Savo, Domenico Fabio - 01a Articolo in rivista
paper: PROCEEDINGS OF THE VLDB ENDOWMENT (New York, NY : Association for Computing Machinery) pp. 1314-1317 - issn: 2150-8097 - wos: (0) - scopus: 2-s2.0-84891108628 (51)
11573/516163 - 2013 -
Linear temporal logic and Linear Dynamic Logic on finite traces De Giacomo, Giuseppe; Moshe Y., Vardi - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 854-860 - issn: 1045-0823 - wos: (0) - scopus: 2-s2.0-84896063056 (476)
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
book: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013). - (9781577356332)
11573/516108 - 2013 -
Automatic behavior composition synthesis De Giacomo, Giuseppe; Patrizi, Fabio; Sardina, Sebastian - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 106-142 - issn: 0004-3702 - wos: WOS:000319087200005 (43) - scopus: 2-s2.0-84889776894 (56)
11573/516162 - 2013 -
Bounded epistemic situation calculus theories De Giacomo, Giuseppe; Yves, Lesperance; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
book: Proceedings of the 23rd International Joint Conference on Artificial Intelligence - (9781577356332)
11573/516112 - 2013 -
Data complexity of query answering in description logics Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 335-360 - issn: 0004-3702 - wos: WOS:000315839600013 (74) - scopus: 2-s2.0-84878317837 (120)
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 816-834 - issn: 0022-0000 - wos: WOS:000319368900005 (4) - scopus: 2-s2.0-84877701164 (4)
11573/531063 - 2013 -
Dynamic Systems based on Description Logics: Formalization, verification, and synthesis Diego, Calvanese; De Giacomo, Giuseppe; M., Montali; Patrizi, Fabio - 04c Atto di convegno in rivista
paper: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. 573-586 - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-84892379527 (1)
conference: 26th International Workshop on Description Logics, DL 2013 (Ulm)
book: Proceedings of the 26th International Workshop on Description Logics - ()
11573/531055 - 2013 -
Verification and synthesis in description logic based dynamic systems Diego, Calvanese; De Giacomo, Giuseppe; Marco, Montali; Patrizi, Fabio - 04c Atto di convegno in rivista
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 50-64 - issn: 0302-9743 - wos: WOS:000442637804053 (6) - scopus: 2-s2.0-84881145218 (17)
conference: 7th International Conference on Web Reasoning and Rule Systems, RR 2013 (Mannheim)
book: Proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013 - (9783642396656; 9783642396663)
11573/516160 - 2013 -
Foundations of data-aware process analysis: A database theory perspective Diego, Calvanese; Marco, Montali; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013 (New York, New York, USA)
book: Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2013) - (9781450320665)
11573/516161 - 2013 -
Supremal realizability of behaviors with uncontrollable exogenous events Nitin, Yadav; Felli, Paolo; De Giacomo, Giuseppe; S., Sardina - 04b Atto di convegno in volume
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
book: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013) - (9781577356332)
11573/516157 - 2013 -
A generic technique for synthesizing bounded finite-state controllers Yuxiao, Hu; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013 (Rome)
book: Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) - (9781577356097)
11573/484863 - 2012 -
Verification of description logic Knowledge and Action Bases Babak Bagheri, Hariri; Diego, Calvanese; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo; Marco, Montali - 04b Atto di convegno in volume
conference: ECAI 2012 - 20th European Conference on Artificial Intelligence. ()
book: ECAI 2012 - 20th European Conference on Artificial Intelligence. Montpellier, France, August 27-31 , 2012 - (9781614990970)
11573/484867 - 2012 -
Verification of conjunctive artifact-centric services De Giacomo, Giuseppe; De Masellis, Riccardo; Rosati, Riccardo - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 111-139 - issn: 0218-8430 - wos: WOS:000307022800002 (15) - scopus: 2-s2.0-84864572151 (21)
11573/485088 - 2012 -
Goal-based composition of stateful services for smart homes De Giacomo, Giuseppe; Di Ciccio, Claudio; Felli, Paolo; Yuxiao, Hu; Mecella, Massimo - 04b Atto di convegno in volume
conference: Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 (Rome)
book: Proc. of 20th International Conference on Cooperative Information Systems (CoopIS'12) - (9783642336058; 9783642336065)
11573/485095 - 2012 -
Mastro: A reasoner for effective ontology-based data access De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 1st International Workshop on OWL Reasoner Evaluation 2012, ORE 2012 - In Conjunction with the 6th International Joint Conference on Automated Reasoning, IJCAR 2012 (Manchester)
book: Proceedings of the OWL Reasoner Evaluation Workshop (ORE 2012) - ()
11573/485096 - 2012 -
Mastro: Ontology-based data access at work (extended abstract) De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: Confederated International Workshops on On the Move to Meaningful Internet Systems, OTM 2012: OTM Academy, Industry Case Studies Program, EI2N 2012, INBAST 2012, META4eS 2012, OnToContent 2012, ORM 2012, SeDeS 2012, SINCOM 2012, and SOMOCO 2012 (Rome)
book: Proc. of 11th Int. Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE'12) - (9783642336171; 9783642336188)
11573/484859 - 2012 -
On supervising agents in situation-determined ConGolog De Giacomo, Giuseppe; Yves, Lesperance; Christian J., Muise - 04b Atto di convegno in volume
conference: 11th International Conference on Autonomous Agents and Multiagent Systems 2012: Innovative Applications Track, AAMAS 2012 (Valencia)
book: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 - ()
11573/484864 - 2012 -
Bounded situation calculus action theories and decidable verification De Giacomo, Giuseppe; Yves, Lesperance; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (Rome)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 - (9781577355601)
11573/485094 - 2012 -
Bounded situation calculus action theories (Extended abstract) De Giacomo, Giuseppe; Yves, Lesperance; Patrizi, Fabio - 04b Atto di convegno in volume
conference: 8th International Cognitive Robotics Workshop (Toronto, ON)
book: Proc. of the 8th International Cognitive Robotics Workshop - (9781577355717)
11573/484799 - 2012 -
Ontology-based data access with dynamic TBoxes in DL-lite Di Pinto, Floriana; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12 (Toronto, ON)
book: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada - (9781577355687)
11573/484865 - 2012 -
Ontology-Based Governance of Data-Aware Processes Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Marco, Montali; Ario, Santoso - 04b Atto di convegno in volume
conference: Web Reasoning and Rule Systems - 6th International Conference ()
book: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings - (9783642332029; 9783642332036)
11573/485092 - 2012 -
Semantically-governed data-aware processes Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Marco, Montali; Ario, Santoso - 04b Atto di convegno in volume
conference: 1st International Workshop on Knowledge-Intensive Business Processes, KiBP 2012 (Rome)
book: Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP'12) - ()
11573/42113 - 2012 -
View-based query answering in Description Logics: Semantics and complexity Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 26-46 - issn: 0022-0000 - wos: WOS:000297833200004 (21) - scopus: 2-s2.0-81955168130 (35)
11573/516153 - 2012 -
Query processing under GLAV mappings for relational and graph databases Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: PROCEEDINGS OF THE VLDB ENDOWMENT (New York, NY : Association for Computing Machinery) pp. 61-72 - issn: 2150-8097 - wos: (0) - scopus: 2-s2.0-84875116496 (23)
11573/484816 - 2012 -
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments Felli, Paolo; De Giacomo, Giuseppe; Alessio, Lomuscio - 04b Atto di convegno in volume
conference: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (Rome)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 - (9781577355601)
11573/416352 - 2011 -
Verification of conjunctive-query based semantic artifacts? Babak Bagheri, Hariri; Diego, Calvanese; De Giacomo, Giuseppe; De Masellis, Riccardo - 04b Atto di convegno in volume
conference: 24th International Workshop on Description Logics, DL 2011 (Barcelona)
book: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 - ()
11573/408676 - 2011 -
Foundations of relational artifacts verification Babak Bagheri, Hariri; Diego, Calvanese; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo - 04b Atto di convegno in volume
conference: 9th International Conference on Business Process Management, BPM 2011 (Clermont-Ferrand)
book: Lecture Notes in Computer ScienceBusiness Process Management - (9783642230585; 9783642230592)
11573/416354 - 2011 -
Higher-order description logics for domain metamodeling De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 (San Francisco, CA)
book: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011 - (9781577355083)
11573/950778 - 2011 -
Efficient reasoning in proper knowledge bases with unknown individuals De Giacomo, Giuseppe; Lespérance, Yves; Levesque, Hector J. - 04b Atto di convegno in volume
conference: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Barcelona; Spain)
book: IJCAI International Joint Conference on Artificial Intelligence - (9781577355120)
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)
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) - ()
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)
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)
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)
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. - ()
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)
Poggi, Antonella; Lembo, Domenico; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL ON DATA SEMANTICS (Heidelberg ; Berlin : Springer) pp. 133-173 - issn: 1861-2032 - wos: (0) - scopus: 2-s2.0-49949109970 (392)
book: Journal on Data Semantics X - ()
11573/194260 - 2008 -
A Model of Contingent Planning for Agent Programming Languages Yves, Lesperance; De Giacomo, Giuseppe; Atalay Nafi, Ozgovde - 04b Atto di convegno in volume
conference: 7th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS'08) (Estoril, Portugal)
book: Proceedings of the 7th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS'08), 2008. - ()
11573/232441 - 2007 -
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming Cadoli, Marco; Diego, Calvanese; De Giacomo, Giuseppe; Mancini, Toni - 04b Atto di convegno in volume
book: 10th Congress of the Italian Association for Artificial Intelligence (AI*IA'07) - (9783540747819)
11573/233544 - 2007 -
EQL-Lite: Effective first-order query processing in Description Logics Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 (Hyderabad; India)
book: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007) - (0127056610)
11573/358605 - 2007 -
MASTRO-I: Efficient integration of relational data through DL ontologies D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th Int. Workshop on Description Logics (Bressanone)
book: Proceedings of the 20th Int. Workshop on Description Logics - ()
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)
D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
book: Proc. of the Workshop on OWL: Experiences and Directions (OWLED 2007) - ()
11573/358594 - 2007 -
Automatic workflows composition of mobile services De Giacomo, Giuseppe; De Leoni, Massimiliano; Mecella, Massimo; Patrizi, Fabio - 04b Atto di convegno in volume
conference: IEEE International Conference on Web Services (ICWS 2007) (Salt Lake City, UT)
book: Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007) - (9780769529240)
11573/235723 - 2007 -
On reconciling data exchange, data integration, and peer data management De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2007 (Beijing)
book: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2007) - (9781595936851)
11573/368153 - 2007 -
On the approximation of instance level update and erasure in description logics De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference (Vancouver, BC)
book: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007) - (9781577353232)
11573/358409 - 2007 -
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors De Giacomo, Giuseppe; Patrizi, Fabio; Sebastian, Sardina - 04b Atto di convegno in volume
conference: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference (Vancouver; Canada)
book: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI'07) - (1577353234)
11573/193743 - 2007 -
Automatic synthesis of new behaviors from a library of available ones. De Giacomo, Giuseppe; Sebastian, Sardina - 04b Atto di convegno in volume
conference: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Inte (Hyderabad, India)
book: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07) - ()
11573/358431 - 2007 -
Highly dynamic adaptation in process management systems through execution monitoring De Leoni, Massimiliano; Mecella, Massimo; De Giacomo, Giuseppe - 04b Atto di convegno in volume
conference: 5th International Conference on Business Process Management (Brisbane, AUSTRALIA)
book: Business Process Management, 5th International Conference, BPM 2007 - (9783540751823)
11573/239834 - 2007 -
Tractable reasoning and efficient query answering in description logics: The DL-Lite family Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF AUTOMATED REASONING (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 385-429 - issn: 0168-7433 - wos: WOS:000249120300006 (630) - scopus: 2-s2.0-34548305118 (1224)
11573/233904 - 2007 -
Actions and programs over description logic ontologies Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th International Workshop on Description Logics, DL 2007 (Bressanone, Italy)
book: Proceedings of the 2007 International Workshop on Description Logics (DL2007) - ()
11573/81213 - 2007 -
View-based query processing: On the relationship between rewriting, answering and losslessness Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 169-182 - issn: 0304-3975 - wos: WOS:000244907600004 (24) - scopus: 2-s2.0-33846821672 (30)
conference: 10th International Conference on Database Theory (ICDT 2005) (Edinburgh, SCOTLAND)
11573/233445 - 2006 -
Composing Web Services with Nondeterministic Behavior Berardi, D; De Giacomo, Giuseppe; Mecella, Massimo; Calvanese, D. - 04b Atto di convegno in volume
conference: 2006 IEEE International Conference on Web Services (ICWS 2006) (Chicago, Illinois, USA)
book: Proceedings 2006 IEEE International Conference on Web Services (ICWS 2006) - ()
11573/231256 - 2006 -
Data management in peer-to-peer data integration systems Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Global Data Management - (9781586036294)
11573/234227 - 2006 -
Data complexity of query answering in description logics Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006 (Lake District; United Kingdom)
book: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006) - (9781577352716)
11573/241581 - 2006 -
AUTOMATIC WEB SERVICES COMPOSITION IN TRUSTAWARE COMMUNITIES Cheikh, F; De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
conference: ACM WORKSHOP ON SECURE WEB SERVICES (SWS 2006) (Alexandria, VA, USA)
book: PROCEEDINGS 3RD ACM WORKSHOP ON SECURE WEB SERVICES (SWS 2006) - ()
11573/49634 - 2006 -
Lezioni di Fondamenti di Informatica (2/ed) D., Calvanese; De Giacomo, Giuseppe; Demetrescu, Camil; Iocchi, Luca; Nardi, Daniele - 03c Manuale Didattico
book: Libro di testo per corsi universitari, Esculapio Editore Bologna - (9788874880379)
11573/235616 - 2006 -
Epistemic First-Order Queries over Description Logic Knowledge Bases D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
book: Proc. of the 2006 Description Logic Workshop (DL 2006) - ()
11573/194006 - 2006 -
Automatic web service composition: Service-tailored vs. client-tailored approaches. Daniela, Berardi; Diego, Calvanese; De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
conference: AISC’06 ()
book: Proceedings of the 4th International Workshop on AI for Service Composition (AISC’06) - ()
11573/193753 - 2006 -
Dealing with inconsistencies and incompleteness in database update (position paper) De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04a Atto di comunicazione a congresso
conference: IIDB’06 ()
book: Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB’06) - ()
11573/368224 - 2006 -
On the update of description logic ontologies at the instance level De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06 (Boston, MA)
book: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference (AAAI'06) - (9781577352815)
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)
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)
Acciarri, A; Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Palmieri, M; Rosati, Riccardo - 04b Atto di convegno in volume
book: In Proceedings of the Twentieth Conference of the American Association for Artificial Intelligence (AAAI 2005) - (9781577352365)
11573/193744 - 2005 -
QuOnto: Querying Ontologies (demo report). Andrea, Acciarri; Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Mattia, Palmieri; Rosati, Riccardo - 04b Atto di convegno in volume
conference: The Twentieth National Conference on Artificial Intelligence (Pittsburgh, Pennsylvania, USA)
book: Proceedings, The Twentieth National Conference on Artificial Intelligence - AAAI'05 - ()
11573/240430 - 2005 -
Automatic Composition of Transition-based Semantic Web Services with Messaging Berardi, D; Calvanese, D; De Giacomo, Giuseppe; Hull, R; Mecella, Massimo - 04b Atto di convegno in volume
book: Proceedings of the 31st International Conference on Very Large Data Bases (VLDB 2005) - (9781595931542)
11573/233795 - 2005 -
AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTION Berardi, D; Calvanese, D; De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 333-376 - issn: 0218-8430 - wos: WOS:000231300300002 (85) - scopus: 2-s2.0-22944452100 (156)
11573/238573 - 2005 -
Composition of Services with Nondeterministic Observable Behavior Berardi, D; Calvanese, D; De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
conference: Third International Conference Third International Conference Service-Oriented Computing - ICSOC 2005 (Amsterdam, The Netherlands)
book: Proceedings Service-Oriented Computing - ICSOC 2005, Third International Conference - ()
11573/950774 - 2005 -
Automatic composition of web services in Colombo Berardi, Daniela; Calvanese, Diego; De Giacomo, Giuseppe; Hull, Richard; Mecella, Massimo - 04b Atto di convegno in volume
conference: 13th Italian Symposium on Advanced Database Systems, SEBD 2005 (Bressanone, Bolzano; Italy)
book: SEBD 2005 - Proceedings of the 13th Italian Symposium on Advanced Database Systems - (8854801224; 978-885480122-6)
11573/235421 - 2005 -
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 10th International Symposium on Database Programming Languages (Trondheim, Norvegia)
book: Database Programming Languages, 10th International Symposium, Revised Selected Papers - (9783540309512)
11573/235886 - 2005 -
DL-Lite: Tractable Description Logics for Ontologies Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05 (Pittsburgh; United States)
book: Proceedings of the Twentieth Conference of the American Association for Artificial Intelligence (AAAI 2005) - (9781577352365)
11573/49636 - 2005 -
Lezioni di tecniche di programmazione Calvanese, Diego; De Giacomo, Giuseppe; Demetrescu, Camil; Iocchi, Luca; Nardi, Daniele - 03c Manuale Didattico
book: Lezioni di tecniche di programmazione - (9788874880829)
11573/910906 - 2005 -
Efficiently managing data intensive ontologies Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 2nd Italian Workshop on Semantic Web Applications and Perspectives, SWAP 2005 (Trento, Italia)
11573/233444 - 2005 -
Data complexity of query answering in description logics D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 2005 International Workshop on Description Logics, DL 2005 (Edinburgh, Scotland)
book: Proceedings of the 2005 Description Logic Workshop - ()
Daniela, Berardi; Diego, Calvanese; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 70-118 - issn: 0004-3702 - wos: WOS:000232902300003 (279) - scopus: 2-s2.0-25144441754 (418)
11573/193761 - 2005 -
Towards automatic web service discovery and composition in a context with semantics, messages, and internal process flow (a position paper) Daniela, Berardi; Diego, Calvanese; De Giacomo, Giuseppe; Mecella, Massimo; Rick, Hull - 04b Atto di convegno in volume
conference: SWSF'05 ()
book: Proceedings of the W3C Workshop on Frameworks for Semantics in Web Services (SWSF 2005) - ()
11573/193760 - 2005 -
Modeling Data and Processes for Service Specifications in Colombo Daniela, Berardi; Diego, Calvanese; De Giacomo, Giuseppe; Richard, Hull; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
conference: EMOI-INTEROP 2005 (Porto; Portugal)
book: Proceedings of 2nd INTEROP Workshop on Enterprise Model ling and Ontologies for Interoperability (EMOI-INTEROP 2005) - ()
11573/42844 - 2005 -
Data Integration: a Logic-based Perspective. Diego, Calvanese; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: AI MAGAZINE (La Canada, CA : American Association for Artificial Intelligence, 1980-) pp. 59-70 - issn: 0738-4602 - wos: WOS:000227928500006 (18) - scopus: 2-s2.0-17244382960 (30)
11573/234542 - 2005 -
Tailoring OWL for data intensive ontologies Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
book: Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions - ()
11573/240305 - 2005 -
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 04b Atto di convegno in volume
conference: International Conference on Database Theory (Edinburgh, UK)
book: International Conference on Database Theory - ()
11573/42840 - 2005 -
Decidable containment of recursive queries Diego, Calvanese; De Giacomo, Giuseppe; Y., Vardi Moshe - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 33-56 - issn: 0304-3975 - wos: WOS:000229422600003 (18) - scopus: 2-s2.0-18144381089 (25)
conference: 9th International Conference on Database Theory (ICDT) (SIENA, ITALY)
11573/236158 - 2004 -
Data integration under integrity constraints Andrea, Cali; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
paper: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. 147-163 - issn: 0306-4379 - wos: WOS:000188967600004 (79) - scopus: 2-s2.0-0942266859 (102)
conference: 14th International Conference on Advanced Information Systems Engineering (CAISE 02) (TORONTO, CANADA)
11573/240646 - 2004 -
Towards Implementing Finite Model
Reasoning in Description Logics Cadoli, Marco; Calvanese, D.; De Giacomo, Giuseppe - 04a Atto di comunicazione a congresso
book: Proceedings of the 2004 Description Logics Workshop (DL’04) - ()
11573/193734 - 2004 -
Finite Satisfiability of UML class diagrams by Constraint Programming Cadoli, Marco; Diego, Calvanese; De Giacomo, Giuseppe; Mancini, Toni - 04b Atto di convegno in volume
conference: CP’04 Workshop on CSP Techniques with Immediate Application (Toronto, Canada)
book: Proceedings of CP’04 Workshop on CSP Techniques with Immediate Application - ()
11573/206847 - 2004 -
Query Reformulation over Ontology-based Peers Calvanese, D.; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, SEBD 2004 - ()
11573/240273 - 2004 -
DL-Lite: Practical Reasoning for Rich DLs Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo; Vetere, G. - 04a Atto di comunicazione a congresso
book: Proceedings of the 2004 Description Logics Workshop (DL’04) - ()
11573/232368 - 2004 -
What to ask to a peer: Ontology-based query reformulation Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 9th International Conference on the Principles of Knowledge Representation and Reasoning (Whistler, Canada)
book: Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004) - (9781577351993)
11573/241344 - 2004 -
ESC. A Tool for Automatic Composition of Services Based on Logics of Programs D., Berardi; D., Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
book: Proceedings Technologies for E-Services, 5th International Workshop (TES 2004) - ()
11573/58719 - 2004 -
Synthesis of Underspecified Composite e-Services based on Automated Reasoning Daniela, Berardi; De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo; Diego, Calvanese - 04b Atto di convegno in volume
conference: the 2nd international conference (New York City, NY, USA)
book: Proceedings Service-Oriented Computing - ICSOC 2004, Second International Conference - (9781581138719)
11573/58712 - 2004 -
A Foundational Vision of e-Services Daniela, Berardi; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
book: Web Services, E-Business, and the Semantic Web, Second International Workshop (WES 2003) - (9783540223962; 9783540259824)
11573/193731 - 2004 -
Synthesis of Composite
E-Services Based on Automated Reasoning (Short Paper) Daniela, Berardi; Diego, Calvanese; De Giacomo, Giuseppe; Mecella, Massimo - 04b Atto di convegno in volume
conference: ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (P4WGS’04) (Whistler, British Columbia, Canada)
book: Proc. of the ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services - ()
11573/235890 - 2004 -
Tackling inconsistencies in data integration through source preferences De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: International Workshop on Information Quality in Information Systems, IQIS 2004, Held in Conjunction with the 23rd ACM SIGMOD International Conference on Management of Data (Paris)
book: Proceedings of the 2004 International Workshop on Information Quality in Information Systems - (9781581139020)
11573/235976 - 2004 -
Scaling up reasoning about actions using relational database technology De Giacomo, Giuseppe; Mancini, Toni - 04b Atto di convegno in volume
conference: The Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence (San Jose, California, USA)
book: Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence - (0262511835)
11573/197327 - 2004 -
On Ability to Autonomously Execute Agent Programs with Sensing (Short Paper) De Giacomo, Giuseppe; Yves, Lesperance; Hector, Levesque; Sebastian, Sardina - 04b Atto di convegno in volume
conference: 3rd Int. Joint Conf. on Autonomous Agents, and Multi-Agents Systems (AAMAS’04) (New York, NY, USA)
book: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004) - ()
11573/42841 - 2004 -
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation De Giacomo, Giuseppe; Yves, Lesperance; Hector, Levesque; Sebastian, Sardina - 01a Articolo in rivista
paper: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 256-299 - issn: 1012-2443 - wos: WOS:000221929500005 (41) - scopus: 2-s2.0-4043175527 (60)
11573/233440 - 2004 -
Logical Foundations of Peer-To-Peer Data Integration Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: the twenty-third ACM SIGMOD-SIGACT-SIGART symposium (Parigi, Francia)
book: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - (9781581138580)
11573/197633 - 2004 -
Hyper:
A Framework for Peer-To-Peer Data Integration on Grids Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo; Guido, Vetere - 04a Atto di comunicazione a congresso
conference: Int. Conf. on Semantics of a Networked World: Semantics for Grid Databases (ICSNW'04) (Paris, France,)
book: Semantics for Grid Databases, First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers - LNCS - ()
11573/167080 - 2004 -
Semantic data integration in P2P systems Diego, Calvanese; Elio, Damaggio; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers - LNCS - (9783540209683)
11573/193733 - 2004 -
On Ability to Automatically
Execute Agent Programs with Sensing Sebastian, Sardina; De Giacomo, Giuseppe; Yves, Lesperance; Hector, Levesque - 04a Atto di comunicazione a congresso
conference: 4th International Cognitive Robotics Workshop (CogRob’04) (Valencia, Spain)
book: Proceedings of 4th International Cognitive Robotics Workshop (CogRob’04) - ()
11573/251215 - 2003 -
IBIS: semantic data integration at work Andrea, Calì; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Paolo, Naggar; Fabio, Vernacotola - 04b Atto di convegno in volume
book: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Proceedings - ()
11573/249692 - 2003 -
e-Service Composition by Description Logics Based Reasoning Berardi, D; Calvanese, D; De Giacomo, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo - 04b Atto di convegno in volume
book: Proceedings of the 2003 International Workshop on Description Logics (DL2003) - ()
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 - ()
Diego, Calvanese; De Giacomo, Giuseppe - 02a Capitolo o Articolo
book: The Description Logic Handbook: Theory, Implementation and Applications - (9780521781763)
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) - ()
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 01a Articolo in rivista
paper: SIGMOD RECORD (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 83-92 - issn: 0163-5808 - wos: WOS:000189005400015 (43) - scopus: 2-s2.0-14344262661 (63)
11573/197323 - 2003 -
Decidable containment of recursive queries Diego, Calvanese; De Giacomo, Giuseppe; Moshe Y., Vardi - 04a Atto di comunicazione a congresso
conference: 9th Int. Conf. on Database Theory (ICDT 2003) (Siena, Italy)
book: Database Theory - ICDT 2003, 9th International Conference, Proceedings - LNCS - ()
11573/252860 - 2002 -
Data integration under integrity constraints Andrea, Cali; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: Conference on Advanced Information System Engineering - (9783540437383; 9783540479611)
11573/197305 - 2002 -
On the expressive power of data integration systems Andrea, Calì; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
book: Conceptual Modeling - ER 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings - ()
11573/197318 - 2002 -
A formal framework for reasoning on UML class diagrams Andrea, Calì; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings - ()
11573/152117 - 2002 -
Programmazione orientata agli oggetti e Java Cadoli, Marco; De Giacomo, Giuseppe; Schaerf, Marco - 03a Saggio, Trattato Scientifico
11573/80474 - 2002 -
On the role of integrity constraints in data integration D., Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Andrea, Calì - 01a Articolo in rivista
paper: IEEE DATA ENGINEERING BULLETIN () pp. 39-45 - issn: - wos: (0) - scopus: (0)
11573/197319 - 2002 -
On the semantics of deliberation in IndiGolog: from theory to implementation De Giacomo, Giuseppe; Yves, Lesperance; Hector J., Levesque; Sebastian, Sardina - 04b Atto di convegno in volume
book: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 - ()
11573/151093 - 2002 -
Description logics for information integration Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo
book: Computational Logic: From Logic Programming into the Future (In honour of Bob Kowalski) - LNCS - (9783540439608)
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)
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 04b Atto di convegno in volume
book: ACM Principles of Database Systems - ()
11573/254104 - 2002 -
Rewriting of regular expressions and regular path queries Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe - 01a Articolo in rivista
paper: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 443-465 - issn: 0022-0000 - wos: WOS:000176291700002 (53) - scopus: 2-s2.0-10644261399 (78)
conference: 18th ACM Symposium on Principles of Database Systems (PHILADELPHIA, PENNSYLVANIA)
11573/197320 - 2002 -
Reasoning about actions and planning in LTL action theories Diego, Calvanese; De Giacomo, Giuseppe; Moshe Y., Vardi - 04b Atto di convegno in volume
book: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 - ()
11573/197321 - 2001 -
Accessing data integration systems through conceptual schemas Andrea, Cali; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04a Atto di comunicazione a congresso
book: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings - (9783540428664)
11573/252767 - 2001 -
Identification Constraints and Functional Dependencies in Description Logics D., Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: International Joint Conference on Artificial Intelligence 2001 - (9781558607774)
11573/42324 - 2001 -
Incremental Execution of Guarded Theories De Giacomo, Giuseppe; Hector J., Levesque; Sardina, Sebastian - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 495-525 - issn: 1529-3785 - wos: (0) - scopus: 2-s2.0-85017332829 (22)
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 237-271 - issn: 0218-8430 - wos: WOS:000169851800002 (51) - scopus: 2-s2.0-0035588024 (87)
11573/137004 - 2001 -
Reasoning in expressive description logics Diego, Calvanese; De Giacomo, Giuseppe; Nardi, Daniele; Lenzerini, Maurizio - 02a Capitolo o Articolo
book: Handbook of Automated Reasoning - (9780444508133)
11573/138004 - 2000 -
Reasoning in expressive Description Logics Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele - 02a Capitolo o Articolo
book: Handbook of Automated Reasoning - ()
11573/125055 - 2000 -
Modellazione e qualità dei dati in sistemi di Data Warehouse Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: AIIA NOTIZIE (Roma: s. n., 1988-2003) pp. 68-75 - issn: - wos: (0) - scopus: (0)
11573/249610 - 2000 -
Answering Regular Path Queries Using Views Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, M. Y. - 04b Atto di convegno in volume
book: IEEE International Conference on Data Engineering, ICDE-00 - ()
11573/252595 - 2000 -
Query Processing Using Views for Regular Path Queries with Inverse Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, M. Y. - 04b Atto di convegno in volume
book: ACM Principles of Database Systems - ()
11573/42317 - 2000 -
Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL De Giacomo, Giuseppe; Fabio, Massacci - 01a Articolo in rivista
paper: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 117-137 - issn: 0890-5401 - wos: WOS:000165754400008 (26) - scopus: 2-s2.0-0034634025 (40)
11573/150284 - 2000 -
Two Approaches to Efficient Open-World Reasoning De Giacomo, Giuseppe; Hector J., Levesque - 02a Capitolo o Articolo
book: Logic based Artificial Intelligence - ()
11573/136048 - 2000 -
Reasoning about actions foundations and applications De Giacomo, Giuseppe; Nardi, Daniele - 02a Capitolo o Articolo
book: Volume - ()
11573/42316 - 2000 -
ConGolog, a concurrent programming language based on the situation calculus De Giacomo, Giuseppe; Yves, Lespérance; Hector J., Levesque - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 109-169 - issn: 0004-3702 - wos: WOS:000089542800004 (177) - scopus: 2-s2.0-0342520920 (369)
11573/197019 - 2000 -
Answering queries using views over description logics knowledge bases Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
conference: 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000) (AUSTIN, TX)
book: AAAI'00 - (9780262511124)
11573/250781 - 2000 -
Containment of Conjunctive Regular Path Queries with Inverse Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 04b Atto di convegno in volume
book: Principles of Knowledge Representation and Reasoning - ()
11573/251213 - 2000 -
View-Based Query Processing and Constraint Satisfaction Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 04b Atto di convegno in volume
book: IEEE Symposium on Logic in Computer Science - ()
11573/244328 - 1999 -
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: International Joint Conference on Artificial Intelligence, IJCAI-99 - ()
Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 02a Capitolo o Articolo
book: Fundamentals of Data Warehouses - ()
11573/244469 - 1999 -
Modeling and Querying Semi-Structured Data Calvanese, D; De Giacomo, Giuseppe; Lenzerini, Maurizio - 02a Capitolo o Articolo
11573/150555 - 1999 -
An incremental interpreter for high-level
programs with sensing De Giacomo, Giuseppe; Hector J., Levesque - 02a Capitolo o Articolo
book: Logical foundations of cognitive agents:Contributions in honor of Ray Reiter - ()
11573/197296 - 1999 -
Progression using regression and sensors De Giacomo, Giuseppe; Hector J., Levesque - 04b Atto di convegno in volume
book: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. - ()
11573/244592 - 1999 -
A theory and implementation of cognitive mobile robots De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 759-785 - issn: 0955-792X - wos: WOS:000084324700007 (7) - scopus: 2-s2.0-0033326149 (19)
11573/197298 - 1999 -
Automata-Theoretic Approach to Planning for Temporally
Extended Goals De Giacomo, Giuseppe; Moshe Y., Vardi - 04b Atto di convegno in volume
book: Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings - ()
11573/245906 - 1999 -
Minimal knowledge approach to reasoning about actions and Sensing De Giacomo, Giuseppe; Rosati, Riccardo - 01a Articolo in rivista
paper: ELECTRONIC TRANSACTIONS ON ARTIFICIAL INTELLIGENCE (European Coordinating Committee for Artificial Intelligence
(ECCAI)) pp. 1-18 - issn: - wos: (0) - scopus: (0)
11573/244084 - 1999 -
Queries and Constraints on Semi-structured Data Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: Advanced Information Systems Engineering, 11th International Conference CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings - (9783540661573)
11573/42834 - 1999 -
Representing and Reasoning on XML Documents: a Description Logic Approach Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
paper: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 295-318 - issn: 0955-792X - wos: WOS:000081607000003 (54) - scopus: 2-s2.0-0032592922 (76)
11573/242684 - 1999 -
Rewriting of Regular Expressions and Regular Path Queries Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi - 04b Atto di convegno in volume
book: ACM Principles of Database Systems, PODS-99 - ()
11573/245241 - 1999 -
Data Integration and Reconciliation in Data Warehousing: Conceptual Modeling and Reasoning Support Diego, Calvanese; De Giacomo, Giuseppe; Rosati, Riccardo - 02a Capitolo o Articolo
11573/42322 - 1999 -
Reasoning about nondeterministic and concurrent actions: a process algebra approach Xiao Jun, Chen; De Giacomo, Giuseppe - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 63-98 - issn: 0004-3702 - wos: WOS:000078846400003 (7) - scopus: 2-s2.0-0032666305 (8)
11573/242341 - 1998 -
On the Decidability of Query Containment under Constraints Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
conference: Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Seattle, USA)
book: ACM Principles of Database Systems, PODS-98 - ()
11573/202069 - 1998 -
Knowledge Representation approach to information integration Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: AAAI Workshop on AI and Information Integration - ()
11573/202070 - 1998 -
Source Integration in data warehousing Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Workshop on Databases and expret Systems Applications - ()
11573/242515 - 1998 -
Information Integration: Conceptual Modeling and Reasoning Support Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: IEEE conference on cooperative information systems (COOPIS-98) - ()
11573/242733 - 1998 -
Description Logic Framework for Information Integration Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Sixth International Conference on Principles of Knowledge Representation and Reasoning , KR-98 - ()
11573/155598 - 1998 -
Cognitive Robotics: Proceedings of the AAAI 1998
Fall Symposium De Giacomo, Giuseppe - 06a Curatela
11573/155633 - 1998 -
Proceedings of the 1998 Description Logic Workshop (DL'98) De Giacomo, Giuseppe; Enrico, Franconi; Robert M., Macgregor; Werner, Nutt; Christopher A., Welty - 06a Curatela
11573/197045 - 1998 -
Execution monitoring of high-level robot programs De Giacomo, Giuseppe; Ray, Reiter; Mikhail, Soutchanski - 04b Atto di convegno in volume
book: KR'98 - ()
11573/197041 - 1997 -
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus De Giacomo, Giuseppe; Hector J., Levesque; Yves, Lesperance - 04b Atto di convegno in volume
book: IJCAI'97 - ()
11573/242826 - 1997 -
Planning with Sensing for a Mobile Robot De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04b Atto di convegno in volume
book: ECP-97 - (9783540639121)
11573/247611 - 1997 -
Description Logic-based Framework for Planning with Sensing Actions De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: International Workshop on Description Logics (DL'97) - ()
11573/246857 - 1997 -
A Uniform Framework for Concept Definitions in Description Logics De Giacomo, Giuseppe; Lenzerini, Maurizio - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 87-110 - issn: 1076-9757 - wos: WOS:A1997WX28300001 (18) - scopus: 2-s2.0-0002400462 (35)
11573/197042 - 1997 -
Representing and Reasoning on SGML Documents Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio - 04b Atto di convegno in volume
book: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings - ()
11573/42318 - 1996 -
Intensional query answering by partial evaluation De Giacomo, Giuseppe - 01a Articolo in rivista
paper: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS (-Boston : Kluwer Academic Publishers) pp. 205-233 - issn: 0925-9902 - wos: (0) - scopus: 2-s2.0-0030287532 (9)
11573/42319 - 1996 -
Eliminating "converse" from converse PDL De Giacomo, Giuseppe - 01a Articolo in rivista
paper: JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 193-208 - issn: 0925-8531 - wos: (0) - scopus: 2-s2.0-0000520202 (15)
11573/197276 - 1996 -
Tableaux and Algorithms for Propositional Dynamic Logic
with Converse De Giacomo, Giuseppe; Fabio, Massacci - 04b Atto di convegno in volume
book: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings - ()
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 - ()