Christian Muise
Christian Muise
在 queensu.ca 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Improved non-deterministic planning by exploiting state relevance
C Muise, S McIlraith, C Beck
Proceedings of the International Conference on Automated Planning and …, 2012
1122012
Dsharp: Fast d-DNNF Compilation with sharpSAT
C Muise, SA McIlraith, JC Beck, EI Hsu
Canadian Conference on Artificial Intelligence, 356-361, 2012
1072012
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
912015
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
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
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
572017
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
472019
Finite LTL synthesis as planning
A Camacho, JA Baier, C Muise, SA McIlraith
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
422018
SAT: Projected Model Counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
342015
Lightweight automated planning toolkit
M Ramirez, N Lipovetzky, C Muise
URL http://lapkt. org, 2015
332015
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
302016
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
212019
Flexible execution of partial order plans with temporal constraints
C Muise, JC Beck, SA McIlraith
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
212013
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
系统目前无法执行此操作,请稍后再试。
文章 1–20