עקוב אחר
Christian Muise
Christian Muise
Queen's University
כתובת אימייל מאומתת בדומיין queensu.ca - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
An introduction to the planning domain definition language‏
P Haslum, N Lipovetzky, D Magazzeni, C Muise, R Brachman, F Rossi, ...‏
Morgan & Claypool, 2019‏
2332019
Improved non-deterministic planning by exploiting state relevance‏
C Muise, S McIlraith, C Beck‏
Proceedings of the International Conference on Automated Planning and …, 2012‏
1822012
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‏
1622012
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‏
1382015
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‏
1132017
Finite LTL synthesis as planning‏
A Camacho, J Baier, C Muise, S McIlraith‏
Proceedings of the International Conference on Automated Planning and …, 2018‏
952018
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‏
882014
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‏
832013
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‏
772019
SAT: Projected model counting‏
RA Aziz, G Chu, C Muise, P Stuckey‏
International Conference on Theory and Applications of Satisfiability …, 2015‏
712015
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‏
642020
Planning for goal-oriented dialogue systems‏
C Muise, T Chakraborti, S Agarwal, O Bajgar, A Chaudhary, ...‏
arXiv preprint arXiv:1910.08137, 2019‏
522019
Optimal partial-order plan relaxation via MaxSAT‏
C Muise, JC Beck, SA McIlraith‏
Journal of Artificial Intelligence Research 57, 113-149, 2016‏
462016
Traps, invariants, and dead-ends‏
N Lipovetzky, C Muise, H Geffner‏
Proceedings of the International Conference on Automated Planning and …, 2016‏
462016
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‏
462016
Lightweight automated planning toolkit‏
M Ramirez, N Lipovetzky, C Muise‏
452015
–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‏
422020
Non-deterministic planning with conditional effects‏
C Muise, S McIlraith, V Belle‏
Proceedings of the International Conference on Automated Planning and …, 2014‏
372014
Planning. domains‏
C Muise‏
ICAPS system demonstration, 242-250, 2016‏
362016
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‏
352015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20