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
1062012
Dsharp: Fast d-DNNF Compilation with sharpSAT
C Muise, SA McIlraith, JC Beck, EI Hsu
Canadian Conference on Artificial Intelligence, 356-361, 2012
1012012
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
802015
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
582013
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
552017
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
542014
Finite LTL synthesis as planning
A Camacho, J Baier, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2018
392018
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
362019
Lightweight automated planning toolkit
M Ramirez, N Lipovetzky, C Muise
URL http://lapkt. org, 2015
332015
SAT: Projected Model Counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 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
Proceedings of the International Conference on Automated Planning and …, 2016
262016
Optimal partial-order plan relaxation via MaxSAT
C Muise, JC Beck, SA McIlraith
Journal of Artificial Intelligence Research 57, 113-149, 2016
252016
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
242008
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
232016
Non-deterministic planning with conditional effects
C Muise, S McIlraith, V Belle
Proceedings of the International Conference on Automated Planning and …, 2014
222014
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
Dynamic reconfiguration in modular robots using graph partitioning-based coalitions.
P Dasgupta, V Ufimtsev, CA Nelson, SGM Hossain
AAMAS, 121-128, 2012
202012
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations.
J Kim, C Muise, A Shah, S Agarwal, J Shah
IJCAI, 5591-5598, 2019
192019
系统目前无法执行此操作,请稍后再试。
文章 1–20