TraceHub - A platform to bridge the gap between state-of-the-art time-series analytics and datasets
- Shubham Agarwal
- Christian Muise
- et al.
- 2020
- AAAI 2020
Publications
Date
Featured collections
Popular topics
13 results for Christian Muise
Expectation-aware planning: A unifying framework for synthesizing and executing self-explaining plans for human-aware planning
- Sarath Sreedharan
- Tathagata Chakraborti
- et al.
- 2020
- AAAI 2020
Mai: An intelligent model acquisition interface for interactive specification of dialogue agents
- Tathagata Chakraborti
- Christian Muise
- et al.
- 2019
- AAAI 2019
Learning neural-symbolic descriptive planning models via cube-space priors: The voyage home (to STRIPS)
- Masataro Asai
- Christian Muise
- 2021
- IJCAI 2020
- D3WA+ - A case study of XAIP in a model acquisition task for dialogue planning
- Sarath Sreedharan
- Tathagata Chakraborti
- et al.
- 2020
- ICAPS 2020
Explainability of Intelligent Transportation Systems using Knowledge Compilation: A Traffic Light Controller Case
- Salomón Wollenstein-Betech
- Christian Muise
- et al.
- 2020
- ITSC 2020
Bayesian inference of linear temporal logic specifications for contrastive explanations
- Joseph Kim
- Christian Muise
- et al.
- 2019
- IJCAI 2019
Evaluating the interpretability of the knowledge compilation map: Communicating logical statements effectively
- Serena Booth
- Christian Muise
- et al.
- 2019
- IJCAI 2019
LTL realizability via safety and reachability games
- Alberto Camacho
- Christian Muise
- et al.
- 2018
- IJCAI 2018
Characterizing and computing all delete-relaxed dead-ends
- Christian Muise
- 2018
- COPLAS 2018