Publications

Flexible FOND Planning with Explicit Fairness Assumptions

We consider the problem of reaching a propositional goal condition in fully-observable non-deterministic (FOND) planning under a …
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
URL

Expecting the unexpected: Goal recognition for rational and irrational agents

Contemporary cost-based goal-recognition assumes rationality: that observed behaviour is more or less optimal. Probabilistic goal …
Peta Masters, Sebastian Sardiña
DOI URL

Cost-Based Goal Recognition in Navigational Domains

Goal recognition is the problem of determining an agent’s intent by observing her behaviour. Contemporary solutions for general …
Peta Masters, Sebastian Sardiña
DOI URL

Fully Observable Non-deterministic Planning as Assumption-based Reactive Synthesis

We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive …
Nicolas D'Ippolito, Natalia Rodriguez, Sebastian Sardina
DOI URL

Agent Planning Programs

This work proposes a novel high-level paradigm, agent planning programs, for modeling agents behavior, which suitably mixes automated …
Giuseppe De Giacomo, Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardina
DOI URL

Improving Domain-Independent Intention Selection in BDI Systems

The Belief Desire Intention (BDI) agent paradigm provides a powerful basis for developing complex systems based on autonomous …
Max Waters, Lin Padgham, Sebastian Sardina
DOI URL

Automatic Behavior Composition Synthesis

The behavior composition problem amounts to realizing a virtual desired module (e.g., a surveillance agent system) by suitably …
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardina
DOI URL

Qualitative Approximate Behavior Composition

The behavior composition problem involves automatically building a controller that is able to realize a desired, but unavailable, …
Nitin Yadav, Sebastian Sardina
DOI URL

A BDI Agent Programming Language with Failure Recovery, Declarative Goals, and Planning

Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing …
Sebastian Sardina, Lin Padgham
DOI URL

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents

IndiGolog isa programming language for autonomous agents that sense their environment and do planning as they operate. Instead of …
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardina
DOI URL

On the Limits of Planning over Belief States Under Strict Uncertainty

A recent trend in planning with incomplete information is to model the actions of a planning problem as nondeterministic transitions …
Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
URL