Follow
Christian Muise
Christian Muise
Verified email at queensu.ca - Homepage
Title
Cited by
Cited by
Year
Improved non-deterministic planning by exploiting state relevance
C Muise, S McIlraith, C Beck
Proceedings of the International Conference on Automated Planning and …, 2012
1412012
Dsharp: Fast d-DNNF Compilation with sharpSAT
C Muise, SA McIlraith, JC Beck, EI Hsu
Canadian Conference on Artificial Intelligence, 356-361, 2012
1362012
Planning over multi-agent epistemic states: A classical planning approach
C Muise, V Belle, P Felli, S McIlraith, T Miller, AR Pearce, L Sonenberg
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
1142015
An introduction to the planning domain definition language
P Haslum, N Lipovetzky, D Magazzeni, C Muise
Synthesis Lectures on Artificial Intelligence and Machine Learning 13 (2), 1-187, 2019
1092019
Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces
A Camacho, E Triantafillou, C Muise, JA Baier, SA McIlraith
Thirty-First AAAI Conference on Artificial Intelligence, 2017
792017
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
722014
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
712013
Finite LTL synthesis as planning
A Camacho, JA Baier, C Muise, SA McIlraith
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
662018
SAT: Projected Model Counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
512015
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
482019
Traps, invariants, and dead-ends
N Lipovetzky, C Muise, H Geffner
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
422016
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
372020
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
362016
Lightweight automated planning toolkit
M Ramirez, N Lipovetzky, C Muise
352015
Optimal partial-order plan relaxation via MaxSAT
C Muise, JC Beck, SA McIlraith
Journal of Artificial Intelligence Research 57, 113-149, 2016
342016
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
342015
Non-deterministic planning with conditional effects
C Muise, S McIlraith, V Belle
Proceedings of the International Conference on Automated Planning and …, 2014
302014
Monitoring the Execution of Partial-Order Plans via Regression
C Muise, SA McIlraith, JC Beck
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
302011
Planning for goal-oriented dialogue systems
C Muise, T Chakraborti, S Agarwal, O Bajgar, A Chaudhary, ...
arXiv preprint arXiv:1910.08137, 2019
282019
Probabilistically estimating backbones and variable bias: Experimental overview
EI Hsu, CJ Muise, JC Beck, SA McIlraith
International Conference on Principles and Practice of Constraint …, 2008
262008
The system can't perform the operation now. Try again later.
Articles 1–20