| An introduction to the planning domain definition language P Haslum, N Lipovetzky, D Magazzeni, C Muise, R Brachman, F Rossi, ... Morgan & Claypool, 2019 | 165 | 2019 |
| Improved non-deterministic planning by exploiting state relevance C Muise, S McIlraith, C Beck Proceedings of the International Conference on Automated Planning and …, 2012 | 149 | 2012 |
| Dsharp: Fast d-DNNF Compilation with sharpSAT C Muise, SA McIlraith, JC Beck, EI Hsu Advances in Artificial Intelligence: 25th Canadian Conference on Artificial …, 2012 | 148 | 2012 |
| Planning over multi-agent epistemic states: A classical planning approach C Muise, V Belle, P Felli, S McIlraith, T Miller, A Pearce, L Sonenberg Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 130 | 2015 |
| Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces A Camacho, E Triantafillou, C Muise, J Baier, S McIlraith Proceedings of the AAAI conference on artificial intelligence 31 (1), 2017 | 91 | 2017 |
| Computing contingent plans via fully observable non-deterministic planning C Muise, V Belle, S McIlraith Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 81 | 2014 |
| SAT-based analysis and quantification of information flow in programs V Klebanov, N Manthey, C Muise International Conference on Quantitative Evaluation of Systems, 177-192, 2013 | 79 | 2013 |
| Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018 | 75 | 2018 |
| Bayesian inference of linear temporal logic specifications for contrastive explanations J Kim, C Muise, AJ Shah, S Agarwal, JA Shah International Joint Conferences on Artificial Intelligence, 2019 | 60 | 2019 |
| SAT: Projected model counting RA Aziz, G Chu, C Muise, P Stuckey International Conference on Theory and Applications of Satisfiability …, 2015 | 59 | 2015 |
| Learning neural-symbolic descriptive planning models via cube-space priors: The voyage home (to STRIPS) M Asai, C Muise arXiv preprint arXiv:2004.12850, 2020 | 50 | 2020 |
| Traps, invariants, and dead-ends N Lipovetzky, C Muise, H Geffner Proceedings of the International Conference on Automated Planning and …, 2016 | 44 | 2016 |
| From FOND to robust probabilistic planning: Computing compact policies that bypass avoidable deadends A Camacho, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2016 | 41 | 2016 |
| Lightweight automated planning toolkit M Ramirez, N Lipovetzky, C Muise | 39 | 2015 |
| Optimal partial-order plan relaxation via MaxSAT C Muise, JC Beck, SA McIlraith Journal of Artificial Intelligence Research 57, 113-149, 2016 | 38 | 2016 |
| MAP-LAPKT: Omnipotent multi-agent planning via compilation to classical planning C Muise, N Lipovetzky, M Ramirez Competition of Distributed and Multi-Agent Planners (CoDMAP-15) 14, 2015 | 38 | 2015 |
| Planning for goal-oriented dialogue systems C Muise, T Chakraborti, S Agarwal, O Bajgar, A Chaudhary, ... arXiv preprint arXiv:1910.08137, 2019 | 37 | 2019 |
| Non-deterministic planning with conditional effects C Muise, S McIlraith, V Belle Proceedings of the International Conference on Automated Planning and …, 2014 | 34 | 2014 |
| –d3wa+–a case study of xaip in a model acquisition task for dialogue planning S Sreedharan, T Chakraborti, C Muise, Y Khazaeni, S Kambhampati Proceedings of the International Conference on Automated Planning and …, 2020 | 32 | 2020 |
| Monitoring the Execution of Partial-Order Plans via Regression C Muise, SA McIlraith, JC Beck Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 32 | 2011 |
Sheila McIlraithProfessor of Computer Science, University of Torontocs.toronto.edu의 이메일 확인됨
