Search Results for author: David E. Smith

Found 7 papers, 1 papers with code

A Unifying Bayesian Formulation of Measures of Interpretability in Human-AI

no code implementations21 Apr 2021 Sarath Sreedharan, Anagha Kulkarni, David E. Smith, Subbarao Kambhampati

Existing approaches for generating human-aware agent behaviors have considered different measures of interpretability in isolation.

Contrastive Explanations of Plans Through Model Restrictions

no code implementations29 Mar 2021 Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith

We formally define model-based compilations in PDDL2. 1 of each constraint derived from a user question in the taxonomy, and empirically evaluate the compilations in terms of computational complexity.

A Bayesian Account of Measures of Interpretability in Human-AI Interaction

no code implementations22 Nov 2020 Sarath Sreedharan, Anagha Kulkarni, Tathagata Chakraborti, David E. Smith, Subbarao Kambhampati

Existing approaches for the design of interpretable agent behavior consider different measures of interpretability in isolation.

FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning

1 code implementation25 Oct 2020 Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E. Smith

FAPE's representation coherently integrates flexible timelines with hierarchical refinement methods that can provide efficient control knowledge.

Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

no code implementations7 Feb 2017 Sara Bernardini, Fabio Fagnani, David E. Smith

We show that, in turn, this reduction in the number of variables reflects positively on the performance of a number of temporal planners that use a variable/value representation by significantly reducing their running time.

The Metrics Matter! On the Incompatibility of Different Flavors of Replanning

no code implementations12 May 2014 Kartik Talamadupula, David E. Smith, Subbarao Kambhampati

An open question is whether these metrics are interchangeable; answering this requires a normalized comparison of the various replanning quality metrics.

Open-Ended Question Answering

Cannot find the paper you are looking for? You can Submit a new open access paper.