Christian Muise
Christian Muise
Verified email at queensu.ca - Homepage
Title
Cited by
Cited by
Year
Improved non-deterministic planning by exploiting state relevance
CJ Muise, SA McIlraith, C Beck
Twenty-Second International Conference on Automated Planning and Scheduling, 2012
982012
Dsharp: Fast d-DNNF Compilation with sharpSAT
C Muise, SA McIlraith, JC Beck, EI Hsu
Canadian Conference on Artificial Intelligence, 356-361, 2012
932012
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
692015
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
522013
Computing contingent plans via fully observable non-deterministic planning
C Muise, V Belle, SA McIlraith
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
472014
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
A Camacho, E Triantafillou, CJ Muise, JA Baier, SA McIlraith
AAAI, 3716-3724, 2017
422017
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
322015
Lightweight automated planning toolkit
M Ramirez, N Lipovetzky, C Muise
URL http://lapkt. org, 2015
302015
Finite LTL Synthesis as Planning.
A Camacho, JA Baier, CJ Muise, SA McIlraith
ICAPS, 29-38, 2018
272018
SAT: Projected Model Counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
272015
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
Traps, Invariants, and Dead-Ends.
N Lipovetzky, CJ Muise, H Geffner
ICAPS, 211-215, 2016
232016
Optimal partial-order plan relaxation via MaxSAT
C Muise, JC Beck, SA McIlraith
Journal of Artificial Intelligence Research 57, 113-149, 2016
212016
Dynamic reconfiguration in modular robots using graph partitioning-based coalitions.
P Dasgupta, V Ufimtsev, CA Nelson, SGM Hossain
AAMAS, 121-128, 2012
202012
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
A Camacho, CJ Muise, SA McIlraith
ICAPS, 65-69, 2016
182016
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), 2014
182014
Flexible execution of partial order plans with temporal constraints
C Muise, JC Beck, SA McIlraith
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
182013
Non-Deterministic Planning With Conditional Effects.
CJ Muise, SA McIlraith, V Belle
ICAPS, 2014
172014
Exploiting N-gram analysis to predict operator sequences
C Muise, S McIlraith, JA Baier, M Reimer
Proceedings of the Nineteenth International Conference on International …, 2009
172009
The system can't perform the operation now. Try again later.
Articles 1–20