Sebastian Sardiña

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 52

Top Venues

Publications

Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
Adaptive goal recognition using process mining techniques. Eng. Appl. Artif. Intell. 133 (2024)
Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardiña, Ying Tan, Nick van Beest
Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. CoRR (2023)
Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
Fast and accurate data-driven goal recognition using process mining techniques. Artif. Intell. 323 (2023)
Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardiña, Ying Tan, Nick van Beest
Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. ICPM (2023)
Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardiña
Continuous Probabilistic Motion Prediction Based on Latent Space Interpolation. ITSC (2023)
Nitin Yadav, Sebastian Sardiña
A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming. ECAI (2023)
Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
GRACE: A Simulator for Continuous Goal Recognition over Changing Environments. PMAI@IJCAI (2022)
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
Flexible FOND Planning with Explicit Fairness Assumptions. J. Artif. Intell. Res. 74 (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302 (2022)
Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI (2022)
Andres G. Jaramillo-Yanez, Marco E. Benalcázar, Sebastian Sardiña, Fabio Zambetta
Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces. AAAI (2022)
Chee Beng Richard Ng, Cees Bil, Sebastian Sardiña, Terry O'bree
Designing an expert system to support aviation occurrence investigations. Expert Syst. Appl. 207 (2022)
Peta Masters, Sebastian Sardiña
Expecting the unexpected: Goal recognition for rational and irrational agents. Artif. Intell. 297 (2021)
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
Flexible FOND Planning with Explicit Fairness Assumptions. CoRR (2021)
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
Flexible FOND Planning with Explicit Fairness Assumptions. ICAPS (2021)
Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
Multi-tier Automated Planning for Adaptive Behavior (Extended Version). CoRR (2020)
Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. 65 (8) (2020)
Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts
Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem. ECAI (2020)
Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
Multi-Tier Automated Planning for Adaptive Behavior. ICAPS (2020)
Max Waters, Lin Padgham, Sebastian Sardiña
Optimising Partial-Order Plans Via Action Reinstantiation. IJCAI (2020)
Artem Polyvyanyy, Zihang Su, Nir Lipovetzky, Sebastian Sardiña
Goal Recognition Using Off-The-Shelf Process Mining Techniques. AAMAS (2020)
Nir Lipovetzky, Sebastian Sardiña
Pacman Capture the Flag in AI Courses. IEEE Trans. Games 11 (3) (2019)
Peta Masters, Sebastian Sardiña
Goal Recognition for Rational and Irrational Agents. AAMAS (2019)
Peta Masters, Sebastian Sardiña
Cost-Based Goal Recognition in Navigational Domains. J. Artif. Intell. Res. 64 (2019)
Lavindra de Silva, Lin Padgham, Sebastian Sardiña
HTN-like solutions for classical planning problems: An application to BDI agent systems. Theor. Comput. Sci. 763 (2019)
Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis. J. Artif. Intell. Res. 61 (2018)
Max Waters, Bernhard Nebel, Lin Padgham, Sebastian Sardiña
Plan Relaxation via Action Debinding and Deordering. ICAPS (2018)
Peta Masters, Sebastian Sardiña
Cost-Based Goal Recognition for the Path-Planning Domain. IJCAI (2018)
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
On the Progression of Situation Calculus Universal Theories with Constants. KR (2018)
Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts
Phase transition in the knapsack problem. CoRR (2018)
Andrea Marrella, Massimo Mecella, Sebastian Sardiña
Supporting adaptiveness of cyber-physical processes through action-based formalisms. AI Commun. 31 (1) (2018)
Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
Situation Calculus for Synthesis of Manufacturing Controllers. CoRR (2018)
Andrea Marrella, Massimo Mecella, Sebastian Sardiña
Intelligent Process Adaptation in the SmartPM System. ACM Trans. Intell. Syst. Technol. 8 (2) (2017)
Nitin Yadav, John Thangarajah, Sebastian Sardiña
Agent Design Consistency Checking via Planning. IJCAI (2017)
Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña
Handling non-local dead-ends in Agent Planning Programs. IJCAI (2017)
Paolo Felli, Nitin Yadav, Sebastian Sardiña
Supervisory Control for Behavior Composition. IEEE Trans. Autom. Control. 62 (2) (2017)
Peta Masters, Sebastian Sardiña
Deceptive Path-Planning. IJCAI (2017)
Mehdi Dastani, Sebastian Sardiña, Vahid Yazdanpanah
Norm Enforcement as Supervisory Control. PRIMA (2017)
Lavindra de Silva, Sebastian Sardiña, Lin Padgham
Addendum to: Summary Information for Reasoning About Hierarchical Plans. CoRR (2017)
Peta Masters, Sebastian Sardiña
Cost-Based Goal Recognition for Path-Planning. AAMAS (2017)
Ronen I. Brafman, Giuseppe De Giacomo, Massimo Mecella, Sebastian Sardiña
Service Composition in Stochastic Settings. AI*IA (2017)
Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardiña
Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. IJCNN (2017)
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña
Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI (2016)
Andrea Marrella, Massimo Mecella, Sebastian Sardiña
An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. IJCAI (2016)
Paolo Felli, Nitin Yadav, Sebastian Sardiña
Supervisory Control for Behavior Composition. CoRR (2016)
Davide Aversa, Sebastian Sardiña, Stavros Vassos
Path planning with Inventory-driven Jump-Point-Search. CoRR (2016)
Lavindra de Silva, Sebastian Sardiña, Lin Padgham
Summary Information for Reasoning About Hierarchical Plans. ECAI (2016)
Paolo Felli, Brian Logan, Sebastian Sardiña
Parallel Behavior Composition for Manufacturing. IJCAI (2016)
Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardiña
Computing Trace Alignment against Declarative Process Models through Planning. ICAPS (2016)
Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña
Agent planning programs. Artif. Intell. 231 (2016)
Davide Aversa, Sebastian Sardiña, Stavros Vassos
Pruning and preprocessing methods for inventory-aware pathfinding. CIG (2016)
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
Incomplete Causal Laws in the Situation Calculus Using Free Fluents. IJCAI (2016)
Robert Morris, 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, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh, Sebastian Sardiña, Kiri Wagstaff
A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. 36 (3) (2015)
Sebastian Sardiña, Nicolás D'Ippolito
Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. IJCAI (2015)
Davide Aversa, Sebastian Sardiña, Stavros Vassos
Path Planning with Inventory-Driven Jump-Point-Search. AIIDE (2015)
Andrea Marrella, Massimo Mecella, Patris Halapuu, Sebastian Sardiña
Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System (Short Paper). SOCA (2015)
Max Waters, Lin Padgham, Sebastian Sardiña
Improving domain-independent intention selection in BDI systems. Auton. Agents Multi Agent Syst. 29 (4) (2015)
Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña
Special Issue on: Knowledge-intensive Business Processes. J. Data Semant. 4 (1) (2015)
Andrea Marrella, Patris Halapuu, Massimo Mecella, Sebastian Sardiña
SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains. BPM (Demos) (2015)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. ICAPS (2014)
Andrea Marrella, Massimo Mecella, Sebastian Sardiña
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. KR (2014)
Andrea Marrella, Massimo Mecella, Sebastian Sardiña, Paola Tucceri
SmartPM: Automated Adaptation of Dynamic Processes. ICSOC Workshops (2014)
Miquel Ramírez, Sebastian Sardiña
Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains. ICAPS (2014)
Max Waters, Lin Padgham, Sebastian Sardiña
Evaluating coverage based intention selection. AAMAS (2014)
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI (2013)
Miquel Ramírez, Nitin Yadav, Sebastian Sardiña
Behavior Composition as Fully Observable Non-Deterministic Planning. ICAPS (2013)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Automatic behavior composition synthesis. Artif. Intell. 196 (2013)
Nitin Yadav, Sebastian Sardiña
Using Strategic Logics to Reason about Agent Programs. IJCAI (2013)
Nitin Yadav, Sebastian Sardiña
Reasoning about Agent Programs using ATL-like Logics CoRR (2012)
John Thangarajah, Sebastian Sardiña, Lin Padgham
Measuring plan coverage and overlap for agent reasoning. AAMAS (2012)
Nitin Yadav, Sebastian Sardiña
Qualitative Approximate Behavior Composition. JELIA (2012)
Nitin Yadav, Sebastian Sardiña
Qualitative Approximate Behavior Composition CoRR (2012)
Nitin Yadav, Sebastian Sardiña
Reasoning about Agent Programs Using ATL-Like Logics. JELIA (2012)
Steven Shapiro, Sebastian Sardiña, John Thangarajah, Lawrence Cavedon, Lin Padgham
Revising conflicting intention sets in BDI agents. AAMAS (2012)
Andrea Marrella, Massimo Mecella, Alessandro Russo, Arthur H. M. ter Hofstede, Sebastian Sardiña
Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features. BPM (Demos) (2011)
Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Geoff James
Integrating Learning into a BDI Agent for Environments with Changing Dynamics. IJCAI (2011)
Nitin Yadav, Sebastian Sardiña
Decision theoretic behavior composition. AAMAS (2011)
Sebastian Sardiña, Lin Padgham
A BDI agent programming language with failure handling, declarative goals, and planning. Auton. Agents Multi Agent Syst. 23 (1) (2011)
Dhirendra Singh, Sebastian Sardiña, Lin Padgham
Extending BDI plan selection to incorporate learning from experience. Robotics Auton. Syst. 58 (9) (2010)
Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Stéphane Airiau
Learning context conditions for BDI plan selection. AAMAS (2010)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Agent programming via planning programs. AAMAS (2010)
Nitin Yadav, Chenguang Zhou, Sebastian Sardiña, Ralph Rönnquist
A BDI agent system for the cow herding domain. Ann. Math. Artif. Intell. 59 (3-4) (2010)
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI (2010)
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
Generalized Planning with Loops under Strong Fairness Constraints. KR (2010)
Stéphane Airiau, Lin Padgham, Sebastian Sardiña, Sandip Sen
Enhancing the Adaptation of BDI Agents Using Learning Techniques. Int. J. Agent Technol. Syst. 1 (2) (2009)
Lavindra de Silva, Sebastian Sardiña, Lin Padgham
First principles planning in BDI systems. AAMAS (2) (2009)
Sebastian Sardiña, Giuseppe De Giacomo
Composition of ConGolog Programs. IJCAI (2009)
Sarah L. Hickmott, Sebastian Sardiña
Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis. ICAPS (2009)
Sebastian Sardiña, Yves Lespérance
Golog Speaks the BDI Language. PROMAS (2009)
Sebastian Sardiña, Giuseppe De Giacomo
Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS (2008)
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
Behavior Composition in the Presence of Failure. KR (2008)
Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, Sebastian Sardiña
Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach. WETICE (2008)
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI (2007)
Giuseppe De Giacomo, Sebastian Sardiña
Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI (2007)
Sebastian Sardiña, Lin Padgham
Goals in the context of BDI plan failure and planning. AAMAS (2007)
John Thangarajah, Lin Padgham, Sebastian Sardiña
Modelling situations in intelligent agents. AAMAS (2006)
Sebastian Sardiña, Lavindra de Silva, Lin Padgham
Hierarchical planning in BDI agent programming languages: a formal approach. AAMAS (2006)
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
On the Limits of Planning over Belief States under Strict Uncertainty. KR (2006)
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS (2004)
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. 41 (2-4) (2004)

Sebastian Sardiña.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Sardiña