Giuseppe De Giacomo

448 papers A* 142A 43B 5C 10Misc 2Journal 122Unranked 112

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Agentic Business Process Management: A Research Manifesto. CoRR Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
2026	J	`jnl`	Agentic Business Process Management: A research manifesto. Inf. Syst. Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
2026	A*	`conf`	Best-Effort Policies for Robust Markov Decision Processes. AAAI Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano
2026	A*	`conf`	Good-for-MDP State Reduction for Stochastic LTL Planning. AAAI Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2026	J	`jnl`	Incremental LTLf Synthesis. CoRR Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Moshe Y. Vardi
2026	J	`jnl`	Multi-Property Synthesis. CoRR Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi
2026	J	`jnl`	Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions. CoRR Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Kretínský, Maximilian Prokop, Christoph Weinhuber
2026	A*	`conf`	Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus. AAAI Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2026	J	`jnl`	Towards ILP-based LTLf passive learning. J. Log. Comput. Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2025	J	`jnl`	AUTOBIZ: Pushing the Boundaries of AI-Driven Process Execution and Adaptation (Dagstuhl Seminar 25192). Dagstuhl Reports Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Lior Limonad
2025	J	`jnl`	Abstracting situation calculus action theories. Artif. Intell. Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2025	—	`conf`	Autonomy in Business Process Execution: Why We Need First-Class Abstractions for Goals and Normative Frames. PMAI Diego Calvanese, Giuseppe De Giacomo, Timotheus Kampik, Yves Lespérance, Andrea Marrella, Andrea Matta
2025	J	`jnl`	Behavioral QLTL. Auton. Agents Multi Agent Syst. Giuseppe De Giacomo, Giuseppe Perelli
2025	J	`jnl`	Best-Effort Policies for Robust Markov Decision Processes. CoRR Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano
2025	A	`conf`	Do Your Best, but Don't Take Too Many Chances: LTL ECAI Giuseppe De Giacomo, Gianmarco Parretti, Elisa Santini
2025	A*	`conf`	Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. KR Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025	J	`jnl`	Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. CoRR Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025	C	`conf`	Engineering an LTL CIAA Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025	J	`jnl`	Engineering an LTLf Synthesis Tool. CoRR Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025	J	`jnl`	Exploiting robot abstractions in episodic RL via reward shaping and heuristics. Robotics Auton. Syst. Roberto Cipollone, Marco Favorito, Flavio Maiorana, Giuseppe De Giacomo, Luca Iocchi, Fabio Patrizi
2025	J	`jnl`	Good-for-MDP State Reduction for Stochastic LTL Planning. CoRR Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2025	A*	`conf`	LTL Synthesis Under Multi-Agent Environment Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin
2025	J	`jnl`	LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. CoRR Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2025	A*	`conf`	LTLf Synthesis Under Unreliable Input. AAAI Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi
2025	J	`jnl`	LTLf synthesis under environment specifications for reachability and safety properties. Inf. Comput. Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2025	A*	`conf`	LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
2025	—	`conf`	Learning to Coordinate without Communication under Incomplete Information. OVERLAY Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu
2025	A	`conf`	Managing an Agent's Changing Intentions Using ltl AAMAS Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi, Renzo Schram
2025	C	`conf`	PDDL to DFA: A Symbolic Transformation for Effective Reasoning. TIME Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti
2025	J	`jnl`	Planning for temporally extended goals in pure-past linear temporal logic. Artif. Intell. Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2025	—	`ed.`	Proceedings of the 4th International Workshop on Process Management in the AI Era (PMAI 2025) co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy, October 25, 2025. PMAI Fabiana Fournier, Lior Limonad, Giuseppe De Giacomo, Andrea Marrella, Antonella Guzzo, Antonio Ielo
2025	A*	`conf`	Responsibility Anticipation and Attribution in LTLf. IJCAI Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti
2025	J	`jnl`	Service composition for ltl task specifications. Inf. Syst. Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2025	A*	`conf`	Situation Calculus Temporally Lifted Abstractions for Generalized Planning. AAAI Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2025	A*	`conf`	Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. IJCAI Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2025	J	`jnl`	Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. CoRR Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2025	—	`conf`	Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus - Extended Abstract. OVERLAY Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2025	J	`jnl`	Symbolic ltl SN Comput. Sci. Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2024	—	`conf`	A Declarative Framework for Temporal Reasoning in Green-Aware Applications. GreenAI@AI*IA Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo
2024	J	`jnl`	Abstracting Situation Calculus Action Theories. CoRR Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2024	A*	`conf`	Abstraction of Situation Calculus Concurrent Game Structures. AAAI Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
2024	—	`conf`	Composition of Stochastic Services for LTL FoIKS Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2024	J	`jnl`	Computational Grounding of Responsibility Attribution and Anticipation in LTLf. CoRR Giuseppe De Giacomo, Emiliano Lorini, Timothy Parker, Gianmarco Parretti
2024	A*	`conf`	Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin
2024	—	`conf`	From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making. KoDis+CAKR+SYNERGY@KR Giuseppe De Giacomo
2024	—	`conf`	LTLf Goal-oriented Service Composition. PMAI@ECAI Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2024	J	`jnl`	LTLf Synthesis Under Unreliable Input. CoRR Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi
2024	J	`jnl`	LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. CoRR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
2024	J	`jnl`	Learning to Coordinate without Communication under Incomplete Information. CoRR Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu
2024	A*	`conf`	Lifted Planning: Recent Advances in Planning Using First-Order Representations. IJCAI Augusto B. Corrêa, Giuseppe De Giacomo
2024	A*	`conf`	Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2024	—	`conf`	Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. FM (1) Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
2024	A	`conf`	Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes. ECAI Gabriel Paludo Licks, Fabio Patrizi, Giuseppe De Giacomo
2024	J	`jnl`	Orchestration of Services in Smart Manufacturing Through Automated Synthesis. IEEE Trans. Serv. Comput. Flavia Monti, Luciana Silo, Marco Favorito, Giuseppe De Giacomo, Francesco Leotta, Massimo Mecella
2024	A*	`conf`	Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract). IJCAI Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2024	A*	`conf`	Planning with Object Creation. ICAPS Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
2024	—	`ed.`	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. PMAI@ECAI Giuseppe De Giacomo, Valeria Fionda, Fabiana Fournier, Antonio Ielo, Lior Limonad, Marco Montali
2024	A*	`conf`	Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. KR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2024	A*	`conf`	Pure-Past Action Masking. AAAI Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2024	—	`conf`	Regular Clocks for Temporal Task Specifications in Reinforcement Learning. AI*IA Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
2024	J	`jnl`	Regular decision processes. Artif. Intell. Ronen I. Brafman, Giuseppe De Giacomo
2024	A	`conf`	Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic. ECAI Luigi Bonassi, Giuseppe De Giacomo, Alfonso Emilio Gerevini, Enrico Scala
2024	—	`conf`	Situation Calculus Temporally Lifted Abstractions for Generalized Planning - Extended Abstract. KoDis+CAKR+SYNERGY@KR Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
2024	J	`jnl`	Temporally extended goal recognition in fully observable non-deterministic domain models. Appl. Intell. Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo
2024	A*	`conf`	The Trembling-Hand Problem for LTLf Planning. IJCAI Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
2024	J	`jnl`	The Trembling-Hand Problem for LTLf Planning. CoRR Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
2023	J	`jnl`	A tool for declarative Trace Alignment via automated planning. Softw. Impacts Giuseppe De Giacomo, Francesco Fuggitti, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2023	J	`jnl`	AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 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
2023	—	`conf`	AIDA: A Tool for Resiliency in Smart Manufacturing. CAiSE Forum Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo
2023	J	`jnl`	Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2023	A*	`conf`	Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2023	J	`jnl`	Act for Your Duties but Maintain Your Rights. CoRR Shufang Zhu, Giuseppe De Giacomo
2023	A*	`conf`	Automata Cascades: Expressivity and Sample Complexity. AAAI Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
2023	C	`conf`	Behavioral QLTL. EUMAS Giuseppe De Giacomo, Giuseppe Perelli
2023	—	`conf`	Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi
2023	—	`conf`	Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2023	J	`jnl`	Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. CoRR Giuseppe De Giacomo, Marco Favorito, Luciana Silo
2023	J	`jnl`	Digital twin composition in smart manufacturing via Markov decision processes. Comput. Ind. Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
2023	A*	`conf`	Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2023	J	`jnl`	Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2023	A	`conf`	FOND Planning for Pure-Past Linear Temporal Logic Goals. ECAI Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2023	A*	`conf`	Grounding LTLf Specifications in Image Sequences. KR Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
2023	A	`conf`	LTL ECAI Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023	J	`jnl`	LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. CoRR Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023	J	`jnl`	LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2023	J	`jnl`	Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2023	A*	`conf`	Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2023	A*	`conf`	Reactive Synthesis of Dominant Strategies. AAAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2023	A*	`conf`	Stochastic Best-Effort Strategies for Borel Goals. LICS Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2023	J	`jnl`	Symbolic LTLf Best-Effort Synthesis. CoRR Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023	C	`conf`	Symbolic sc ltl EUMAS Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023	J	`jnl`	Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models. CoRR Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo
2023	B	`conf`	Towards ILP-Based LTL f Passive Learning. ILP Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2023	C	`conf`	sc ltl EUMAS Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2022	A*	`conf`	Act for Your Duties but Maintain Your Rights. KR Shufang Zhu, Giuseppe De Giacomo
2022	J	`jnl`	Augmented Business Process Management Systems: A Research Manifesto. CoRR 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
2022	J	`jnl`	Automata Cascades: Expressivity and Sample Complexity. CoRR Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
2022	A*	`conf`	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
2022	A*	`conf`	Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2022	—	`conf`	Compositional Safety LTL Synthesis. VSTTE Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
2022	J	`jnl`	Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
2022	J	`jnl`	Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. Future Internet Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Giuseppe De Giacomo
2022	C	`conf`	Grounding LTLf Specifications in Images. NeSy Elena Umili, Roberto Capobianco, Giuseppe De Giacomo
2022	A*	`conf`	Iterative Depth-First Search for FOND Planning. ICAPS Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo
2022	J	`jnl`	Iterative Depth-First Search for Fully Observable Non-Deterministic Planning. CoRR Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo
2022	A*	`conf`	LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
2022	A*	`conf`	Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. IJCAI Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo
2022	J	`jnl`	Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. CoRR Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo
2022	J	`jnl`	Measuring the interestingness of temporal logic behavioral specifications in process mining. Inf. Syst. Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
2022	J	`jnl`	Mimicking Behaviors in Separated Domains. CoRR Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2022	—	`conf`	Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. PMAI@IJCAI Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
2022	J	`jnl`	Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
2022	J	`jnl`	Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. CoRR Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
2022	—	`ed.`	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. PMAI@IJCAI Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti
2022	A*	`conf`	Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
2022	J	`jnl`	Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
2022	A*	`conf`	Synthesis of Maximally Permissive Strategies for LTLf Specifications. IJCAI Shufang Zhu, Giuseppe De Giacomo
2022	A*	`conf`	Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2022	—	`conf`	Verification of Generic, Relational Transition Systems. PMAI@IJCAI Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2021	J	`jnl`	Behavioral QLTL. CoRR Giuseppe De Giacomo, Giuseppe Perelli
2021	A*	`conf`	Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2021	A*	`conf`	Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS Giuseppe De Giacomo, Marco Favorito
2021	—	`conf`	Digital Twins Composition via Markov Decision Processes. ITBPM@BPM Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
2021	A*	`conf`	Efficient PAC Reinforcement Learning in Regular Decision Processes. IJCAI Alessandro Ronca, Giuseppe De Giacomo
2021	J	`jnl`	Efficient PAC Reinforcement Learning in Regular Decision Processes. CoRR Alessandro Ronca, Giuseppe De Giacomo
2021	J	`jnl`	Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
2021	A*	`conf`	Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
2021	—	`conf`	From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. Next-Gen Digital Services Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella
2021	A*	`conf`	HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
2021	J	`jnl`	Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. J. Artif. Intell. Res. Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
2021	A*	`conf`	Intensional and Extensional Views in DL-Lite Ontologies. IJCAI Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici
2021	J	`jnl`	Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models. CoRR Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo
2021	A*	`conf`	Synthesis with Mandatory Stop Actions. KR Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
2021	A*	`conf`	Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2021	A*	`conf`	The Nondeterministic Situation Calculus. KR Giuseppe De Giacomo, Yves Lespérance
2021	A*	`conf`	Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
2020	B	`conf`	A Temporal Logic-Based Measurement Framework for Process Mining. ICPM Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
2020	A	`ed.`	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) ECAI Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang
2020	A*	`conf`	ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
2020	—	`conf`	Extending DL-LiteR TBoxes with View Definitions. Description Logics Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini
2020	A	`conf`	Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. AAMAS Giuseppe De Giacomo, Yves Lespérance
2020	A*	`conf`	High-level Programming via Generalized Planning and LTL Synthesis. KR Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
2020	A*	`conf`	Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
2020	A*	`conf`	LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
2020	J	`jnl`	Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. CoRR Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
2020	J	`jnl`	Non-terminating processes in the situation calculus. Ann. Math. Artif. Intell. Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
2020	A*	`conf`	Nondeterministic Strategies and their Refinement in Strategy Logic. KR Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
2020	A*	`conf`	Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
2020	A*	`conf`	Restraining Bolts for Reinforcement Learning Agents. AAAI Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2020	A*	`conf`	Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2020	A*	`conf`	Synthesizing strategies under expected and exceptional environment behaviors. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	A*	`conf`	Temporal Logic Monitoring Rewards via Transducers. KR Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
2020	A*	`conf`	Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
2019	J	`jnl`	Acquiring Ontology Axioms through Mappings to Data Sources. Future Internet Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2019	A	`conf`	Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
2019	A*	`conf`	Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2019	J	`jnl`	Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. CoRR Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
2019	—	`conf`	Hybrid Temporal Situation Calculus. Canadian AI Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
2019	Misc	`conf`	Hybrid temporal situation calculus. SAC Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
2019	J	`jnl`	LTLf Synthesis with Fairness and Stability Assumptions. CoRR Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
2019	A*	`conf`	Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains. IJCAI Ronen I. Brafman, Giuseppe De Giacomo
2019	A*	`conf`	Planning under LTL Environment Specifications. ICAPS Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Regular Decision Processes: A Model for Non-Markovian Domains. IJCAI Ronen I. Brafman, Giuseppe De Giacomo
2019	A	`conf`	Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables. AAMAS Ronen I. Brafman, Giuseppe De Giacomo
2019	J	`jnl`	Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2019	—	`conf`	The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2019	A*	`conf`	Unbounded Orchestrations of Transducers for Manufacturing. AAAI Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi
2019	—	`conf`	WhiteMech: White-Box Self-Programming Mechanisms. ICCI*CC Giuseppe De Giacomo
2018	A*	`conf`	Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. IJCAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2018	A*	`conf`	Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. IJCAI Giuseppe De Giacomo, Sasha Rubin
2018	—	`conf`	Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. Description Logics Manuel Namici, Giuseppe De Giacomo
2018	J	`jnl`	First-order Inf. Comput. Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2018	A	`conf`	Hierarchical Agent Supervision. AAMAS Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2018	J	`jnl`	Hybrid Temporal Situation Calculus. CoRR Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
2018	A	`conf`	Interestingness of Traces in Declarative Process Mining: The Janus LTLp _f Approach. BPM Alessio Cecconi, Claudio Di Ciccio, Giuseppe De Giacomo, Jan Mendling
2018	A*	`conf`	LTLf/LDLf Non-Markovian Rewards. AAAI Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi
2018	—	`ch.`	Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2018	J	`jnl`	Planning and Synthesis Under Assumptions. CoRR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Reinforcement Learning for LTLf/LDLf Goals. CoRR Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
2018	J	`jnl`	Situation Calculus for Synthesis of Manufacturing Controllers. CoRR Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
2018	A*	`conf`	Synthesis of Orchestrations of Transducers for Manufacturing. AAAI Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan
2018	A*	`conf`	Synthesis under Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2018	—	`ch.`	Using Ontologies for Semantic Data Integration. A Comprehensive Guide Through the Italian Database Research Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2017	A*	`conf`	Abstraction in Situation Calculus Action Theories. AAAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2017	A*	`conf`	Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. IJCAI Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
2017	A	`conf`	Linking Data and BPMN Processes to Achieve Executable Models. CAiSE Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente
2017	A*	`conf`	On the Disruptive Effectiveness of Automated Planning for LTL AAAI Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2017	—	`conf`	On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. WIMS Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi
2017	—	`conf`	Practical Update Management in Ontology-Based Data Access. ISWC (1) Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente
2017	—	`conf`	Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime. SEBD Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi
2017	—	`conf`	Service Composition in Stochastic Settings. AI*IA Ronen I. Brafman, Giuseppe De Giacomo, Massimo Mecella, Sebastian Sardiña
2017	J	`jnl`	Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version). CoRR Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi
2016	J	`jnl`	Agent planning programs. Artif. Intell. Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña
2016	J	`jnl`	Bounded situation calculus action theories. Artif. Intell. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2016	A*	`conf`	Computing Trace Alignment against Declarative Process Models through Planning. ICAPS Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardiña
2016	A*	`conf`	Imperfect-Information Games and Generalized Planning. IJCAI Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio
2016	A*	`conf`	LTL IJCAI Giuseppe De Giacomo, Moshe Y. Vardi
2016	A*	`conf`	On First-Order μ-Calculus over Situation Calculus Action Theories. KR Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2016	A*	`conf`	Online Agent Supervision in the Situation Calculus. IJCAI Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2016	A*	`conf`	Online Situation-Determined Agents and their Supervision. KR Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2016	J	`jnl`	Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2016	A*	`conf`	Regular Open APIs. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2016	A	`conf`	Situation Calculus Game Structures and GDL. ECAI Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
2016	—	`conf`	Updating DL-Lite Ontologies Through First-Order Queries. ISWC (1) Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
2016	A*	`conf`	Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña
2015	—	`conf`	Adding DL-Lite TBoxes to Proper Knowledge Bases. ISWC (1) Giuseppe De Giacomo, Hector J. Levesque
2015	J	`jnl`	Bounded Situation Calculus Action Theories. CoRR Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2015	A*	`conf`	Data Complexity of Query Answering in Description Logics (Extended Abstract). IJCAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2015	A	`conf`	Declarative Process Modeling in BPMN. CAiSE Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
2015	A*	`conf`	Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
2015	A*	`conf`	Knowledge Representation and Reasoning: What's Hot. AAAI Chitta Baral, Giuseppe De Giacomo
2015	J	`jnl`	Node Selection Query Languages for Trees. CoRR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2015	A*	`conf`	On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
2015	—	`conf`	Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper). SOCA Giuseppe De Giacomo, Valsamis Ntouskos, Fabio Patrizi, Stavros Vassos, Davide Aversa
2015	A	`conf`	Synchronous Games in the Situation Calculus. AAMAS Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
2015	A*	`conf`	Synthesis for LTL and LDL on Finite Traces. IJCAI Giuseppe De Giacomo, Moshe Y. Vardi
2015	C	`conf`	Temporal Reasoning in Bounded Situation Calculus. TIME Giuseppe De Giacomo
2014	—	`ch.`	Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi
2014	A*	`conf`	Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. ICAPS Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2014	J	`jnl`	Description Logic Knowledge and Action Bases. CoRR Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2014	A	`conf`	LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2014	J	`jnl`	LTLf and LDLf Monitoring: A Technical Report. CoRR Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
2014	A	`conf`	Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. BPM Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
2014	A*	`ed.`	Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 KR Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
2014	A	`conf`	Progression and verification of situation calculus agents with bounded beliefs. AAMAS Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos
2014	A*	`conf`	Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. AAAI Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali
2014	—	`conf`	Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. CILC Marco Montali, Diego Calvanese, Giuseppe De Giacomo
2014	—	`conf`	Verification of Human Driven Data-Centric Dynamic Systems. AAAI Spring Symposia Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2014	A	`conf`	Verification of data-aware commitment-based multiagent system. AAMAS Marco Montali, Diego Calvanese, Giuseppe De Giacomo
2013	A*	`conf`	A Generic Technique for Synthesizing Bounded Finite-State Controllers. ICAPS Yuxiao Hu, Giuseppe De Giacomo
2013	J	`jnl`	Automatic behavior composition synthesis. Artif. Intell. Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2013	A*	`conf`	Bounded Epistemic Situation Calculus Theories. IJCAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2013	J	`jnl`	Data complexity of query answering in description logics. Artif. Intell. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2013	J	`jnl`	Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2013	—	`conf`	Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	J	`jnl`	Finite model reasoning on UML class diagrams via constraint programming. Intelligenza Artificiale Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
2013	A*	`conf`	Foundations of data-aware process analysis: a database theory perspective. PODS Diego Calvanese, Giuseppe De Giacomo, Marco Montali
2013	A*	`conf`	Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. IJCAI Giuseppe De Giacomo, Moshe Y. Vardi
2013	J	`jnl`	MASTRO STUDIO: Managing Ontology-Based Data Access applications. Proc. VLDB Endow. 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
2013	J	`jnl`	On simplification of schema mappings. J. Comput. Syst. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2013	A*	`conf`	Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña
2013	—	`conf`	Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	—	`conf`	Verification and Synthesis in Description Logic Based Dynamic Systems. RR Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	A*	`conf`	Verification of relational data-centric dynamic systems with external services. PODS Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2012	—	`conf`	Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2012	A*	`conf`	Bounded Situation Calculus Action Theories and Decidable Verification. KR Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
2012	—	`conf`	Goal-Based Composition of Stateful Services for Smart Homes. OTM Conferences (1) Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella
2012	—	`conf`	MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2012	—	`conf`	Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2012	A	`conf`	On supervising agents in situation-determined ConGolog. AAMAS Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise
2012	A*	`conf`	Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2012	—	`conf`	Ontology-Based Governance of Data-Aware Processes. RR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
2012	J	`jnl`	Query Processing under GLAV Mappings for Relational and Graph Databases. Proc. VLDB Endow. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2012	—	`conf`	Semantically-Governed Data-Aware Processes. KiBP@KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
2012	A*	`conf`	Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
2012	J	`jnl`	Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati
2012	A	`conf`	Verification of Description Logic Knowledge and Action Bases. ECAI Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali
2012	J	`jnl`	Verification of Relational Data-Centric Dynamic Systems with External Services CoRR Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2012	J	`jnl`	View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011	A*	`conf`	Computing Infinite Plans for LTL Goals Using a Classical Planner. IJCAI Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner
2011	A*	`conf`	Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2011	A	`conf`	Foundations of Relational Artifacts Verification. BPM Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2011	A*	`conf`	Generalized Planning: Synthesizing Plans that Work for Multiple Environments. IJCAI Yuxiao Hu, Giuseppe De Giacomo
2011	A*	`conf`	Higher-Order Description Logics for Domain Metamodeling. AAAI Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011	—	`conf`	Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011	A	`conf`	Simplifying schema mappings. ICDT Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2011	J	`jnl`	The MASTRO system for ontology-based data access. Semantic Web Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2011	—	`conf`	Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis
2010	A	`conf`	Agent composition synthesis based on ATL. AAMAS Giuseppe De Giacomo, Paolo Felli
2010	A	`conf`	Agent programming via planning programs. AAMAS Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2010	A	`conf`	Conjunctive Artifact-Centric Services. ICSOC Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati
2010	A*	`conf`	Generalized Planning with Loops under Strong Fairness Constraints. KR Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2010	A*	`conf`	Node Selection Query Languages for Trees. AAAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2010	A*	`conf`	Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
2010	A*	`conf`	Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
2010	J	`jnl`	View Synthesis from Schema Mappings CoRR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2009	—	`conf`	An Automata-Theoretic Approach to Regular XPath. DBPL Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2009	—	`conf`	Artifact-Centric Workflow Dominance. ICSOC/ServiceWave Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su
2009	—	`conf`	Automated Composition of Nondeterministic Stateful Services. WS-FM Giuseppe De Giacomo, Fabio Patrizi
2009	A*	`conf`	Composition of ConGolog Programs. IJCAI Sebastian Sardiña, Giuseppe De Giacomo
2009	A*	`conf`	Composition of Partially Observable Services Exporting their Behaviour. ICAPS Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi
2009	—	`conf`	Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2009	—	`ch.`	IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Multi-Agent Programming, Languages, Tools and Applications Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
2009	—	`conf`	On Higher-Order Description Logics. Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2009	J	`jnl`	On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2009	Misc	`conf`	On-line adaptation of sequential mobile processes running concurrently. SAC Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella
2009	—	`conf`	Ontologies and Databases: The DL-Lite Approach. Reasoning Web Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati
2009	—	`ch.`	Using OWL in Data Integration. Semantic Web Information Management Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi
2008	—	`conf`	A model of contingent planning for agent programming languages. AAMAS (1) Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde
2008	J	`jnl`	Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi
2008	J	`jnl`	Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi
2008	A*	`conf`	Behavior Composition in the Presence of Failure. KR Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
2008	J	`jnl`	Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2008	—	`conf`	Data Integration throughDL-Lite SDKB Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi
2008	J	`jnl`	Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008	J	`jnl`	Linking Data to Ontologies. J. Data Semant. Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2008	A*	`conf`	Path-Based Identification Constraints in Description Logics. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008	A*	`conf`	Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS Sebastian Sardiña, Giuseppe De Giacomo
2008	—	`conf`	Towards Higher-Order DL-Lite. Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2008	A*	`conf`	View-Based Query Answering over Description Logic Ontologies. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	Actions and Programs over Description Logic Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2007	A*	`conf`	Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI Giuseppe De Giacomo, Sebastian Sardiña
2007	A*	`conf`	Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
2007	A	`conf`	AutomaticWorkflows Composition of Mobile Services. ICWS Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi
2007	—	`conf`	Can OWL Model Football Leagues? OWLED Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	A*	`conf`	EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
2007	A	`conf`	Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. BPM Massimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo
2007	—	`conf`	MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati
2007	A*	`conf`	On reconciling data exchange, data integration, and peer data management. PODS Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	A*	`conf`	On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2007	—	`conf`	Ontology-based Database Access. SEBD Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2007	J	`jnl`	Tractable Reasoning and Efficient Query Answering in Description Logics: The J. Autom. Reason. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	J	`jnl`	View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2006	—	`conf`	Automatic Web Service Composition. IEEE SCC Giuseppe De Giacomo, Massimo Mecella
2006	—	`conf`	Automatic web services composition in trustaware communities. SWS Fahima Cheikh, Giuseppe De Giacomo, Massimo Mecella
2006	A	`conf`	ComposingWeb Services with Nondeterministic Behavior. ICWS Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
2006	A*	`conf`	Data Complexity of Query Answering in Description Logics. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006	—	`conf`	Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006	—	`conf`	Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2006	A*	`conf`	On the Limits of Planning over Belief States under Strict Uncertainty. KR Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2006	A*	`conf`	On the Update of Description Logic Ontologies at the Instance Level. AAAI Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2005	A*	`conf`	Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
2005	—	`conf`	Automatic Composition of Web Services in Colombo. SEBD Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
2005	J	`jnl`	Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2005	A	`conf`	Composition of Services with Nondeterministic Observable Behavior. ICSOC Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
2005	J	`jnl`	Conjunctive Query Containment and Answering under Description Logics Constraints CoRR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2005	A*	`conf`	DL-Lite: Tractable Description Logics for Ontologies. AAAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Data Complexity of Query Answering in Description Logics. Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	J	`jnl`	Data Integration: A Logic-Based Perspective. AI Mag. Diego Calvanese, Giuseppe De Giacomo
2005	J	`jnl`	Decidable containment of recursive queries. Theor. Comput. Sci. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2005	—	`conf`	Efficiently Managing Data Intensive Ontologies. SWAP Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella
2005	A*	`conf`	QuOnto: Querying Ontologies. AAAI Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati
2005	J	`jnl`	Reasoning on UML class diagrams. Artif. Intell. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
2005	—	`conf`	Tailoring OWL for Data Intensive Ontologies. OWLED Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	A	`conf`	View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2004	—	`conf`	: A Tool for Automatic Composition ofServices Based on Logics of Programs. TES Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2004	—	`conf`	DL-Lite: Practical Reasoning for Rich Dls. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
2004	J	`jnl`	Data integration under integrity constraints. Inf. Syst. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2004	—	`conf`	Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
2004	A*	`conf`	Logical Foundations of Peer-To-Peer Data Integration. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2004	A	`conf`	On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2004	J	`jnl`	On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2004	—	`conf`	Query Reformulation over Ontology-based Peers. SEBD Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2004	A*	`conf`	Scaling Up Reasoning about Actions Using Relational Database Technology. AAAI Giuseppe De Giacomo, Toni Mancini
2004	A	`conf`	Synthesis of underspecified composite ICSOC Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
2004	—	`conf`	Tackling Inconsistencies in Data Integration through Source Preferences. IQIS Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2004	—	`conf`	Towards Implementing Finite Model Reasoning in Description Logics. Description Logics Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
2004	A*	`conf`	What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2003	—	`conf`	A Foundational Vision of e-Services. WES Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2003	A	`conf`	Automatic Composition of E-services That Export Their Behavior. ICSOC Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2003	A	`conf`	Decidable Containment of Recursive Queries. ICDT Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2003	—	`ch.`	Expressive Description Logics. Description Logic Handbook Diego Calvanese, Giuseppe De Giacomo
2003	A	`conf`	IBIS: Semantic Data Integration at Work. CAiSE Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola
2003	—	`ed.`	Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 Description Logics Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi
2003	—	`conf`	Query Containment Using Views. SEBD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2003	—	`conf`	Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
2003	J	`jnl`	Reasoning on regular path queries. SIGMOD Rec. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2003	—	`conf`	Semantic Data Integration in P2P Systems. DBISP2P Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2003	A*	`conf`	View-based query containment. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2003	—	`conf`	e-Service Composition by Description Logics Based Reasoning. Description Logics Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2002	—	`conf`	2ATAs make DLs easy. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	C	`conf`	A Formal Framework for Reasoning on UML Class Diagrams. ISMIS Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	—	`conf`	Accessing Data Integration Systems through Conceptual Schemas. SEBD Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	A	`conf`	Data Integration under Integrity Constraints. CAiSE Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	—	`conf`	Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	A*	`conf`	Description Logics: Foundations for Class-based Knowledge Representation. LICS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	—	`conf`	IBIS: Data Integration at Work. SEBD Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola
2002	A*	`conf`	Lossless Regular Views. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2002	A	`conf`	On the Expressive Power of Data Integration Systems. ER Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	J	`jnl`	On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	A*	`conf`	On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
2002	A*	`conf`	Reasoning about Actions and Planning in LTL Action Theories. KR Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2002	J	`jnl`	Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2001	—	`conf`	A Framework for Ontology Integration. SWWS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	—	`conf`	A Framework for Ontology Integration. The Emerging Semantic Web Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	A	`conf`	Accessing Data Integration Systems through Conceptual Schemas. ER Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	J	`jnl`	Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
2001	A*	`conf`	Identification Constraints and Functional Dependencies in Description Logics. IJCAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	J	`jnl`	Incremental execution of guarded theories. ACM Trans. Comput. Log. Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
2001	—	`conf`	Ontology of Integration and Integration of Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	—	`ch.`	Reasoning in Expressive Description Logics. Handbook of Automated Reasoning Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini
2001	—	`conf`	View-Based Query Answering and Query Containment over Semistructured Data. DBPL Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2000	A*	`conf`	Answering Regular Path Queries Using Views. ICDE Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	J	`jnl`	Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. Giuseppe De Giacomo, Fabio Massacci
2000	J	`jnl`	ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
2000	A*	`conf`	Containment of Conjunctive Regular Path Queries with Inverse. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	Keys for Free in Description Logics. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2000	A*	`conf`	View-Based Query Processing and Constraint Satisfaction. LICS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	A*	`conf`	View-Based Query Processing for Regular Path Queries with Inverse. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	What is Query Rewriting? CIA Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	What is View-Based Query Rewriting? KRDB Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	—	`conf`	A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1999	J	`jnl`	A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1999	—	`conf`	Answering Queries Using Views in Description Logics. KRDB Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	—	`conf`	Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP Giuseppe De Giacomo, Moshe Y. Vardi
1999	J	`jnl`	Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Netw. Inf. Syst. J. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
1999	J	`jnl`	Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. Giuseppe De Giacomo, Riccardo Rosati
1999	J	`jnl`	Modeling and Querying Semi-Structured data . Netw. Inf. Syst. J. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	A*	`conf`	Projection Using Regression and Sensors. IJCAI Giuseppe De Giacomo, Hector J. Levesque
1999	A	`conf`	Queries and Constraints on Semi-structured Data. CAiSE Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	—	`conf`	Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	J	`jnl`	Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. Xiao Jun Chen, Giuseppe De Giacomo
1999	A*	`conf`	Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	J	`jnl`	Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty
1999	J	`jnl`	Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	A*	`conf`	Rewriting of Regular Expressions and Regular Path Queries. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	—	`conf`	Rewriting of Regular Path Queries. SEBD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	J	`jnl`	The AAAI Fall Symposia. AI Mag. Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con
1998	—	`conf`	A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
1998	A*	`conf`	Description Logic Framework for Information Integration. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	A*	`conf`	Execution Monitoring of High-Level Robot Programs. KR Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski
1998	—	`conf`	Extending Semi-Structured Data. SEBD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1998	B	`conf`	Information Integration: Conceptual Modeling and Reasoning Support. CoopIS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	A*	`conf`	On the Decidability of Query Containment under Constraints. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1998	—	`ed.`	Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998 Description Logics Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty
1998	—	`conf`	Semi-structured Data with Constraints and Incomplete Information. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1998	—	`conf`	Source Integration in Data Warehousing. DEXA Workshop Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	—	`conf`	What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1997	J	`jnl`	A Uniform Framework for Concept Definitions in Description Logics CoRR Giuseppe De Giacomo, Maurizio Lenzerini
1997	J	`jnl`	A Uniform Framework for Concept Definitions in Description Logics. J. Artif. Intell. Res. Giuseppe De Giacomo, Maurizio Lenzerini
1997	—	`conf`	Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1997	—	`conf`	Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1997	—	`conf`	Planning with Sensing for a Mobile Robot. ECP Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1997	—	`conf`	Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
1997	C	`conf`	Representing and Reasoning on SGML Documents. ISMIS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1996	B	`conf`	Conceptual Data Model with Structured Objects for Statistical Database. SSDBM Giuseppe De Giacomo, Paolo Naggar
1996	J	`jnl`	Eliminating "Converse" from Converse PDL. J. Log. Lang. Inf. Giuseppe De Giacomo
1996	—	`conf`	Exptime Tableaux for ALC. Description Logics Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci
1996	J	`jnl`	Intensional Query Answering by Partial Evaluation. J. Intell. Inf. Syst. Giuseppe De Giacomo
1996	A*	`conf`	Moving a Robot: The KR&R Approach at Work. KR Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1996	—	`conf`	Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 Giuseppe De Giacomo, Xiao Jun Chen
1996	—	`conf`	Representing SGML Documents in Description Logics. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1996	—	`conf`	TBox and ABox Reasoning in Expressive Description Logics. Description Logics Giuseppe De Giacomo, Maurizio Lenzerini
1996	A*	`conf`	TBox and ABox Reasoning in Expressive Description Logics. KR Giuseppe De Giacomo, Maurizio Lenzerini
1996	A	`conf`	Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE Giuseppe De Giacomo, Fabio Massacci
1995	—	`conf`	Increasing the Power of Structured Objects. KRDB Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1995	—	`conf`	PDL-based framework for reasoning about actions. AI*IA Giuseppe De Giacomo, Maurizio Lenzerini
1995	—	`conf`	Structured Objects: Modeling and Reasoning. DOOD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1995	A*	`conf`	What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) Giuseppe De Giacomo, Maurizio Lenzerini
1994	A*	`conf`	Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI Giuseppe De Giacomo, Maurizio Lenzerini
1994	A	`conf`	Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI Giuseppe De Giacomo, Maurizio Lenzerini
1994	B	`conf`	Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA Giuseppe De Giacomo, Maurizio Lenzerini
1992	C	`conf`	Intensional Query Answering: An Application of Partial Evaluation. LOPSTR Giuseppe De Giacomo
1992	—	`conf`	Intensional query answering by partial evaluation. CNKBS Giuseppe De Giacomo