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