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
1132012
Dsharp: Fast d-DNNF Compilation with sharpSAT
C Muise, SA McIlraith, JC Beck, EI Hsu
Canadian Conference on Artificial Intelligence, 356-361, 2012
1102012
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
952015
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
632013
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
582017
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
582014
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
502019
Finite LTL synthesis as planning
A Camacho, JA Baier, C Muise, SA McIlraith
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
432018
SAT: Projected Model Counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
352015
Lightweight automated planning toolkit
M Ramirez, N Lipovetzky, C Muise
URL http://lapkt. org, 2015
342015
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
332015
Traps, invariants, and dead-ends
N Lipovetzky, C Muise, H Geffner
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
312016
Optimal partial-order plan relaxation via MaxSAT
C Muise, JC Beck, SA McIlraith
Journal of Artificial Intelligence Research 57, 113-149, 2016
262016
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
252016
Non-deterministic planning with conditional effects
C Muise, S McIlraith, V Belle
Proceedings of the International Conference on Automated Planning and …, 2014
252014
Monitoring the Execution of Partial-Order Plans via Regression
C Muise, SA McIlraith, JC Beck
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
252011
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
252008
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations.
J Kim, C Muise, A Shah, S Agarwal, J Shah
IJCAI, 5591-5598, 2019
232019
Flexible execution of partial order plans with temporal constraints
C Muise, JC Beck, SA McIlraith
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
222013
Width and inference based planners: Siw, bfs (f), and probe
N Lipovetzky, M Ramirez, C Muise, H Geffner
Proceedings of the 8th International Planning Competition (IPC-2014), 43, 2014
202014
The system can't perform the operation now. Try again later.
Articles 1–20