Sardiña, Sebastian

22 publications

JAIR 2022 Flexible FOND Planning with Explicit Fairness Assumptions Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner

IJCAI 2022 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 Sardiña

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

IJCAI 2020 Optimising Partial-Order Plans via Action Reinstantiation Max Waters, Lin Padgham, Sebastian Sardiña

JAIR 2019 Cost-Based Goal Recognition in Navigational Domains Peta Masters, Sebastian Sardiña

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

JAIR 2018 Fully Observable Non-Deterministic Planning as Assumption-Based Reactive Synthesis Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña

IJCAI 2017 Agent Design Consistency Checking via Planning Nitin Yadav, John Thangarajah, Sebastian Sardiña

IJCAI 2017 Deceptive Path-Planning Peta Masters, Sebastian Sardiña

IJCAI 2017 Handling Non-Local Dead-Ends in Agent Planning Programs Lukás Chrpa, Nir Lipovetzky, 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 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, Sebastian Sardiña

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

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

IJCAI 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 2011 Integrating Learning into a BDI Agent for Environments with Changing Dynamics Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Geoff James

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

IJCAI 2009 Composition of ConGolog Programs Sebastian Sardiña, Giuseppe De Giacomo

IJCAI 2007 Automatic Synthesis of New Behaviors from a Library of Available Behaviors Giuseppe De Giacomo, Sebastian Sardiña

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