default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe De Giacomo
Person information
- affiliation: University of Oxford, UK
- affiliation (former): Sapienza University of Rome, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j61]Ronen I. Brafman
, Giuseppe De Giacomo:
Regular decision processes. Artif. Intell. 331: 104113 (2024)- [j60]Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo:
Temporally extended goal recognition in fully observable non-deterministic domain models. Appl. Intell. 54(11-12): 470-489 (2024) - [c291]Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan:
Abstraction of Situation Calculus Concurrent Game Structures. AAAI 2024: 10624-10634 - [c290]Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655 - [c289]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI 2024: 22695 - [c288]Luigi Bonassi, Giuseppe De Giacomo, Alfonso Emilio Gerevini, Enrico Scala:
Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic. ECAI 2024: 1262-1269 - [c287]Gabriel Paludo Licks, Fabio Patrizi, Giuseppe De Giacomo:
Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes. ECAI 2024: 1373-1380 - [c286]Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte:
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. FM (1) 2024: 579-599 - [c285]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Stochastic Services for LTLf Goal Specifications. FoIKS 2024: 298-316 - [c284]Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin:
Planning with Object Creation. ICAPS 2024: 104-113 - [c283]Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin:
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. IJCAI 2024: 3232-3240 - [c282]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. IJCAI 2024: 3631-3641 - [c281]Augusto B. Corrêa, Giuseppe De Giacomo:
Lifted Planning: Recent Advances in Planning Using First-Order Representations. IJCAI 2024: 8010-8019 - [c280]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract). IJCAI 2024: 8378-8383 - [c279]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. KR 2024 - [c278]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
LTLf Goal-oriented Service Composition. PMAI@ECAI 2024: 35-46 - [e6]Giuseppe De Giacomo, Valeria Fionda, Fabiana Fournier, Antonio Ielo, Lior Limonad, Marco Montali:
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), Santiago de Compostela, Spain, October 19, 2024. CEUR Workshop Proceedings 3779, CEUR-WS.org 2024 [contents] - [i38]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. CoRR abs/2404.16163 (2024) - [i37]Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu:
Learning to Coordinate without Communication under Incomplete Information. CoRR abs/2409.12397 (2024) - [i36]Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti:
Computational Grounding of Responsibility Attribution and Anticipation in LTLf. CoRR abs/2410.14544 (2024) - [i35]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstracting Situation Calculus Action Theories. CoRR abs/2410.14712 (2024) - 2023
- [j59]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Digital twin composition in smart manufacturing via Markov decision processes. Comput. Ind. 149: 103916 (2023) - [j58]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77: 1087-1112 (2023) - [j57]Giuseppe De Giacomo, Francesco Fuggitti, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi:
A tool for declarative Trace Alignment via automated planning. Softw. Impacts 16: 100505 (2023) - [j56]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14(1): 11:1-11:19 (2023) - [c277]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Reactive Synthesis of Dominant Strategies. AAAI 2023: 6228-6235 - [c276]Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI 2023: 7227-7234 - [c275]Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo:
Automata Cascades: Expressivity and Sample Complexity. AAAI 2023: 9588-9595 - [c274]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS 2023: 61-69 - [c273]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo:
AIDA: A Tool for Resiliency in Smart Manufacturing. CAiSE Forum 2023: 112-120 - [c272]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
FOND Planning for Pure-Past Linear Temporal Logic Goals. ECAI 2023: 279-286 - [c271]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. ECAI 2023: 533-540 - [c270]Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. EUMAS 2023: 133-149 - [c269]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
Symbolic sc ltlf Best-Effort Synthesis. EUMAS 2023: 228-243 - [c268]Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu:
sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS 2023: 263-279 - [c267]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI 2023: 3112-3122 - [c266]Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo:
Towards ILP-Based LTL f Passive Learning. ILP 2023: 30-45 - [c265]Elena Umili, Roberto Capobianco, Giuseppe De Giacomo:
Grounding LTLf Specifications in Image Sequences. KR 2023: 668-678 - [c264]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Stochastic Best-Effort Strategies for Borel Goals. LICS 2023: 1-13 - [c263]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA 2023: 73-77 - [c262]Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi:
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA 2023: 93-98 - [i34]Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. CoRR abs/2302.03384 (2023) - [i33]Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR abs/2303.00516 (2023) - [i32]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR abs/2305.14222 (2023) - [i31]Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo:
Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models. CoRR abs/2306.08680 (2023) - [i30]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
Symbolic LTLf Best-Effort Synthesis. CoRR abs/2308.15178 (2023) - [i29]Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu:
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR abs/2308.15184 (2023) - [i28]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. CoRR abs/2308.15188 (2023) - [i27]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. CoRR abs/2311.18114 (2023) - 2022
- [j55]Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña:
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302: 103598 (2022) - [j54]Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Giuseppe De Giacomo:
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. Future Internet 14(3): 78 (2022) - [j53]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61(2): 139-163 (2022) - [j52]Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling:
Measuring the interestingness of temporal logic behavioral specifications in process mining. Inf. Syst. 107: 101920 (2022) - [j51]Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali:
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. 31(4): 68:1-68:44 (2022) - [c261]Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo:
Iterative Depth-First Search for FOND Planning. ICAPS 2022: 90-99 - [c260]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. PMAI@IJCAI 2022: 93-96 - [c259]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. PMAI@IJCAI 2022: 101-104 - [c258]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI 2022: 2525-2531 - [c257]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI 2022: 2553-2560 - [c256]Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu:
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI 2022: 2591-2598 - [c255]Shufang Zhu, Giuseppe De Giacomo:
Synthesis of Maximally Permissive Strategies for LTLf Specifications. IJCAI 2022: 2783-2789 - [c254]Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo:
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. IJCAI 2022: 3408-3415 - [c253]Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña:
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI 2022: 5722-5726 - [c252]Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. KR 2022 - [c251]Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022 - [c250]Elena Umili, Roberto Capobianco, Giuseppe De Giacomo:
Grounding LTLf Specifications in Images. NeSy 2022: 45-63 - [c249]Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu:
Compositional Safety LTL Synthesis. VSTTE 2022: 1-19 - [e5]Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti:
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Wien, Austria, July 23, 2022. CEUR Workshop Proceedings 3310, CEUR-WS.org 2022 [contents] - [i26]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
Augmented Business Process Management Systems: A Research Manifesto. CoRR abs/2201.12855 (2022) - [i25]Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo:
Iterative Depth-First Search for Fully Observable Non-Deterministic Planning. CoRR abs/2204.04322 (2022) - [i24]Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. CoRR abs/2204.09960 (2022) - [i23]Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo:
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. CoRR abs/2205.01053 (2022) - [i22]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains. CoRR abs/2205.09201 (2022) - [i21]Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo:
Automata Cascades: Expressivity and Sample Complexity. CoRR abs/2211.14028 (2022) - 2021
- [j50]Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente:
Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. 117: 97-110 (2021) - [j49]Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo:
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. J. Artif. Intell. Res. 70: 1335-1371 (2021) - [c248]Giuseppe De Giacomo, Marco Favorito:
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS 2021: 122-130 - [c247]Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella:
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. Next-Gen Digital Services 2021: 3-15 - [c246]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Digital Twins Composition via Markov Decision Processes. ITBPM@BPM 2021: 44-49 - [c245]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI 2021: 1766-1772 - [c244]Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici:
Intensional and Extensional Views in DL-Lite Ontologies. IJCAI 2021: 1822-1828 - [c243]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI 2021: 1852-1858 - [c242]Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli:
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021: 1859-1865 - [c241]Alessandro Ronca, Giuseppe De Giacomo:
Efficient PAC Reinforcement Learning in Regular Decision Processes. IJCAI 2021: 2026-2032 - [c240]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR 2021: 42-51 - [c239]Giuseppe De Giacomo, Yves Lespérance:
The Nondeterministic Situation Calculus. KR 2021: 216-226 - [c238]Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli:
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR 2021: 227-236 - [c237]Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu:
Synthesis with Mandatory Stop Actions. KR 2021: 237-246 - [i20]Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. CoRR abs/2102.11184 (2021) - [i19]Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo:
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models. CoRR abs/2103.11692 (2021) - [i18]Alessandro Ronca, Giuseppe De Giacomo:
Efficient PAC Reinforcement Learning in Regular Decision Processes. CoRR abs/2105.06784 (2021) - 2020
- [j48]Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter:
Non-terminating processes in the situation calculus. Ann. Math. Artif. Intell. 88(5-6): 623-640 (2020) - [c236]Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska:
ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI 2020: 2806-2813 - [c235]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095 - [c234]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Restraining Bolts for Reinforcement Learning Agents. AAAI 2020: 13659-13662 - [c233]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS 2020: 20-28 - [c232]Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS 2020: 517-521 - [c231]Giuseppe De Giacomo, Yves Lespérance:
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. AAMAS 2020: 294-302 - [c230]Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending DL-LiteR TBoxes with View Definitions. Description Logics 2020 - [c229]Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling:
A Temporal Logic-Based Measurement Framework for Process Mining. ICPM 2020: 113-120 - [c228]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI 2020: 1674-1680 - [c227]Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin:
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI 2020: 4959-4965 - [c226]Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin:
High-level Programming via Generalized Planning and LTL Synthesis. KR 2020: 152-161 - [c225]Giuseppe De Giacomo, Bastien Maubert, Aniello Murano:
Nondeterministic Strategies and their Refinement in Strategy Logic. KR 2020: 294-303 - [c224]Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu:
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR 2020: 304-314 - [c223]Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca:
Temporal Logic Monitoring Rewards via Transducers. KR 2020: 860-870 - [e4]Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang:
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). Frontiers in Artificial Intelligence and Applications 325, IOS Press 2020, ISBN 978-1-64368-100-9 [contents] - [i17]Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali:
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. CoRR abs/2004.01859 (2020)
2010 – 2019
- 2019
- [j47]Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Acquiring Ontology Axioms through Mappings to Data Sources. Future Internet 11(12): 260 (2019) - [c222]Giuseppe De Giacomo:
WhiteMech: White-Box Self-Programming Mechanisms. ICCI*CC 2019: 3 - [c221]Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi:
Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653 - [c220]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. Canadian AI 2019: 173-185 - [c219]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning under LTL Environment Specifications. ICAPS 2019: 31-39 - [c218]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS 2019: 128-136 - [c217]Ronen I. Brafman, Giuseppe De Giacomo:
Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables. AAMAS 2019: 1844-1846 - [c216]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211 - [c215]Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente:
Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC 2019: 102-118 - [c214]Ronen I. Brafman, Giuseppe De Giacomo:
Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains. IJCAI 2019: 1602-1608 - [c213]Ronen I. Brafman, Giuseppe De Giacomo:
Regular Decision Processes: A Model for Non-Markovian Domains. IJCAI 2019: 5516-5522 - [c212]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid temporal situation calculus. SAC 2019: 1162-1164 - [i16]Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin:
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. CoRR abs/1909.12135 (2019) - [i15]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLf Synthesis with Fairness and Stability Assumptions. CoRR abs/1912.07804 (2019) - [i14]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR abs/1912.11203 (2019) - 2018
- [j46]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
First-order μ-calculus over generic transition systems and applications to the situation calculus. Inf. Comput. 259(3): 328-347 (2018) - [c211]Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi:
LTLf/LDLf Non-Markovian Rewards. AAAI 2018: 1771-1778 - [c210]Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168 - [c209]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Hierarchical Agent Supervision. AAMAS 2018: 1432-1440 - [c208]Alessio Cecconi, Claudio Di Ciccio, Giuseppe De Giacomo, Jan Mendling:
Interestingness of Traces in Declarative Process Mining: The Janus LTLp _f Approach. BPM 2018: 121-138 - [c207]Manuel Namici, Giuseppe De Giacomo:
Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. Description Logics 2018 - [c206]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. IJCAI 2018: 1699-1706 - [c205]Giuseppe De Giacomo, Sasha Rubin:
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. IJCAI 2018: 4729-4735 - [c204]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Synthesis under Assumptions. KR 2018: 615-616 - [p6]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Using Ontologies for Semantic Data Integration. A Comprehensive Guide Through the Italian Database Research 2018: 187-202 - [r1]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) 2018 - [i13]Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña:
Situation Calculus for Synthesis of Manufacturing Controllers. CoRR abs/1807.04561 (2018) - [i12]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. CoRR abs/1807.04861 (2018) - [i11]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Reinforcement Learning for LTLf/LDLf Goals. CoRR abs/1807.06333 (2018) - [i10]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning and Synthesis Under Assumptions. CoRR abs/1807.06777 (2018) - 2017
- [c203]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction in Situation Calculus Action Theories. AAAI 2017: 1048-1055 - [c202]Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi:
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. AAAI 2017: 3555-3561 - [c201]Ronen I. Brafman, Giuseppe De Giacomo, Massimo Mecella, Sebastian Sardiña:
Service Composition in Stochastic Settings. AI*IA 2017: 159-171 - [c200]Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente:
Linking Data and BPMN Processes to Achieve Executable Models. CAiSE 2017: 612-628 - [c199]Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin:
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. IJCAI 2017: 873-879 - [c198]Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi:
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime. SEBD 2017: 165 - [c197]Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente:
Practical Update Management in Ontology-Based Data Access. ISWC (1) 2017: 225-242 - [c196]Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi:
On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. WIMS 2017: 10:1-10:6 - [i9]Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi:
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version). CoRR abs/1706.08100 (2017) - 2016
- [j45]Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña:
Agent planning programs. Artif. Intell. 231: 64-106 (2016) - [j44]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded situation calculus action theories. Artif. Intell. 237: 172-203 (2016) - [j43]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica 104(4): 705-739 (2016) - [c195]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña:
Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI 2016: 950-956 - [c194]Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardiña:
Computing Trace Alignment against Declarative Process Models through Planning. ICAPS 2016: 367-375 - [c193]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Game Structures and GDL. ECAI 2016: 408-416 - [c192]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Agent Supervision in the Situation Calculus. IJCAI 2016: 922-928 - [c191]Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio:
Imperfect-Information Games and Generalized Planning. IJCAI 2016: 1037-1043 - [c190]Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf and LDLf Synthesis under Partial Observability. IJCAI 2016: 1044-1050 - [c189]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338 - [c188]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
On First-Order μ-Calculus over Situation Calculus Action Theories. KR 2016: 411-420 - [c187]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Situation-Determined Agents and their Supervision. KR 2016: 517-520 - [c186]Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo:
Updating DL-Lite Ontologies Through First-Order Queries. ISWC (1) 2016: 167-183 - 2015
- [c185]Chitta Baral, Giuseppe De Giacomo:
Knowledge Representation and Reasoning: What's Hot. AAAI 2015: 4316-4317 - [c184]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Synchronous Games in the Situation Calculus. AAMAS 2015: 1675-1676 - [c183]Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Declarative Process Modeling in BPMN. CAiSE 2015: 84-100 - [c182]Giuseppe De Giacomo, Moshe Y. Vardi:
Synthesis for LTL and LDL on Finite Traces. IJCAI 2015: 1558-1564 - [c181]Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI 2015: 2840-2846 - [c180]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics (Extended Abstract). IJCAI 2015: 4163-4167 - [c179]Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo:
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI 2015: 4247-4253 - [c178]Giuseppe De Giacomo, Hector J. Levesque:
Adding DL-Lite TBoxes to Proper Knowledge Bases. ISWC (1) 2015: 305-321 - [c177]Giuseppe De Giacomo, Valsamis Ntouskos, Fabio Patrizi, Stavros Vassos, Davide Aversa:
Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper). SOCA 2015: 101-107 - [c176]Giuseppe De Giacomo:
Temporal Reasoning in Bounded Situation Calculus. TIME 2015: 2 - [i8]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories. CoRR abs/1509.02012 (2015) - [i7]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. CoRR abs/1509.08979 (2015) - 2014
- [c175]Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali:
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. AAAI 2014: 1027-1033 - [c174]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Human Driven Data-Centric Dynamic Systems. AAAI Spring Symposia 2014 - [c173]Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. ICAPS 2014 - [c172]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
Progression and verification of situation calculus agents with bounded beliefs. AAMAS 2014: 141-148 - [c171]Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Verification of data-aware commitment-based multiagent system. AAMAS 2014: 157-164 - [c170]Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. BPM 2014: 1-17 - [c169]Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. CILC 2014: 84-98 - [c168]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI 2014: 369-374 - [p5]Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi:
Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214 - [e3]Chitta Baral, Giuseppe De Giacomo, Thomas Eiter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press 2014, ISBN 978-1-57735-657-8 [contents] - [i6]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. CoRR abs/1402.0569 (2014) - [i5]Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
LTLf and LDLf Monitoring: A Technical Report. CoRR abs/1405.0054 (2014) - 2013
- [j42]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data complexity of query answering in description logics. Artif. Intell. 195: 335-360 (2013) - [j41]Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Automatic behavior composition synthesis. Artif. Intell. 196: 106-142 (2013) - [j40]Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
Finite model reasoning on UML class diagrams via constraint programming. Intelligenza Artificiale 7(1): 57-65 (2013) - [j39]Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. 46: 651-686 (2013) - [j38]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013) - [j37]Cristina Civili, Marco Console, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Lorenzo Lepore, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo:
MASTRO STUDIO: Managing Ontology-Based Data Access applications. Proc. VLDB Endow. 6(12): 1314-1317 (2013) - [c167]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA 2013: 71-80 - [c166]Yuxiao Hu, Giuseppe De Giacomo:
A Generic Technique for Synthesizing Bounded Finite-State Controllers. ICAPS 2013 - [c165]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics 2013: 573-586 - [c164]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Epistemic Situation Calculus Theories. IJCAI 2013: 846-853 - [c163]Giuseppe De Giacomo, Moshe Y. Vardi:
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. IJCAI 2013: 854-860 - [c162]Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña:
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI 2013: 1176-1182 - [c161]Diego Calvanese, Giuseppe De Giacomo, Marco Montali:
Foundations of data-aware process analysis: a database theory perspective. PODS 2013: 1-12 - [c160]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of relational data-centric dynamic systems with external services. PODS 2013: 163-174 - [c159]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems. RR 2013: 50-64 - 2012
- [j36]Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati:
Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. 21(2): 111-140 (2012) - [j35]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012) - [j34]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Processing under GLAV Mappings for Relational and Graph Databases. Proc. VLDB Endow. 6(2): 61-72 (2012) - [c158]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI 2012 - [c157]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI 2012: 719-725 - [c156]Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise:
On supervising agents in situation-determined ConGolog. AAMAS 2012: 1031-1038 - [c155]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali:
Verification of Description Logic Knowledge and Action Bases. ECAI 2012: 103-108 - [c154]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Semantically-Governed Data-Aware Processes. KiBP@KR 2012: 21-32 - [c153]Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio:
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR 2012 - [c152]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories and Decidable Verification. KR 2012 - [c151]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE 2012 - [c150]Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella:
Goal-Based Composition of Stateful Services for Smart Homes. OTM Conferences (1) 2012: 194-211 - [c149]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops 2012: 667-668 - [c148]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Ontology-Based Governance of Data-Aware Processes. RR 2012: 25-41 - [i4]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR abs/1203.0024 (2012) - 2011
- [j33]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
The MASTRO system for ontology-based data access. Semantic Web 2(1): 43-53 (2011) - [c147]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Higher-Order Description Logics for Domain Metamodeling. AAAI 2011: 183-188 - [c146]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Foundations of Relational Artifacts Verification. BPM 2011: 379-395 - [c145]Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis:
Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics 2011 - [c144]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011 - [c143]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Simplifying schema mappings. ICDT 2011: 114-125 - [c142]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832 - [c141]Yuxiao Hu, Giuseppe De Giacomo:
Generalized Planning: Synthesizing Plans that Work for Multiple Environments. IJCAI 2011: 918-923 - [c140]Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner:
Computing Infinite Plans for LTL Goals Using a Classical Planner. IJCAI 2011: 2003-2008 - 2010
- [c139]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. AAAI 2010: 279-284 - [c138]Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña:
Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI 2010: 297-302 - [c137]Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Agent programming via planning programs. AAMAS 2010: 491-498 - [c136]Giuseppe De Giacomo, Paolo Felli:
Agent composition synthesis based on ATL. AAMAS 2010: 499-506 - [c135]Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati:
Conjunctive Artifact-Centric Services. ICSOC 2010: 318-333 - [c134]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010 - [c133]Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Generalized Planning with Loops under Strong Fairness Constraints. KR 2010 - [i3]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010)
2000 – 2009
- 2009
- [j32]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009) - [c132]Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi:
Composition of Partially Observable Services Exporting their Behaviour. ICAPS 2009 - [c131]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197 - [c130]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35 - [c129]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
On Higher-Order Description Logics. Description Logics 2009 - [c128]Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su:
Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143 - [c127]Sebastian Sardiña, Giuseppe De Giacomo:
Composition of ConGolog Programs. IJCAI 2009: 904-910 - [c126]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati:
Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356 - [c125]Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella:
On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352 - [c124]Giuseppe De Giacomo, Fabio Patrizi:
Automated Composition of Nondeterministic Stateful Services. WS-FM 2009: 147-160 - [p4]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña:
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Multi-Agent Programming, Languages, Tools and Applications 2009: 31-72 - [p3]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi:
Using OWL in Data Integration. Semantic Web Information Management 2009: 397-424 - 2008
- [j31]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi:
Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. 31(3): 18-22 (2008) - [j30]Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi:
Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19(2): 429-451 (2008) - [j29]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4-5): 360-384 (2008) - [j28]Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Linking Data to Ontologies. J. Data Semant. 10: 133-173 (2008) - [j27]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3): 22:1-22:31 (2008) - [c123]Sebastian Sardiña, Giuseppe De Giacomo:
Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS 2008: 304-312 - [c122]Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde:
A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484 - [c121]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Towards Higher-Order DL-Lite. Description Logics 2008 - [c120]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Path-Based Identification Constraints in Description Logics. KR 2008: 231-241 - [c119]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251 - [c118]Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo:
Behavior Composition in the Presence of Failure. KR 2008: 640-650 - [c117]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi:
Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47 - 2007
- [j26]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reason. 39(3): 385-429 (2007) - [j25]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. 371(3): 169-182 (2007) - [c116]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408 - [c115]Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo:
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI 2007: 1063-1069 - [c114]Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47 - [c113]Massimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo:
Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. BPM 2007: 182-197 - [c112]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati:
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics 2007 - [c111]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Actions and Programs over Description Logic Ontologies. Description Logics 2007 - [c110]Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi:
AutomaticWorkflows Composition of Mobile Services. ICWS 2007: 823-830 - [c109]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279 - [c108]Giuseppe De Giacomo, Sebastian Sardiña:
Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI 2007: 1866-1871 - [c107]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Can OWL Model Football Leagues? OWLED 2007 - [c106]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142 - [c105]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Ontology-based Database Access. SEBD 2007: 324-331 - 2006
- [c104]Giuseppe De Giacomo, Massimo Mecella:
Automatic Web Service Composition. IEEE SCC 2006 - [c103]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006: 1271-1276 - [c102]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006 - [c101]Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese:
ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912 - [c100]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. KR 2006: 260-270 - [c99]Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
On the Limits of Planning over Belief States under Strict Uncertainty. KR 2006: 463-471 - [c98]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006 - [c97]Fahima Cheikh, Giuseppe De Giacomo, Massimo Mecella:
Automatic web services composition in trustaware communities. SWS 2006: 43-52 - 2005
- [j24]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005) - [j23]Diego Calvanese, Giuseppe De Giacomo:
Data Integration: A Logic-Based Perspective. AI Mag. 26(1): 59-70 (2005) - [j22]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. 14(4): 333-376 (2005) - [j21]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005) - [c96]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607 - [c95]Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati:
QuOnto: Querying Ontologies. AAAI 2005: 1670-1671 - [c94]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella:
Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005 - [c93]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105 - [c92]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. Description Logics 2005 - [c91]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005: 321-336 - [c90]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella:
Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526 - [c89]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tailoring OWL for Data Intensive Ontologies. OWLED 2005 - [c88]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella:
Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15 - [c87]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies. SWAP 2005 - [c86]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella:
Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624 - [i2]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment and Answering under Description Logics Constraints. CoRR abs/cs/0507067 (2005) - 2004
- [j20]Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. 41(2-4): 259-299 (2004) - [j19]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data integration under integrity constraints. Inf. Syst. 29(2): 147-163 (2004) - [c85]Giuseppe De Giacomo, Toni Mancini:
Scaling Up Reasoning about Actions Using Relational Database Technology. AAAI 2004: 245-256 - [c84]Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523 - [c83]Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo:
Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004 - [c82]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 - [c81]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004: 144-157 - [c80]Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese:
Synthesis of underspecified composite e-services based on automated reasoning. ICSOC 2004: 105-114 - [c79]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34 - [c78]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004: 469-478 - [c77]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251 - [c76]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425 - [c75]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
: A Tool for Automatic Composition ofServices Based on Logics of Programs. TES 2004: 80-94 - 2003
- [j18]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Reasoning on regular path queries. SIGMOD Rec. 32(4): 83-92 (2003) - [c74]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94 - [c73]Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90 - [c72]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003 - [c71]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 - [c70]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable Containment of Recursive Queries. ICDT 2003: 327-342 - [c69]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58 - [c68]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query containment. PODS 2003: 56-67 - [c67]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Containment Using Views. SEBD 2003: 467-474 - [c66]Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
A Foundational Vision of e-Services. WES 2003: 28-40 - [p2]Diego Calvanese, Giuseppe De Giacomo:
Expressive Description Logics. Description Logic Handbook 2003: 178-218 - [e2]Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003 [contents] - 2002
- [j17]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. 25(3): 39-45 (2002) - [j16]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64(3): 443-465 (2002) - [c65]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60 - [c64]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data Integration under Integrity Constraints. CAiSE 2002: 262-279 - [c63]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
2ATAs make DLs easy. Description Logics 2002 - [c62]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Expressive Power of Data Integration Systems. ER 2002: 338-350 - [c61]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002: 503-513 - [c60]Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602 - [c59]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña:
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR 2002: 603-614 - [c58]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370 - [c57]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Lossless Regular Views. PODS 2002: 247-258 - [c56]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002: 161-168 - [c55]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Data Integration at Work. SEBD 2002: 291-298 - 2001
- [j15]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001) - [j14]Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña:
Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001) - [c54]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61 - [c53]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Ontology of Integration and Integration of Ontologies. Description Logics 2001 - [c52]Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. ER 2001: 270-284 - [c51]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160 - [c50]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. SWWS 2001: 303-316 - [c49]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. The Emerging Semantic Web 2001 - [p1]Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini:
Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634 - 2000
- [j13]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2): 109-169 (2000) - [j12]Giuseppe De Giacomo, Fabio Massacci:
Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. 162(1-2): 117-137 (2000) - [c48]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000: 386-391 - [c47]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is Query Rewriting? CIA 2000: 51-59 - [c46]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Keys for Free in Description Logics. Description Logics 2000: 79-88 - [c45]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Answering Regular Path Queries Using Views. ICDE 2000: 389-398 - [c44]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185 - [c43]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is View-Based Query Rewriting? KRDB 2000: 17-27 - [c42]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371 - [c41]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
1990 – 1999
- 1999
- [j11]Xiao Jun Chen, Giuseppe De Giacomo:
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. 107(1): 63-98 (1999) - [j10]Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con:
The AAAI Fall Symposia. AI Mag. 20(3): 87-89 (1999) - [j9]Giuseppe De Giacomo, Riccardo Rosati:
Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999) - [j8]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9(3): 295-318 (1999) - [j7]Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty:
Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999) - [j6]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9(5): 759-785 (1999) - [j5]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Modeling and Querying Semi-Structured data . Netw. Inf. Syst. J. 2(2): 253-273 (1999) - [j4]Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Netw. Inf. Syst. J. 2(4): 413-432 (1999) - [c40]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438 - [c39]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16 - [c38]Giuseppe De Giacomo, Moshe Y. Vardi:
Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238 - [c37]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999: 84-89 - [c36]Giuseppe De Giacomo, Hector J. Levesque:
Projection Using Regression and Sensors. IJCAI 1999: 160-165 - [c35]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views in Description Logics. KRDB 1999: 6-10 - [c34]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204 - [c33]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Path Queries. SEBD 1999: 213-224 - [c32]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999: 73-78 - 1998
- [c31]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998: 205-210 - [c30]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291 - [c29]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197 - [c28]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998 - [c27]Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 - [c26]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Description Logic Framework for Information Integration. KR 1998: 2-13 - [c25]Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs. KR 1998: 453-465 - [c24]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Decidability of Query Containment under Constraints. PODS 1998: 149-158 - [c23]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending Semi-Structured Data. SEBD 1998: 87-102 - [e1]Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty:
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998. CEUR Workshop Proceedings 11, CEUR-WS.org 1998 [contents] - 1997
- [j3]Giuseppe De Giacomo, Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics. J. Artif. Intell. Res. 6: 87-110 (1997) - [c22]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997 - [c21]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997 - [c20]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Planning with Sensing for a Mobile Robot. ECP 1997: 156-168 - [c19]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997: 1221-1226 - [c18]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549 - [i1]Giuseppe De Giacomo, Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics. CoRR cs.AI/9703101 (1997) - 1996
- [j2]Giuseppe De Giacomo:
Intensional Query Answering by Partial Evaluation. J. Intell. Inf. Syst. 7(3): 205-233 (1996) - [j1]Giuseppe De Giacomo:
Eliminating "Converse" from Converse PDL. J. Log. Lang. Inf. 5(2): 193-208 (1996) - [c17]Giuseppe De Giacomo, Xiao Jun Chen:
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 1996: 658-663 - [c16]Giuseppe De Giacomo, Fabio Massacci:
Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996: 613-627 - [c15]Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996: 37-48 - [c14]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing SGML Documents in Description Logics. Description Logics 1996: 102-106 - [c13]Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci:
Exptime Tableaux for ALC. Description Logics 1996: 107-110 - [c12]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209 - [c11]Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. KR 1996: 316-327 - [c10]Giuseppe De Giacomo, Paolo Naggar:
Conceptual Data Model with Structured Objects for Statistical Database. SSDBM 1996: 168-175 - 1995
- [c9]Giuseppe De Giacomo, Maurizio Lenzerini:
PDL-based framework for reasoning about actions. AI*IA 1995: 103-114 - [c8]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246 - [c7]Giuseppe De Giacomo, Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995: 801-807 - [c6]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Increasing the Power of Structured Objects. KRDB 1995 - 1994
- [c5]Giuseppe De Giacomo, Maurizio Lenzerini:
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994: 205-212 - [c4]Giuseppe De Giacomo, Maurizio Lenzerini:
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994: 411-415 - [c3]Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994: 332-346 - 1992
- [c2]Giuseppe De Giacomo:
Intensional query answering by partial evaluation. CNKBS 1992: 18-20 - [c1]Giuseppe De Giacomo:
Intensional Query Answering: An Application of Partial Evaluation. LOPSTR 1992: 132-150
Coauthor Index
[j56] [c260] [c257] [i26] [c216] [j46] [r1] [c189] [c188] [c181] [c180] [c179] [i7] [c174] [c171] [c169] [i6] [j42] [j40] [j39] [j38] [c167] [c165] [c161] [c160] [c159] [j35] [j34] [c155] [c154] [c148] [i4] [j33] [c146] [c145] [c143] [c139] [i3] [c131] [c130] [c128] [c126] [p3] [j31] [j29] [j28] [j27] [c120] [c119] [c117] [j26] [j25] [c114] [c112] [c111] [c109] [c107] [c105] [c102] [c101] [c100] [c98] [j24] [j23] [j22] [j21] [c96] [c95] [c94] [c93] [c92] [c91] [c90] [c88] [c87] [c86] [i2] [j19] [c83] [c82] [c81] [c80] [c78] [c77] [c76] [c75] [j18] [c74] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [c66] [p2] [e2] [j17] [j16] [c65] [c64] [c63] [c62] [c61] [c60] [c58] [c57] [c56] [c55] [j15] [c54] [c53] [c52] [c51] [c50] [c49] [p1] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [j8] [j5] [j4] [c40] [c39] [c37] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c24] [c23] [c22] [c18] [c14] [c8] [c6]
[c247] [c244] [c230] [j47] [c216] [p6] [r1] [c198] [c196] [c189] [c180] [i7] [j42] [j38] [j37] [j35] [j34] [c157] [c151] [c149] [j33] [c147] [c144] [c143] [c139] [i3] [j32] [c131] [c130] [c129] [c126] [p3] [j31] [j29] [j28] [j27] [c121] [c120] [c119] [c117] [j26] [j25] [c116] [c112] [c111] [c109] [c107] [c106] [c105] [c103] [c102] [c100] [c98] [j22] [c96] [c95] [c94] [c93] [c92] [c91] [c89] [c87] [i2] [j19] [c82] [c81] [c80] [c79] [c78] [c77] [c76] [c75] [j18] [c74] [c73] [c71] [c69] [c68] [c67] [c66] [j17] [j16] [c65] [c64] [c63] [c62] [c61] [c58] [c57] [c56] [c55] [j15] [c54] [c53] [c52] [c51] [c50] [c49] [p1] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [j8] [j5] [c40] [c39] [c37] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c26] [c24] [c23] [j3] [c22] [c18] [i1] [c15] [c14] [c11] [c9] [c8] [c7] [c6] [c5] [c4] [c3]
[c289] [c287] [j58] [j57] [c276] [c262] [i33] [j55] [c260] [c257] [c253] [i22] [c238] [c234] [c232] [c226] [c223] [c218] [j46] [c211] [i13] [i11] [c202] [i9] [j45] [j44] [j43] [c195] [c188] [c179] [c177] [i8] [c173] [c172] [c168] [p5] [j41] [c167] [c165] [c164] [c159] [c158] [c152] [c140] [c138] [c137] [c133] [c132] [c124] [j31] [j30] [c118] [c115] [c110]
[j49] [j47] [c216] [p6] [r1] [c186] [c180] [j42] [j37] [j36] [j35] [c157] [c151] [c149] [j33] [c147] [c144] [c135] [j32] [c131] [c129] [c126] [p3] [j29] [j28] [c121] [c120] [c119] [c117] [j26] [c116] [c112] [c111] [c109] [c107] [c106] [c105] [c103] [c102] [c100] [c98] [c96] [c95] [c93] [c92] [c89] [c87] [c82] [c81] [c79] [c78] [c77] [c76] [c73] [j15] [j9] [j6] [j4] [c39] [c30] [c29] [c27] [c26] [c21] [c20] [c12]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
