Sebastian Sardiña

RMIT University , Australia

15 papers in the IJCAI proceedings

IJCAI 2022

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)

with Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi

doi:10.24963/ijcai.2022/798

Details PDF

IJCAI 2020

Optimising Partial-Order Plans Via Action Reinstantiation

with Max Waters, Lin Padgham

doi:10.24963/ijcai.2020/573

Details PDF

IJCAI 2018

Cost-Based Goal Recognition for the Path-Planning Domain

with Peta Masters

doi:10.24963/ijcai.2018/747

Details PDF

IJCAI 2017

Agent Design Consistency Checking via Planning

with Nitin Yadav, John Thangarajah

doi:10.24963/ijcai.2017/65

Details PDF

Deceptive Path-Planning

with Peta Masters

doi:10.24963/ijcai.2017/610

Details PDF

Handling non-local dead-ends in Agent Planning Programs

with Lukas Chrpa, Nir Lipovetzky

doi:10.24963/ijcai.2017/135

Details PDF

IJCAI 2016

An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning

with Andrea Marrella, Massimo Mecella

Details PDF

Incomplete Causal Laws in the Situation Calculus Using Free Fluents

with Marcelo Arenas, Jorge A. Baier, Juan S. Navarro

Details PDF

Parallel Behavior Composition for Manufacturing

with Paolo Felli, Brian Logan

Details PDF

IJCAI 2015

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis

with Nicolás D'Ippolito

Details PDF

IJCAI 2013

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events

with Nitin Yadav, Paolo Felli, Giuseppe De Giacomo

Details PDF

Using Strategic Logics to Reason about Agent Programs

with Nitin Yadav

Details PDF

IJCAI 2011

Integrating Learning into a BDI Agent for Environments with Changing Dynamics

with Dhirendra Singh, Lin Padgham, Geoff James

doi:10.5591/978-1-57735-516-8/IJCAI11-420

Details PDF

IJCAI 2009

Composition of ConGolog Programs

with Giuseppe De Giacomo

Details PDF

IJCAI 2007

Automatic Synthesis of New Behaviors from a Library of Available Behaviors

with Giuseppe De Giacomo

Details PDF