Explainable Planning

Temporal constraint networks

Rina Dechter, Itay Meiri, and Judea Pearl · 1991

Earlier work this paper cites.

Dealing with uncertain durations in temporal constraint networks dedicated to planning

Thierry Vidal and Malik Ghallab · 1996

Earlier work this paper cites.

Planning as model checking

Fausto Giunchiglia and Paolo Traverso · 1999

Earlier work this paper cites.

Handling contingency in temporal constraint networks: from consistency to controllabilities

Thierry Vidal and Hélène Fargier · 1999

Earlier work this paper cites.

Model checking

Edmund M. Clarke, Orna Grumberg, and Doron A. Peled · 2001

Earlier work this paper cites.

Dynamic control of plans with temporal uncertainty

Paul H. Morris, Nicola Muscettola, and Thierry Vidal · 2001

Earlier work this paper cites.

Validating plans in the context of processes and exogenous events

Maria Fox, Richard Howey, and Derek Long · 2005

Earlier work this paper cites.

Verbal plan explanations for hybrid planning

Julien Bidot, Susanne Biundo, Tobias Heinroth, Wolfgang Minker, Florian Nothdurft, and Bernd Schattenberg · 2010

Earlier work this paper cites.

Forward-chaining partial-order planning

Amanda Jane Coles, Andrew Coles, Maria Fox, and Derek Long · 2010

Earlier work this paper cites.

Preferred explanations: Theory and generation via planning

Shirin Sohrabi, Jorge A. Baier, and Sheila A. McIlraith · 2011

Cited alongside, same era.

Discoverhistory: understanding the past in planning and execution

Matthew Molineaux, Ugur Kuter, and Matthew Klenk · 2012

Cited alongside, same era.

Making hybrid plans more clear to human users - A formal approach for generating sound explanations

Bastian Seegebarth, Felix Müller, Bernd Schattenberg, and Susanne Biundo · 2012

Cited alongside, same era.

Planning as an iterative process

David Smith · 2012

Cited alongside, same era.

Fast detection of unsolvable planning instances using local consistency

Christer Bäckström, Peter Jonsson, and Simon Ståhlberg · 2013

Cited alongside, same era.

Planning as model checking in hybrid domains

Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, and Martin Wehrle · 2014

ROSPlan: Planning in the robot operating system

Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcis Palomeras, Natalia Hurtos, and Marc Carreras · 2015

Later among the works it cites.

An extension of metric temporal planning with application to AC voltage control

Chiara Piacentini, Varvara Alimisis, Maria Fox, and Derek Long · 2015

Later among the works it cites.

Planning and Scheduling in Temporally Uncertain Domains

Andrea Micheli · 2016

Later among the works it cites.

Toward persistent autonomous intervention in a subsea panel

Narcís Palomeras, Arnau Carrera, Natàlia Hurtós, George C. Karras, Charalampos P. Bechlioulis, Michael Cashmore, Daniele Magazzeni, Derek Long, Maria Fox, Kostas J. Kyriakopoulos, Petar Kormushev, Joaquim Salvi, and Marc Carreras · 2016

Later among the works it cites.

Verbalization: Narration of autonomous robot experience

Stephanie Rosenthal, Sai P. Selvaraj, and Manuela M. Veloso · 2016

Later among the works it cites.