| 2025 | ECAI | On the Computational Complexity of Partial Satisfaction Planning. | Jiajia Song, Seeun William Umboh, Nir Lipovetzky, Sebastian Sardia |
| 2025 | ICAPS | Frontmatter. | Daniel Harabor, Nir Lipovetzky, Miquel Ramrez, Sebastian Sardia |
| 2025 | ICAPS | Agent Planning Programs as Non-deterministic Planning under Fairness. | Nitin Yadav, Sebastian Sardia, Hector Geffner |
| 2023 | ECAI | A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming. | Nitin Yadav, Sebastian Sardia |
| 2023 | ICPM | Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. | Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardia, Ying Tan, Nick van Beest |
| 2022 | AAAI | Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces. | Andres G. Jaramillo-Yanez, Marco E. Benalczar, Sebastian Sardia, Fabio Zambetta |
| 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 | GRACE: A Simulator for Continuous Goal Recognition over Changing Environments. | Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardia, Nick van Beest |
| 2020 | ECAI | Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem. | Nitin Yadav, Carsten Murawski, Sebastian Sardia, Peter Bossaerts |
| 2020 | IJCAI | Optimising Partial-Order Plans Via Action Reinstantiation. | Max Waters, Lin Padgham, Sebastian Sardia |
| 2018 | IJCAI | Cost-Based Goal Recognition for the Path-Planning Domain. | Peta Masters, Sebastian Sardia |
| 2018 | KR | On the Progression of Situation Calculus Universal Theories with Constants. | Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardia |
| 2017 | IJCAI | Handling non-local dead-ends in Agent Planning Programs. | Luks Chrpa, Nir Lipovetzky, Sebastian Sardia |
| 2017 | IJCAI | Deceptive Path-Planning. | Peta Masters, Sebastian Sardia |
| 2017 | IJCAI | Agent Design Consistency Checking via Planning. | Nitin Yadav, John Thangarajah, Sebastian Sardia |
| 2017 | IJCNN | Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. | Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardia |
| 2017 | PRIMA | Norm Enforcement as Supervisory Control. | Mehdi Dastani, Sebastian Sardia, Vahid Yazdanpanah |
| 2016 | AAAI | Verifying ConGolog Programs on Bounded Situation Calculus Theories. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Sebastian Sardia |
| 2016 | ECAI | Summary Information for Reasoning About Hierarchical Plans. | Lavindra de Silva, Sebastian Sardia, Lin Padgham |
| 2016 | IJCAI | Incomplete Causal Laws in the Situation Calculus Using Free Fluents. | Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardia |
| 2016 | IJCAI | Parallel Behavior Composition for Manufacturing. | Paolo Felli, Brian Logan, Sebastian Sardia |
| 2016 | IJCAI | An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. | Andrea Marrella, Massimo Mecella, Sebastian Sardia |
| 2015 | BPM | SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains. | Andrea Marrella, Patris Halapuu, Massimo Mecella, Sebastian Sardia |
| 2015 | IJCAI | Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. | Sebastian Sardia, Nicols D'Ippolito |
| 2014 | ICSOC | SmartPM: Automated Adaptation of Dynamic Processes. | Andrea Marrella, Massimo Mecella, Sebastian Sardia, Paola Tucceri |
| 2014 | KR | SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. | Andrea Marrella, Massimo Mecella, Sebastian Sardia |
| 2013 | IJCAI | Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. | Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardia |
| 2013 | IJCAI | Using Strategic Logics to Reason about Agent Programs. | Nitin Yadav, Sebastian Sardia |
| 2012 | AAMAS | Revising conflicting intention sets in BDI agents. | Steven Shapiro, Sebastian Sardia, John Thangarajah, Lawrence Cavedon, Lin Padgham |
| 2012 | AAMAS | Measuring plan coverage and overlap for agent reasoning. | John Thangarajah, Sebastian Sardia, Lin Padgham |
| 2012 | JELIA | Reasoning about Agent Programs Using ATL-Like Logics. | Nitin Yadav, Sebastian Sardia |
| 2012 | JELIA | Qualitative Approximate Behavior Composition. | Nitin Yadav, Sebastian Sardia |
| 2011 | BPM | Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features. | Andrea Marrella, Massimo Mecella, Alessandro Russo, Arthur H. M. ter Hofstede, Sebastian Sardia |
| 2011 | IJCAI | Integrating Learning into a BDI Agent for Environments with Changing Dynamics. | Dhirendra Singh, Sebastian Sardia, Lin Padgham, Geoff James |
| 2010 | AAAI | Two-Player Game Structures for Generalized Planning and Agent Composition. | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardia |
| 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 |
| 2008 | KR | Behavior Composition in the Presence of Failure. | Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo |
| 2008 | WETICE | Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach. | Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, Sebastian Sardia |
| 2007 | AAAI | Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. | Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo |
| 2007 | IJCAI | Automatic Synthesis of New Behaviors from a Library of Available Behaviors. | Giuseppe De Giacomo, Sebastian Sardia |
| 2006 | KR | On the Limits of Planning over Belief States under Strict Uncertainty. | Sebastian Sardia, Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2002 | KR | On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque, Sebastian Sardia |
| 2001 | LPAR | Local Conditional High-Level Robot Programs. | Sebastian Sardia |