팔로우
Christian Muise
Christian Muise
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
1652019
Improved non-deterministic planning by exploiting state relevance
C Muise, S McIlraith, C Beck
Proceedings of the International Conference on Automated Planning and …, 2012
1492012
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
1482012
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
1302015
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
912017
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
812014
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
792013
Finite LTL synthesis as planning
A Camacho, J Baier, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2018
752018
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
602019
SAT: Projected model counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
592015
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
502020
Traps, invariants, and dead-ends
N Lipovetzky, C Muise, H Geffner
Proceedings of the International Conference on Automated Planning and …, 2016
442016
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
412016
Lightweight automated planning toolkit
M Ramirez, N Lipovetzky, C Muise
392015
Optimal partial-order plan relaxation via MaxSAT
C Muise, JC Beck, SA McIlraith
Journal of Artificial Intelligence Research 57, 113-149, 2016
382016
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
382015
Planning for goal-oriented dialogue systems
C Muise, T Chakraborti, S Agarwal, O Bajgar, A Chaudhary, ...
arXiv preprint arXiv:1910.08137, 2019
372019
Non-deterministic planning with conditional effects
C Muise, S McIlraith, V Belle
Proceedings of the International Conference on Automated Planning and …, 2014
342014
–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
322020
Monitoring the Execution of Partial-Order Plans via Regression
C Muise, SA McIlraith, JC Beck
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
322011
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20