Local Conditional High-Level Robot Programs. - Sebastian Sardiña (LPAR, 2001)

Incremental execution of guarded theories. - Giuseppe De Giacomo; Hector J. Levesque; Sebastian Sardiña (ACM Trans. Comput. Log., 2001)

Rational action in agent programs with prioritized goals. - Sebastian Sardiña; Steven Shapiro (AAMAS, 2003)

On Ability to Autonomously Execute Agent Programs with Sensing. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (AAMAS, 2004)

On the Semantics of Deliberation in Indigolog - from Theory to Implementation. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (Ann. Math. Artif. Intell., 2004)

Deliberation in agent programming languages. - Sebastian Sardiña (2005)

Hierarchical planning in BDI agent programming languages: a formal approach. - Sebastian Sardiña; Lavindra de Silva; Lin Padgham (AAMAS, 2006)

Modelling situations in intelligent agents. - John Thangarajah; Lin Padgham; Sebastian Sardiña (AAMAS, 2006)

On the Limits of Planning over Belief States under Strict Uncertainty. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (KR, 2006)

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

Goals in the context of BDI plan failure and planning. - Sebastian Sardiña; Lin Padgham (AAMAS, 2007)

Automatic Synthesis of New Behaviors from a Library of Available Behaviors. - Giuseppe De Giacomo; Sebastian Sardiña (IJCAI, 2007)

Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. - Sebastian Sardiña; Giuseppe De Giacomo (ICAPS, 2008)

Behavior Composition in the Presence of Failure. - Sebastian Sardiña; Fabio Patrizi; Giuseppe De Giacomo (KR, 2008)

Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach. - Massimiliano de Leoni; Andrea Marrella; Massimo Mecella; Stefano Valentini; Sebastian Sardiña (WETICE, 2008)

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque; Sebastian Sardiña (Multi-Agent Programming, Languages, Tools and Applications, 2009)

Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis. - Sarah L. Hickmott; Sebastian Sardiña (ICAPS, 2009)

First principles planning in BDI systems. - Lavindra de Silva; Sebastian Sardiña; Lin Padgham (AAMAS (2), 2009)

Composition of ConGolog Programs. - Sebastian Sardiña; Giuseppe De Giacomo (IJCAI, 2009)

Golog Speaks the BDI Language. - Sebastian Sardiña; Yves Lespérance (PROMAS, 2009)

Enhancing the Adaptation of BDI Agents Using Learning Techniques. - Stéphane Airiau; Lin Padgham; Sebastian Sardiña; Sandip Sen (Int. J. Agent Technol. Syst., 2009)

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

Agent programming via planning programs. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (AAMAS, 2010)

Learning context conditions for BDI plan selection. - Dhirendra Singh; Sebastian Sardiña; Lin Padgham; Stéphane Airiau (AAMAS, 2010)

Generalized Planning with Loops under Strong Fairness Constraints. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (KR, 2010)

A BDI agent system for the cow herding domain. - Nitin Yadav; Chenguang Zhou; Sebastian Sardiña; Ralph Rönnquist (Ann. Math. Artif. Intell., 2010)

Extending BDI plan selection to incorporate learning from experience. - Dhirendra Singh; Sebastian Sardiña; Lin Padgham (Robotics Auton. Syst., 2010)

Decision theoretic behavior composition. - Nitin Yadav; Sebastian Sardiña (AAMAS, 2011)

Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features. - Andrea Marrella; Massimo Mecella; Alessandro Russo 001; Arthur H. M. ter Hofstede; Sebastian Sardiña (BPM (Demos), 2011)

Integrating Learning into a BDI Agent for Environments with Changing Dynamics. - Dhirendra Singh; Sebastian Sardiña; Lin Padgham; Geoff James (IJCAI, 2011)

A BDI agent programming language with failure handling, declarative goals, and planning. - Sebastian Sardiña; Lin Padgham (Auton. Agents Multi Agent Syst., 2011)

Revising conflicting intention sets in BDI agents. - Steven Shapiro; Sebastian Sardiña; John Thangarajah; Lawrence Cavedon; Lin Padgham (AAMAS, 2012)

Measuring plan coverage and overlap for agent reasoning. - John Thangarajah; Sebastian Sardiña; Lin Padgham (AAMAS, 2012)

Reasoning about Agent Programs Using ATL-Like Logics. - Nitin Yadav; Sebastian Sardiña (JELIA, 2012)

Qualitative Approximate Behavior Composition. - Nitin Yadav; Sebastian Sardiña (JELIA, 2012)

Behavior Composition as Fully Observable Non-Deterministic Planning. - Miquel Ramírez; Nitin Yadav; Sebastian Sardiña (ICAPS, 2013)

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

Using Strategic Logics to Reason about Agent Programs. - Nitin Yadav; Sebastian Sardiña (IJCAI, 2013)

Automatic behavior composition synthesis. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2013)

Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (ICAPS, 2014)

Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains. - Miquel Ramírez; Sebastian Sardiña (ICAPS, 2014)

Evaluating coverage based intention selection. - Max Waters; Lin Padgham; Sebastian Sardiña (AAMAS, 2014)

SmartPM: Automated Adaptation of Dynamic Processes. - Andrea Marrella; Massimo Mecella; Sebastian Sardiña; Paola Tucceri (ICSOC Workshops, 2014)

SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. - Andrea Marrella; Massimo Mecella; Sebastian Sardiña (KR, 2014)

Path Planning with Inventory-Driven Jump-Point-Search. - Davide Aversa; Sebastian Sardiña; Stavros Vassos (AIIDE, 2015)

SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains. - Andrea Marrella; Patris Halapuu; Massimo Mecella; Sebastian Sardiña (BPM (Demos), 2015)

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. - Sebastian Sardiña; Nicolás D'Ippolito (IJCAI, 2015)

Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System (Short Paper). - Andrea Marrella; Massimo Mecella; Patris Halapuu; Sebastian Sardiña (SOCA, 2015)

Improving domain-independent intention selection in BDI systems. - Max Waters; Lin Padgham; Sebastian Sardiña (Auton. Agents Multi Agent Syst., 2015)

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. - Robert Morris 004; Blai Bonet; Marc Cavazza; Marie desJardins; Ariel Felner; Nick Hawes; Brad Knox; Sven Koenig; George Dimitri Konidaris; Jérôme Lang; Carlos Linares López; Daniele Magazzeni; et al. (AI Mag., 2015)

Special Issue on: Knowledge-intensive Business Processes. - Arthur H. M. ter Hofstede; Massimo Mecella; Sebastian Sardiña (J. Data Semant., 2015)

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

Computing Trace Alignment against Declarative Process Models through Planning. - Giuseppe De Giacomo; Fabrizio Maria Maggi; Andrea Marrella; Sebastian Sardiña (ICAPS, 2016)

Pruning and preprocessing methods for inventory-aware pathfinding. - Davide Aversa; Sebastian Sardiña; Stavros Vassos (CIG, 2016)

Summary Information for Reasoning About Hierarchical Plans. - Lavindra de Silva; Sebastian Sardiña; Lin Padgham (ECAI, 2016)

Incomplete Causal Laws in the Situation Calculus Using Free Fluents. - Marcelo Arenas; Jorge A. Baier; Juan S. Navarro; Sebastian Sardiña (IJCAI, 2016)

Parallel Behavior Composition for Manufacturing. - Paolo Felli; Brian Logan 001; Sebastian Sardiña (IJCAI, 2016)

An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. - Andrea Marrella; Massimo Mecella; Sebastian Sardiña (IJCAI, 2016)

Agent planning programs. - Giuseppe De Giacomo; Alfonso Emilio Gerevini; Fabio Patrizi; Alessandro Saetti; Sebastian Sardiña (Artif. Intell., 2016)

Service Composition in Stochastic Settings. - Ronen I. Brafman; Giuseppe De Giacomo; Massimo Mecella; Sebastian Sardiña (AI*IA, 2017)

Cost-Based Goal Recognition for Path-Planning. - Peta Masters; Sebastian Sardiña (AAMAS, 2017)

Handling non-local dead-ends in Agent Planning Programs. - Lukás Chrpa; Nir Lipovetzky; Sebastian Sardiña (IJCAI, 2017)

Deceptive Path-Planning. - Peta Masters; Sebastian Sardiña (IJCAI, 2017)

Agent Design Consistency Checking via Planning. - Nitin Yadav; John Thangarajah; Sebastian Sardiña (IJCAI, 2017)

Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. - Parthasarathy Nadarajan; Michael Botsch; Sebastian Sardiña (IJCNN, 2017)

Norm Enforcement as Supervisory Control. - Mehdi Dastani; Sebastian Sardiña; Vahid Yazdanpanah (PRIMA, 2017)

Addendum to: Summary Information for Reasoning About Hierarchical Plans. - Lavindra de Silva; Sebastian Sardiña; Lin Padgham (CoRR, 2017)

Supervisory Control for Behavior Composition. - Paolo Felli; Nitin Yadav; Sebastian Sardiña (IEEE Trans. Autom. Control., 2017)

Intelligent Process Adaptation in the SmartPM System. - Andrea Marrella; Massimo Mecella; Sebastian Sardiña (ACM Trans. Intell. Syst. Technol., 2017)

Plan Relaxation via Action Debinding and Deordering. - Max Waters; Bernhard Nebel; Lin Padgham; Sebastian Sardiña (ICAPS, 2018)

Cost-Based Goal Recognition for the Path-Planning Domain. - Peta Masters; Sebastian Sardiña (IJCAI, 2018)

On the Progression of Situation Calculus Universal Theories with Constants. - Marcelo Arenas; Jorge A. Baier; Juan S. Navarro; Sebastian Sardiña (KR, 2018)

Supporting adaptiveness of cyber-physical processes through action-based formalisms. - Andrea Marrella; Massimo Mecella; Sebastian Sardiña (AI Commun., 2018)

Phase transition in the knapsack problem. - Nitin Yadav; Carsten Murawski; Sebastian Sardiña; Peter Bossaerts (CoRR, 2018)

Situation Calculus for Synthesis of Manufacturing Controllers. - Giuseppe De Giacomo; Brian Logan 001; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (CoRR, 2018)

Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis. - Nicolás D'Ippolito; Natalia Rodríguez; Sebastian Sardiña (J. Artif. Intell. Res., 2018)

Goal Recognition for Rational and Irrational Agents. - Peta Masters; Sebastian Sardiña (AAMAS, 2019)

Cost-Based Goal Recognition in Navigational Domains. - Peta Masters; Sebastian Sardiña (J. Artif. Intell. Res., 2019)

Pacman Capture the Flag in AI Courses. - Nir Lipovetzky; Sebastian Sardiña (IEEE Trans. Games, 2019)

HTN-like solutions for classical planning problems: An application to BDI agent systems. - Lavindra de Silva; Lin Padgham; Sebastian Sardiña (Theor. Comput. Sci., 2019)

Multi-Tier Automated Planning for Adaptive Behavior. - Daniel Alfredo Ciolek; Nicolás D'Ippolito; Alberto Pozanco; Sebastian Sardiña (ICAPS, 2020)

Goal Recognition Using Off-The-Shelf Process Mining Techniques. - Artem Polyvyanyy; Zihang Su; Nir Lipovetzky; Sebastian Sardiña (AAMAS, 2020)

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 Sardiña; Peter Bossaerts (ECAI, 2020)

Optimising Partial-Order Plans Via Action Reinstantiation. - Max Waters; Lin Padgham; Sebastian Sardiña (IJCAI, 2020)

Multi-tier Automated Planning for Adaptive Behavior (Extended Version). - Daniel Alfredo Ciolek; Nicolás D'Ippolito; Alberto Pozanco; Sebastian Sardiña (CoRR, 2020)

Compositional Supervisory Control via Reactive Synthesis and Automated Planning. - Daniel Alfredo Ciolek; Víctor A. Braberman; Nicolás D'Ippolito; Sebastian Sardiña; Sebastián Uchitel (IEEE Trans. Autom. Control., 2020)

Expecting the unexpected: Goal recognition for rational and irrational agents. - Peta Masters; Sebastian Sardiña (Artif. Intell., 2021)

Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces. - Andres G. Jaramillo-Yanez; Marco E. Benalcázar; Sebastian Sardiña; Fabio Zambetta (AAAI, 2022)

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

GRACE: A Simulator for Continuous Goal Recognition over Changing Environments. - Zihang Su; Artem Polyvyanyy; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest (PMAI@IJCAI, 2022)

Situation calculus for controller synthesis in manufacturing systems with first-order state representation. - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2022)

Designing an expert system to support aviation occurrence investigations. - Chee Beng Richard Ng; Cees Bil; Sebastian Sardiña; Terry O'bree (Expert Syst. Appl., 2022)

Flexible FOND Planning with Explicit Fairness Assumptions. - Ivan D. Rodriguez; Blai Bonet; Sebastian Sardiña; Hector Geffner (J. Artif. Intell. Res., 2022)

A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming. - Nitin Yadav; Sebastian Sardiña (ECAI, 2023)

Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. - Zihang Su; Tianshi Yu; Nir Lipovetzky; Alireza Mohammadi 002; Denny Oetomo; Artem Polyvyanyy; Sebastian Sardiña; Ying Tan 001; Nick van Beest (ICPM, 2023)

Continuous Probabilistic Motion Prediction Based on Latent Space Interpolation. - Parthasarathy Nadarajan; Michael Botsch; Sebastian Sardiña (ITSC, 2023)

Fast and accurate data-driven goal recognition using process mining techniques. - Zihang Su; Artem Polyvyanyy; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest (Artif. Intell., 2023)

Adaptive goal recognition using process mining techniques. - Zihang Su; Artem Polyvyanyy; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest (Eng. Appl. Artif. Intell., 2024)

Process mining over sensor data: Goal recognition for powered transhumeral prostheses. - Zihang Su; Tianshi Yu; Artem Polyvyanyy; Ying Tan 001; Nir Lipovetzky; Sebastian Sardiña; Nick van Beest; Alireza Mohammadi 002; Denny Oetomo (Inf. Syst., 2025)