De Giacomo, Giuseppe

84 publications

AAAI 2025 LTLf Synthesis Under Unreliable Input Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi

IJCAI 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

IJCAI 2025 Responsibility Anticipation and Attribution in LTLf Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti

AAAI 2025 Situation Calculus Temporally Lifted Abstractions for Generalized Planning Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli

IJCAI 2025 Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu

AAAI 2024 Abstraction of Situation Calculus Concurrent Game Structures Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan

IJCAI 2024 Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

IJCAI 2024 Lifted Planning: Recent Advances in Planning Using First-Order Representations Augusto B. Corrêa, Giuseppe De Giacomo

AAAI 2024 Mimicking Behaviors in Separated Domains (Abstract Reprint) Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

IJCAI 2024 Planning for Temporally Extended Goals in Pure-past Linear Temporal Logic (Extended Abstract) Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala

AAAI 2024 Pure-past Action Masking Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli

IJCAI 2024 The Trembling-Hand Problem for LTLf Planning Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi

IJCAI 2023 Abstraction of Nondeterministic Situation Calculus Action Theories Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

AAAI 2023 Automata Cascades: Expressivity and Sample Complexity Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo

AAAI 2023 Exploiting Multiple Abstractions in Episodic RL via Reward Shaping Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi

JAIR 2023 Mimicking Behaviors in Separated Domains Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

AAAI 2023 Reactive Synthesis of Dominant Strategies Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

IJCAI 2022 Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

IJCAI 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu

IJCAI 2022 Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo

IJCAI 2022 Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña

IJCAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications Shufang Zhu, Giuseppe De Giacomo

IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

IJCAI 2021 Best-Effort Synthesis: Doing Your Best Is Not Harder than Giving up Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

IJCAI 2021 Efficient PAC Reinforcement Learning in Regular Decision Processes Alessandro Ronca, Giuseppe De Giacomo

IJCAI 2021 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu

IJCAI 2021 HyperLDLf: A Logic for Checking Properties of Finite Traces Process Logs Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli

JAIR 2021 Instance-Level Update in DL-Lite Ontologies Through First-Order Rewriting Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo

IJCAI 2021 Intensional and Extensional Views in DL-Lite Ontologies Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici

AAAI 2020 ElGolog: A High-Level Programming Language with Memory of the Execution History Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska

AAAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi

IJCAI 2020 Pure-past Linear Temporal and Dynamic Logic on Finite Traces Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin

AAAI 2020 Restraining Bolts for Reinforcement Learning Agents Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi

IJCAI 2020 Synthesizing Strategies Under Expected and Exceptional Environment Behaviors Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2019 Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains Ronen I. Brafman, Giuseppe De Giacomo

IJCAI 2019 Regular Decision Processes: A Model for Non-Markovian Domains Ronen I. Brafman, Giuseppe De Giacomo

AAAI 2019 Unbounded Orchestrations of Transducers for Manufacturing Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi

IJCAI 2018 Abstraction of Agents Executing Online and Their Abilities in the Situation Calculus Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

IJCAI 2018 Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals Giuseppe De Giacomo, Sasha Rubin

AAAI 2018 LTLf/LDLf Non-Markovian Rewards Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi

AAAI 2018 Synthesis of Orchestrations of Transducers for Manufacturing Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan

AAAI 2017 Abstraction in Situation Calculus Action Theories Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

IJCAI 2017 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin

AAAI 2017 On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi

IJCAI 2016 Imperfect-Information Games and Generalized Planning Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio

IJCAI 2016 LTLf and LDLf Synthesis Under Partial Observability Giuseppe De Giacomo, Moshe Y. Vardi

IJCAI 2016 Online Agent Supervision in the Situation Calculus Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

AAAI 2016 Verifying ConGolog Programs on Bounded Situation Calculus Theories Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña

IJCAI 2015 Data Complexity of Query Answering in Description Logics (Extended Abstract) Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

IJCAI 2015 Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo

AAAI 2015 Knowledge Representation and Reasoning: What's Hot Chitta Baral, Giuseppe De Giacomo

IJCAI 2015 On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski

IJCAI 2015 Synthesis for LTL and LDL on Finite Traces Giuseppe De Giacomo, Moshe Y. Vardi

AAAI 2014 Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali

IJCAI 2013 Bounded Epistemic Situation Calculus Theories Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi

JAIR 2013 Description Logic Knowledge and Action Bases Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

IJCAI 2013 Linear Temporal Logic and Linear Dynamic Logic on Finite Traces Giuseppe De Giacomo, Moshe Y. Vardi

IJCAI 2013 Supremal Realizability of Behaviors with Uncontrollable Exogenous Events Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña

AAAI 2012 Ontology-Based Data Access with Dynamic TBoxes in DL-Lite Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

IJCAI 2011 Computing Infinite Plans for LTL Goals Using a Classical Planner Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner

IJCAI 2011 Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

IJCAI 2011 Generalized Planning: Synthesizing Plans That Work for Multiple Environments Yuxiao Hu, Giuseppe De Giacomo

AAAI 2011 Higher-Order Description Logics for Domain Metamodeling Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2010 Node Selection Query Languages for Trees Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

AAAI 2010 Two-Player Game Structures for Generalized Planning and Agent Composition Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña

IJCAI 2009 Composition of ConGolog Programs Sebastian Sardiña, Giuseppe De Giacomo

IJCAI 2007 Automatic Synthesis of New Behaviors from a Library of Available Behaviors Giuseppe De Giacomo, Sebastian Sardiña

AAAI 2007 Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo

IJCAI 2007 EQL-Lite: Effective First-Order Query Processing in Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2007 On the Approximation of Instance Level Update and Erasure in Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati

AAAI 2006 On the Update of Description Logic Ontologies at the Instance Level Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati

AAAI 2005 DL-Lite: Tractable Description Logics for Ontologies Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2005 QuOnto: Querying Ontologies Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati

AAAI 2004 Scaling up Reasoning About Actions Using Relational Database Technology Giuseppe De Giacomo, Toni Mancini

IJCAI 2001 Identification Constraints and Functional Dependencies in Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

AAAI 2000 Answering Queries Using Views over Description Logics Knowledge Bases Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

IJCAI 1999 Projection Using Regression and Sensors Giuseppe De Giacomo, Hector J. Levesque

IJCAI 1999 Reasoning in Expressive Description Logics with Fixpoints Based on Automata on Infinite Trees Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

AAAI 1998 What Can Knowledge Representation Do for Semi-Structured Data? Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

JAIR 1997 A Uniform Framework for Concept Definitions in Description Logics Giuseppe De Giacomo, Maurizio Lenzerini

IJCAI 1997 Reasoning About Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

AAAI 1996 Reasoning About Nondeterministic and Concurrent Actions: A Process Algebra Approach Giuseppe De Giacomo, Xiao Jun Chen

IJCAI 1995 What's in an Aggregate: Foundations for Description Logics with Tuples and Sets Giuseppe De Giacomo, Maurizio Lenzerini

AAAI 1994 Boosting the Correspondence Between Description Logics and Propositional Dynamic Logics Giuseppe De Giacomo, Maurizio Lenzerini