Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Christian Muise

Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case


Jul 09, 2020
Salomón Wollenstein-Betech, Christian Muise, Christos G. Cassandras, Ioannis Ch. Paschalidis, Yasaman Khazaeni

* Proc. IEEE Int. Conf. on Intelligent Transportation Systems, Rhodes, Greece, 2020. (In Press) 

  Access Paper or Ask Questions

Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)


Apr 27, 2020
Masataro Asai, Christian Muise

* Accepted in IJCAI 2020 main track (accept ratio 12.6%). The prequel of this paper, "The Search for STRIPS", can be found here: arXiv:1912.05492 

  Access Paper or Ask Questions

Planning for Goal-Oriented Dialogue Systems


Oct 17, 2019
Christian Muise, Tathagata Chakraborti, Shubham Agarwal, Ondrej Bajgar, Arunima Chaudhary, Luis A. Lastras-Montano, Josef Ondrej, Miroslav Vodolan, Charlie Wiecha

* 42 pages, 17 figures 

  Access Paper or Ask Questions

Planning with Explanatory Actions: A Joint Approach to Plan Explicability and Explanations in Human-Aware Planning


Mar 21, 2019
Sarath Sreedharan, Tathagata Chakraborti, Christian Muise, Subbarao Kambhampati


  Access Paper or Ask Questions

Generating Dialogue Agents via Automated Planning


Feb 02, 2019
Adi Botea, Christian Muise, Shubham Agarwal, Oznur Alkan, Ondrej Bajgar, Elizabeth Daly, Akihiro Kishimoto, Luis Lastras, Radu Marinescu, Josef Ondrej, Pablo Pedemonte, Miroslav Vodolan

* Accepted at the AAAI-2019 DEEP-DIAL workshop 

  Access Paper or Ask Questions

Finite LTL Synthesis is EXPTIME-complete


Nov 17, 2016
Jorge A. Baier, Alberto Camacho, Christian Muise, Sheila A. McIlraith

* We withdraw this paper because of an error in the proof 

  Access Paper or Ask Questions

Social planning for social HRI


Feb 21, 2016
Liz Sonenberg, Tim Miller, Adrian Pearce, Paolo Felli, Christian Muise, Frank Dignum

* Presented at "2nd Workshop on Cognitive Architectures for Social Human-Robot Interaction 2016 (arXiv:1602.01868)" 

  Access Paper or Ask Questions

Projected Model Counting


Jul 28, 2015
Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey


  Access Paper or Ask Questions

Stable Model Counting and Its Application in Probabilistic Logic Programming


Nov 20, 2014
Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey

* Accepted in AAAI, 2015 

  Access Paper or Ask Questions