Giuseppe De Giacomo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
198
Venues
32
Active years
1992–2026
Best venue rank
A*
Where they publish
- A*IJCAI49 papers
- A*KR39 papers
- A*AAAI37 papers
- AECAI9 papers
- A*PODS9 papers
- ACaiSE8 papers
- AICSOC6 papers
- ABPM5 papers
- CEUMAS3 papers
- A*LICS3 papers
- AICDT3 papers
- A*ICAPS2 papers
- CTIME2 papers
- MulticonferenceSAC2 papers
- AICWS2 papers
- AER2 papers
- CISMIS2 papers
- A*CAV1 paper
- NationalTASE1 paper
- BFM1 paper
- BILP1 paper
- CNeSy1 paper
- BICPM1 paper
- AustralasianAI1 paper
- AAAMAS1 paper
- A*VLDB1 paper
- A*ICDE1 paper
- BCoopIS1 paper
- ACADE1 paper
- BSSDBM1 paper
- BJELIA1 paper
- CLOPSTR1 paper
Papers
198 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Best-Effort Policies for Robust Markov Decision Processes. | Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano |
| 2026 | AAAI | Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli |
| 2026 | AAAI | Good-for-MDP State Reduction for Stochastic LTL Planning. | Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang |
| 2026 | CaiSE | Capturing Processes in Probabilistic Timed Automata. | Harry H. Beyel, Maximilian Prokop, Jan Kretnsk, Giuseppe De Giacomo, Wil M. P. van der Aalst |
| 2026 | CAV | Fast Obligation Translation and Synthesis. | Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu |
| 2026 | KR | Specifying Agent Strategy Spaces via LTL Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2026 | KR | Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli, Gianmarco Parretti |
| 2026 | KR | Synthesis Foundations for Online LTLf Goal Management. | Giuseppe De Giacomo, Yves Lesprance, Gianmarco Parretti, Fabio Patrizi |
| 2026 | TASE | Incremental Reinforcement Learning with Temporally Dependent Goals. | Yi Yang, Shufang Zhu, Giuseppe De Giacomo, Qin Zhao, Xinchao Li, Dongdong An |
| 2025 | AAAI | Situation Calculus Temporally Lifted Abstractions for Generalized Planning. | Giuseppe De Giacomo, Yves Lesprance, Matteo Mancanelli |
| 2025 | AAAI | LTLf Synthesis Under Unreliable Input. | Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi |
| 2025 | ECAI | Do Your Best, but Don't Take Too Many Chances: LTL | Giuseppe De Giacomo, Gianmarco Parretti, Elisa Santini |
| 2025 | ICAPS | LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2025 | IJCAI | LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi |
| 2025 | IJCAI | Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. | Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu |
| 2025 | IJCAI | Responsibility Anticipation and Attribution in LTLf. | Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti |
| 2025 | KR | Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. | Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman |
| 2025 | KR | LTL Synthesis Under Multi-Agent Environment Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin |
| 2025 | TIME | PDDL to DFA: A Symbolic Transformation for Effective Reasoning. | Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti |
| 2024 | AAAI | Mimicking Behaviors in Separated Domains (Abstract Reprint). | Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu |
| 2024 | AAAI | Abstraction of Situation Calculus Concurrent Game Structures. | Yves Lesprance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan |
| 2024 | AAAI | Pure-Past Action Masking. | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2024 | ECAI | Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic. | Luigi Bonassi, Giuseppe De Giacomo, Alfonso Emilio Gerevini, Enrico Scala |
| 2024 | ECAI | Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes. | Gabriel Paludo Licks, Fabio Patrizi, Giuseppe De Giacomo |
| 2024 | FM | Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. | Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte |
| 2024 | ICAPS | Planning with Object Creation. | Augusto B. Corra, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin |
| 2024 | IJCAI | Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. | Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin |
| 2024 | IJCAI | 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 |
| 2024 | IJCAI | Lifted Planning: Recent Advances in Planning Using First-Order Representations. | Augusto B. Corra, Giuseppe De Giacomo |
| 2024 | IJCAI | The Trembling-Hand Problem for LTLf Planning. | Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi |
| 2024 | KR | Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2023 | AAAI | Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. | Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi |
| 2023 | AAAI | Reactive Synthesis of Dominant Strategies. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin |
| 2023 | AAAI | Automata Cascades: Expressivity and Sample Complexity. | Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo |
| 2023 | CaiSE | AIDA: A Tool for Resiliency in Smart Manufacturing. | Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo |
| 2023 | ECAI | FOND Planning for Pure-Past Linear Temporal Logic Goals. | Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala |
| 2023 | ECAI | LTL | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2023 | EUMAS | sc ltl | Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu |
| 2023 | EUMAS | Behavioral QLTL. | Giuseppe De Giacomo, Giuseppe Perelli |
| 2023 | EUMAS | Symbolic sc ltl | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2023 | IJCAI | Abstraction of Nondeterministic Situation Calculus Action Theories. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2023 | ILP | Towards ILP-Based LTL f Passive Learning. | Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo |
| 2023 | KR | Grounding LTLf Specifications in Image Sequences. | Elena Umili, Roberto Capobianco, Giuseppe De Giacomo |
| 2023 | LICS | Stochastic Best-Effort Strategies for Borel Goals. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2022 | IJCAI | Synthesis of Maximally Permissive Strategies for LTLf Specifications. | Shufang Zhu, Giuseppe De Giacomo |
| 2022 | IJCAI | Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2022 | IJCAI | 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 |
| 2022 | IJCAI | Verification of Generic, Relational Transition Systems. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2022 | IJCAI | 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 Sardia |
| 2022 | IJCAI | Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. | Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo |
| 2022 | IJCAI | 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 |
| 2022 | IJCAI | Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. | Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo |
| 2022 | KR | Act for Your Duties but Maintain Your Rights. | Shufang Zhu, Giuseppe De Giacomo |
| 2022 | KR | Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. | Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli |
| 2022 | NeSy | Grounding LTLf Specifications in Images. | Elena Umili, Roberto Capobianco, Giuseppe De Giacomo |
| 2021 | BPM | Digital Twins Composition via Markov Decision Processes. | Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo |
| 2021 | IJCAI | Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin |
| 2021 | IJCAI | Intensional and Extensional Views in DL-Lite Ontologies. | Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici |
| 2021 | IJCAI | Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. | Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2021 | IJCAI | HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. | Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli |
| 2021 | IJCAI | Efficient PAC Reinforcement Learning in Regular Decision Processes. | Alessandro Ronca, Giuseppe De Giacomo |
| 2021 | KR | Synthesizing Best-effort Strategies under Multiple Environment Specifications. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2021 | KR | Synthesis with Mandatory Stop Actions. | Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu |
| 2021 | KR | The Nondeterministic Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance |
| 2021 | KR | Timed Trace Alignment with Metric Temporal Logic over Finite Traces. | Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli |
| 2020 | AAAI | Restraining Bolts for Reinforcement Learning Agents. | Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi |
| 2020 | AAAI | ElGolog: A High-Level Programming Language with Memory of the Execution History. | Giuseppe De Giacomo, Yves Lesprance, Eugenia Ternovska |
| 2020 | AAAI | LTLƒ Synthesis with Fairness and Stability Assumptions. | Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi |
| 2020 | ICPM | A Temporal Logic-Based Measurement Framework for Process Mining. | Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling |
| 2020 | IJCAI | Synthesizing strategies under expected and exceptional environment behaviors. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2020 | IJCAI | Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. | Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin |
| 2020 | KR | High-level Programming via Generalized Planning and LTL Synthesis. | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin |
| 2020 | KR | Temporal Logic Monitoring Rewards via Transducers. | Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca |
| 2020 | KR | Nondeterministic Strategies and their Refinement in Strategy Logic. | Giuseppe De Giacomo, Bastien Maubert, Aniello Murano |
| 2020 | KR | Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. | Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu |
| 2019 | AAAI | Unbounded Orchestrations of Transducers for Manufacturing. | Natasha Alechina, Toms Brzdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi |
| 2019 | AI | Hybrid Temporal Situation Calculus. | Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski |
| 2019 | IJCAI | Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains. | Ronen I. Brafman, Giuseppe De Giacomo |
| 2019 | IJCAI | Regular Decision Processes: A Model for Non-Markovian Domains. | Ronen I. Brafman, Giuseppe De Giacomo |
| 2019 | ICSOC | Automatic Business Process Model Extension to Repair Constraint Violations. | Xavier Oriol, Giuseppe De Giacomo, Montserrat Estaol, Ernest Teniente |
| 2019 | SAC | Hybrid temporal situation calculus. | Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski |
| 2018 | AAAI | LTLf/LDLf Non-Markovian Rewards. | Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi |
| 2018 | AAAI | Synthesis of Orchestrations of Transducers for Manufacturing. | Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan |
| 2018 | BPM | Interestingness of Traces in Declarative Process Mining: The Janus LTLp _f Approach. | Alessio Cecconi, Claudio Di Ciccio, Giuseppe De Giacomo, Jan Mendling |
| 2018 | IJCAI | Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2018 | IJCAI | Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. | Giuseppe De Giacomo, Sasha Rubin |
| 2018 | KR | Synthesis under Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2017 | AAAI | Abstraction in Situation Calculus Action Theories. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2017 | AAAI | On the Disruptive Effectiveness of Automated Planning for LTL | Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi |
| 2017 | CaiSE | Linking Data and BPMN Processes to Achieve Executable Models. | Giuseppe De Giacomo, Xavier Oriol, Montserrat Estaol, Ernest Teniente |
| 2017 | IJCAI | Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin |
| 2016 | AAAI | Verifying ConGolog Programs on Bounded Situation Calculus Theories. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Sebastian Sardia |
| 2016 | ECAI | Situation Calculus Game Structures and GDL. | Giuseppe De Giacomo, Yves Lesprance, Adrian R. Pearce |
| 2016 | IJCAI | Online Agent Supervision in the Situation Calculus. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2016 | IJCAI | Imperfect-Information Games and Generalized Planning. | Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio |
| 2016 | IJCAI | LTL | Giuseppe De Giacomo, Moshe Y. Vardi |
| 2016 | KR | Online Situation-Determined Agents and their Supervision. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2016 | KR | Regular Open APIs. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2016 | KR | On First-Order μ-Calculus over Situation Calculus Action Theories. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2015 | AAAI | Knowledge Representation and Reasoning: What's Hot. | Chitta Baral, Giuseppe De Giacomo |
| 2015 | CaiSE | Declarative Process Modeling in BPMN. | Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali |
| 2015 | IJCAI | Data Complexity of Query Answering in Description Logics (Extended Abstract). | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2015 | IJCAI | On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. | Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski |
| 2015 | IJCAI | Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. | Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo |
| 2015 | IJCAI | Synthesis for LTL and LDL on Finite Traces. | Giuseppe De Giacomo, Moshe Y. Vardi |
| 2015 | TIME | Temporal Reasoning in Bounded Situation Calculus. | Giuseppe De Giacomo |
| 2014 | AAAI | Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. | Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali |
| 2014 | BPM | Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. | Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali |
| 2014 | ECAI | LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Stavros Vassos |
| 2013 | IJCAI | Bounded Epistemic Situation Calculus Theories. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2013 | IJCAI | Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. | Giuseppe De Giacomo, Moshe Y. Vardi |
| 2013 | IJCAI | Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. | Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardia |
| 2013 | PODS | Foundations of data-aware process analysis: a database theory perspective. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali |
| 2013 | PODS | Verification of relational data-centric dynamic systems with external services. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali |
| 2012 | AAAI | Bounded Situation Calculus Action Theories and Decidable Verification. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2012 | AAAI | Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. | Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
| 2012 | AAMAS | On supervising agents in situation-determined ConGolog. | Giuseppe De Giacomo, Yves Lesprance, Christian J. Muise |
| 2012 | ECAI | Verification of Description Logic Knowledge and Action Bases. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali |
| 2012 | KR | Semantically-Governed Data-Aware Processes. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso |
| 2012 | KR | Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. | Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio |
| 2012 | KR | Bounded Situation Calculus Action Theories and Decidable Verification. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2011 | AAAI | Higher-Order Description Logics for Domain Metamodeling. | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
| 2011 | BPM | Foundations of Relational Artifacts Verification. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli |
| 2011 | ICDT | Simplifying schema mappings. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2011 | IJCAI | Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2011 | IJCAI | Generalized Planning: Synthesizing Plans that Work for Multiple Environments. | Yuxiao Hu, Giuseppe De Giacomo |
| 2011 | IJCAI | Computing Infinite Plans for LTL Goals Using a Classical Planner. | Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner |
| 2010 | AAAI | Node Selection Query Languages for Trees. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2010 | AAAI | Two-Player Game Structures for Generalized Planning and Agent Composition. | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardia |
| 2010 | ICSOC | Conjunctive Artifact-Centric Services. | Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati |
| 2010 | KR | Situation Calculus Based Programs for Representing and Reasoning about Game Structures. | Giuseppe De Giacomo, Yves Lesprance, Adrian R. Pearce |
| 2010 | KR | Generalized Planning with Loops under Strong Fairness Constraints. | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardia |
| 2009 | IJCAI | Composition of ConGolog Programs. | Sebastian Sardia, Giuseppe De Giacomo |
| 2009 | ICSOC | Artifact-Centric Workflow Dominance. | Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su |
| 2009 | SAC | On-line adaptation of sequential mobile processes running concurrently. | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lesprance, Massimo Mecella |
| 2008 | KR | Path-Based Identification Constraints in Description Logics. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2008 | KR | View-Based Query Answering over Description Logic Ontologies. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
| 2008 | KR | Behavior Composition in the Presence of Failure. | Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo |
| 2007 | AAAI | On the Approximation of Instance Level Update and Erasure in Description Logics. | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
| 2007 | AAAI | Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. | Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo |
| 2007 | BPM | Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. | Massimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo |
| 2007 | IJCAI | EQL-Lite: Effective First-Order Query Processing in Description Logics. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2007 | IJCAI | Automatic Synthesis of New Behaviors from a Library of Available Behaviors. | Giuseppe De Giacomo, Sebastian Sardia |
| 2007 | ICWS | AutomaticWorkflows Composition of Mobile Services. | Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi |
| 2007 | PODS | On reconciling data exchange, data integration, and peer data management. | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2006 | AAAI | On the Update of Description Logic Ontologies at the Instance Level. | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
| 2006 | ICWS | ComposingWeb Services with Nondeterministic Behavior. | Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese |
| 2006 | KR | Data Complexity of Query Answering in Description Logics. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2006 | KR | On the Limits of Planning over Belief States under Strict Uncertainty. | Sebastian Sardia, Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2005 | AAAI | QuOnto: Querying Ontologies. | Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati |
| 2005 | AAAI | DL-Lite: Tractable Description Logics for Ontologies. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2005 | CaiSE | Modeling Data & Processes for Service Specifications in Colombo. | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella |
| 2005 | ICDT | View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2005 | ICSOC | Composition of Services with Nondeterministic Observable Behavior. | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella |
| 2005 | VLDB | Automatic Composition of Transition-based Semantic Web Services with Messaging. | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella |
| 2004 | AAAI | Scaling Up Reasoning about Actions Using Relational Database Technology. | Giuseppe De Giacomo, Toni Mancini |
| 2004 | ICSOC | Synthesis of underspecified composite | Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese |
| 2004 | KR | What to Ask to a Peer: Ontolgoy-based Query Reformulation. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2004 | PODS | Logical Foundations of Peer-To-Peer Data Integration. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
| 2003 | CaiSE | IBIS: Semantic Data Integration at Work. | Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola |
| 2003 | ICDT | Decidable Containment of Recursive Queries. | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
| 2003 | ICSOC | Automatic Composition of E-services That Export Their Behavior. | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella |
| 2003 | PODS | View-based query containment. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2002 | CaiSE | Data Integration under Integrity Constraints. | Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2002 | ER | On the Expressive Power of Data Integration Systems. | Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2002 | ISMIS | A Formal Framework for Reasoning on UML Class Diagrams. | Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2002 | KR | Reasoning about Actions and Planning in LTL Action Theories. | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
| 2002 | KR | On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque, Sebastian Sardia |
| 2002 | LICS | Description Logics: Foundations for Class-based Knowledge Representation. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2002 | PODS | Lossless Regular Views. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2001 | ER | Accessing Data Integration Systems through Conceptual Schemas. | Andrea Cal, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2001 | IJCAI | Identification Constraints and Functional Dependencies in Description Logics. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2000 | AAAI | Answering Queries Using Views over Description Logics Knowledge Bases. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2000 | ICDE | Answering Regular Path Queries Using Views. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2000 | KR | Containment of Conjunctive Regular Path Queries with Inverse. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2000 | LICS | View-Based Query Processing and Constraint Satisfaction. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 2000 | PODS | View-Based Query Processing for Regular Path Queries with Inverse. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 1999 | CaiSE | Queries and Constraints on Semi-structured Data. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 1999 | IJCAI | Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 1999 | IJCAI | Projection Using Regression and Sensors. | Giuseppe De Giacomo, Hector J. Levesque |
| 1999 | PODS | Rewriting of Regular Expressions and Regular Path Queries. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
| 1998 | AAAI | What can Knowledge Representation do for Semi-Structured Data? | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 1998 | CoopIS | Information Integration: Conceptual Modeling and Reasoning Support. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati |
| 1998 | KR | Description Logic Framework for Information Integration. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati |
| 1998 | KR | Execution Monitoring of High-Level Robot Programs. | Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski |
| 1998 | PODS | On the Decidability of Query Containment under Constraints. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 1997 | IJCAI | Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 1997 | ISMIS | Representing and Reasoning on SGML Documents. | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 1996 | AAAI | Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. | Giuseppe De Giacomo, Xiao Jun Chen |
| 1996 | CADE | Tableaux and Algorithms for Propositional Dynamic Logic with Converse. | Giuseppe De Giacomo, Fabio Massacci |
| 1996 | KR | Moving a Robot: The KR&R Approach at Work. | Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati |
| 1996 | KR | TBox and ABox Reasoning in Expressive Description Logics. | Giuseppe De Giacomo, Maurizio Lenzerini |
| 1996 | SSDBM | Conceptual Data Model with Structured Objects for Statistical Database. | Giuseppe De Giacomo, Paolo Naggar |
| 1995 | IJCAI | What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. | Giuseppe De Giacomo, Maurizio Lenzerini |
| 1994 | AAAI | Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. | Giuseppe De Giacomo, Maurizio Lenzerini |
| 1994 | ECAI | Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. | Giuseppe De Giacomo, Maurizio Lenzerini |
| 1994 | JELIA | Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. | Giuseppe De Giacomo, Maurizio Lenzerini |
| 1992 | LOPSTR | Intensional Query Answering: An Application of Partial Evaluation. | Giuseppe De Giacomo |