Sebastian Sardiña

118 papers A* 34A 18B 6C 1Journal 42Unranked 11

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	J	`jnl`	Formal semantics for knowledge representation and automated reasoning in BPMN process models. Inf. Syst. Angelo Casciani, Simone Agostinelli, Yves Lespérance, Andrea Marrella, Sebastian Sardiña
2026	J	`jnl`	Planning as Goal Recognition: Deriving Heuristics from Intention Models - Extended Version. CoRR Giacomo Rosa, Jean Honorio, Nir Lipovetzky, Sebastian Sardiña
2025	J	`jnl`	Machine Learning Architectures for the Estimation of Predicted Occupancy Grids in Road Traffic. CoRR Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardiña
2025	A	`conf`	On the Computational Complexity of Partial Satisfaction Planning. ECAI Jiajia Song, Seeun William Umboh, Nir Lipovetzky, Sebastian Sardiña
2025	J	`jnl`	Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. CoRR Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardiña
2025	J	`jnl`	Process mining over sensor data: Goal recognition for powered transhumeral prostheses. Inf. Syst. Zihang Su, Tianshi Yu, Artem Polyvyanyy, Ying Tan, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest, Alireza Mohammadi, Denny Oetomo
2024	J	`jnl`	Adaptive goal recognition using process mining techniques. Eng. Appl. Artif. Intell. Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
2023	A	`conf`	A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming. ECAI Nitin Yadav, Sebastian Sardiña
2023	—	`conf`	Continuous Probabilistic Motion Prediction Based on Latent Space Interpolation. ITSC Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardiña
2023	B	`conf`	Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. ICPM Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardiña, Ying Tan, Nick van Beest
2023	J	`jnl`	Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. CoRR Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardiña, Ying Tan, Nick van Beest
2023	J	`jnl`	Fast and accurate data-driven goal recognition using process mining techniques. Artif. Intell. Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
2022	J	`jnl`	Designing an expert system to support aviation occurrence investigations. Expert Syst. Appl. Chee Beng Richard Ng, Cees Bil, Sebastian Sardiña, Terry O'bree
2022	J	`jnl`	Flexible FOND Planning with Explicit Fairness Assumptions. J. Artif. Intell. Res. Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
2022	—	`conf`	GRACE: A Simulator for Continuous Goal Recognition over Changing Environments. PMAI@IJCAI Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest
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`	Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces. AAAI Andres G. Jaramillo-Yanez, Marco E. Benalcázar, Sebastian Sardiña, Fabio Zambetta
2021	J	`jnl`	Expecting the unexpected: Goal recognition for rational and irrational agents. Artif. Intell. Peta Masters, Sebastian Sardiña
2021	A*	`conf`	Flexible FOND Planning with Explicit Fairness Assumptions. ICAPS Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
2021	J	`jnl`	Flexible FOND Planning with Explicit Fairness Assumptions. CoRR Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
2020	J	`jnl`	Compositional Supervisory Control via Reactive Synthesis and Automated Planning. IEEE Trans. Autom. Control. Daniel Alfredo Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastian Sardiña, Sebastián Uchitel
2020	A	`conf`	Goal Recognition Using Off-The-Shelf Process Mining Techniques. AAMAS Artem Polyvyanyy, Zihang Su, Nir Lipovetzky, Sebastian Sardiña
2020	A	`conf`	Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem. ECAI Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts
2020	A*	`conf`	Multi-Tier Automated Planning for Adaptive Behavior. ICAPS Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
2020	J	`jnl`	Multi-tier Automated Planning for Adaptive Behavior (Extended Version). CoRR Daniel Alfredo Ciolek, Nicolás D'Ippolito, Alberto Pozanco, Sebastian Sardiña
2020	A*	`conf`	Optimising Partial-Order Plans Via Action Reinstantiation. IJCAI Max Waters, Lin Padgham, Sebastian Sardiña
2019	J	`jnl`	Cost-Based Goal Recognition in Navigational Domains. J. Artif. Intell. Res. Peta Masters, Sebastian Sardiña
2019	A	`conf`	Goal Recognition for Rational and Irrational Agents. AAMAS Peta Masters, Sebastian Sardiña
2019	J	`jnl`	HTN-like solutions for classical planning problems: An application to BDI agent systems. Theor. Comput. Sci. Lavindra de Silva, Lin Padgham, Sebastian Sardiña
2019	J	`jnl`	Pacman Capture the Flag in AI Courses. IEEE Trans. Games Nir Lipovetzky, Sebastian Sardiña
2018	A*	`conf`	Cost-Based Goal Recognition for the Path-Planning Domain. IJCAI Peta Masters, Sebastian Sardiña
2018	J	`jnl`	Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis. J. Artif. Intell. Res. Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña
2018	A*	`conf`	On the Progression of Situation Calculus Universal Theories with Constants. KR Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
2018	J	`jnl`	Phase transition in the knapsack problem. CoRR Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts
2018	A*	`conf`	Plan Relaxation via Action Debinding and Deordering. ICAPS Max Waters, Bernhard Nebel, Lin Padgham, Sebastian Sardiña
2018	J	`jnl`	Situation Calculus for Synthesis of Manufacturing Controllers. CoRR Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
2018	J	`jnl`	Supporting adaptiveness of cyber-physical processes through action-based formalisms. AI Commun. Andrea Marrella, Massimo Mecella, Sebastian Sardiña
2017	J	`jnl`	Addendum to: Summary Information for Reasoning About Hierarchical Plans. CoRR Lavindra de Silva, Sebastian Sardiña, Lin Padgham
2017	A*	`conf`	Agent Design Consistency Checking via Planning. IJCAI Nitin Yadav, John Thangarajah, Sebastian Sardiña
2017	A	`conf`	Cost-Based Goal Recognition for Path-Planning. AAMAS Peta Masters, Sebastian Sardiña
2017	A*	`conf`	Deceptive Path-Planning. IJCAI Peta Masters, Sebastian Sardiña
2017	A*	`conf`	Handling non-local dead-ends in Agent Planning Programs. IJCAI Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña
2017	J	`jnl`	Intelligent Process Adaptation in the SmartPM System. ACM Trans. Intell. Syst. Technol. Andrea Marrella, Massimo Mecella, Sebastian Sardiña
2017	B	`conf`	Norm Enforcement as Supervisory Control. PRIMA Mehdi Dastani, Sebastian Sardiña, Vahid Yazdanpanah
2017	B	`conf`	Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. IJCNN Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardiña
2017	—	`conf`	Service Composition in Stochastic Settings. AI*IA Ronen I. Brafman, Giuseppe De Giacomo, Massimo Mecella, Sebastian Sardiña
2017	J	`jnl`	Supervisory Control for Behavior Composition. IEEE Trans. Autom. Control. Paolo Felli, Nitin Yadav, Sebastian Sardiña
2016	J	`jnl`	Agent planning programs. Artif. Intell. Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña
2016	A*	`conf`	An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. IJCAI Andrea Marrella, Massimo Mecella, Sebastian Sardiña
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`	Incomplete Causal Laws in the Situation Calculus Using Free Fluents. IJCAI Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
2016	A*	`conf`	Parallel Behavior Composition for Manufacturing. IJCAI Paolo Felli, Brian Logan, Sebastian Sardiña
2016	J	`jnl`	Path planning with Inventory-driven Jump-Point-Search. CoRR Davide Aversa, Sebastian Sardiña, Stavros Vassos
2016	—	`conf`	Pruning and preprocessing methods for inventory-aware pathfinding. CIG Davide Aversa, Sebastian Sardiña, Stavros Vassos
2016	A	`conf`	Summary Information for Reasoning About Hierarchical Plans. ECAI Lavindra de Silva, Sebastian Sardiña, Lin Padgham
2016	J	`jnl`	Supervisory Control for Behavior Composition. CoRR Paolo Felli, Nitin Yadav, Sebastian Sardiña
2016	A*	`conf`	Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña
2015	J	`jnl`	A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. 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
2015	—	`conf`	Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System (Short Paper). SOCA Andrea Marrella, Massimo Mecella, Patris Halapuu, Sebastian Sardiña
2015	J	`jnl`	Improving domain-independent intention selection in BDI systems. Auton. Agents Multi Agent Syst. Max Waters, Lin Padgham, Sebastian Sardiña
2015	—	`conf`	Path Planning with Inventory-Driven Jump-Point-Search. AIIDE Davide Aversa, Sebastian Sardiña, Stavros Vassos
2015	—	`conf`	SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains. BPM (Demos) Andrea Marrella, Patris Halapuu, Massimo Mecella, Sebastian Sardiña
2015	J	`jnl`	Special Issue on: Knowledge-intensive Business Processes. J. Data Semant. Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña
2015	A*	`conf`	Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. IJCAI Sebastian Sardiña, Nicolás D'Ippolito
2014	A*	`conf`	Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. ICAPS Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2014	A*	`conf`	Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains. ICAPS Miquel Ramírez, Sebastian Sardiña
2014	A	`conf`	Evaluating coverage based intention selection. AAMAS Max Waters, Lin Padgham, Sebastian Sardiña
2014	A*	`conf`	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. KR Andrea Marrella, Massimo Mecella, Sebastian Sardiña
2014	—	`conf`	SmartPM: Automated Adaptation of Dynamic Processes. ICSOC Workshops Andrea Marrella, Massimo Mecella, Sebastian Sardiña, Paola Tucceri
2013	J	`jnl`	Automatic behavior composition synthesis. Artif. Intell. Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2013	A*	`conf`	Behavior Composition as Fully Observable Non-Deterministic Planning. ICAPS Miquel Ramírez, Nitin Yadav, Sebastian Sardiña
2013	A*	`conf`	Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña
2013	A*	`conf`	Using Strategic Logics to Reason about Agent Programs. IJCAI Nitin Yadav, Sebastian Sardiña
2012	—	`ed.`	Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers DALT Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff
2012	A	`conf`	Measuring plan coverage and overlap for agent reasoning. AAMAS John Thangarajah, Sebastian Sardiña, Lin Padgham
2012	—	`ed.`	Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012 KiBP@KR Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña, Andrea Marrella
2012	J	`jnl`	Qualitative Approximate Behavior Composition CoRR Nitin Yadav, Sebastian Sardiña
2012	B	`conf`	Qualitative Approximate Behavior Composition. JELIA Nitin Yadav, Sebastian Sardiña
2012	B	`conf`	Reasoning about Agent Programs Using ATL-Like Logics. JELIA Nitin Yadav, Sebastian Sardiña
2012	J	`jnl`	Reasoning about Agent Programs using ATL-like Logics CoRR Nitin Yadav, Sebastian Sardiña
2012	A	`conf`	Revising conflicting intention sets in BDI agents. AAMAS Steven Shapiro, Sebastian Sardiña, John Thangarajah, Lawrence Cavedon, Lin Padgham
2011	J	`jnl`	A BDI agent programming language with failure handling, declarative goals, and planning. Auton. Agents Multi Agent Syst. Sebastian Sardiña, Lin Padgham
2011	A	`conf`	Decision theoretic behavior composition. AAMAS Nitin Yadav, Sebastian Sardiña
2011	—	`ed.`	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers DALT Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos
2011	A*	`conf`	Integrating Learning into a BDI Agent for Environments with Changing Dynamics. IJCAI Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Geoff James
2011	—	`conf`	Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features. BPM (Demos) Andrea Marrella, Massimo Mecella, Alessandro Russo, Arthur H. M. ter Hofstede, Sebastian Sardiña
2010	J	`jnl`	A BDI agent system for the cow herding domain. Ann. Math. Artif. Intell. Nitin Yadav, Chenguang Zhou, Sebastian Sardiña, Ralph Rönnquist
2010	A	`conf`	Agent programming via planning programs. AAMAS Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2010	J	`jnl`	Extending BDI plan selection to incorporate learning from experience. Robotics Auton. Syst. Dhirendra Singh, Sebastian Sardiña, Lin Padgham
2010	A*	`conf`	Generalized Planning with Loops under Strong Fairness Constraints. KR Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña
2010	A	`conf`	Learning context conditions for BDI plan selection. AAMAS Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Stéphane Airiau
2010	A*	`conf`	Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña
2009	A*	`conf`	Composition of ConGolog Programs. IJCAI Sebastian Sardiña, Giuseppe De Giacomo
2009	J	`jnl`	Enhancing the Adaptation of BDI Agents Using Learning Techniques. Int. J. Agent Technol. Syst. Stéphane Airiau, Lin Padgham, Sebastian Sardiña, Sandip Sen
2009	—	`conf`	First principles planning in BDI systems. AAMAS (2) Lavindra de Silva, Sebastian Sardiña, Lin Padgham
2009	—	`conf`	Golog Speaks the BDI Language. PROMAS Sebastian Sardiña, Yves Lespérance
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	A*	`conf`	Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis. ICAPS Sarah L. Hickmott, Sebastian Sardiña
2009	—	`ed.`	Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers ProMAS Koen V. Hindriks, Alexander Pokahr, Sebastian Sardiña
2008	A*	`conf`	Behavior Composition in the Presence of Failure. KR Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo
2008	C	`conf`	Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach. WETICE Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, Sebastian Sardiña
2008	A*	`conf`	Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS Sebastian Sardiña, Giuseppe De Giacomo
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`	Goals in the context of BDI plan failure and planning. AAMAS Sebastian Sardiña, Lin Padgham
2006	A	`conf`	Hierarchical planning in BDI agent programming languages: a formal approach. AAMAS Sebastian Sardiña, Lavindra de Silva, Lin Padgham
2006	A	`conf`	Modelling situations in intelligent agents. AAMAS John Thangarajah, Lin Padgham, Sebastian Sardiña
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
2005	—	`—`	Deliberation in agent programming languages. Sebastian Sardiña
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
2003	A	`conf`	Rational action in agent programs with prioritized goals. AAMAS Sebastian Sardiña, Steven Shapiro
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
2001	J	`jnl`	Incremental execution of guarded theories. ACM Trans. Comput. Log. Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
2001	B	`conf`	Local Conditional High-Level Robot Programs. LPAR Sebastian Sardiña