Christian Muise

Cited by

	All	Since 2016
Citations	1127	942
h-index	19	17
i10-index	31	25

280

140

210

2011201220132014201520162017201820192020202110 21 26 41 73 130 126 168 194 270 47

Public access

View all

29 articles

0 articles*

available

not available

Based on funding mandates

Co-authors

Sheila McIlraithProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
J. Christopher BeckProfessor of Mechanical and Industrial Engineering, University of TorontoVerified email at mie.utoronto.ca
Tim MillerSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Paolo FelliFree University of Bozen-BolzanoVerified email at unibz.it
Adrian R. PearceProfessor, School of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Liz SonenbergComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Alberto CamachoPhD candidate, University of Toronto, GoogleVerified email at google.com
Jorge BaierPontificia Universidad Católica de ChileVerified email at ing.puc.cl
Nir LipovetzkySenior Lecturer, The University of Melbourne, School of Computing and Information SystemsVerified email at unimelb.edu.au
Shubham AgarwalIBM Research AIVerified email at ibm.com
Vaishak BelleUniversity of EdinburghVerified email at ed.ac.uk
Tathagata ChakrabortiIBM Research AIVerified email at ibm.com
Luis LastrasIBM TJ WatsonVerified email at us.ibm.com
Miquel RamírezPhD in CS, Research Fellow, University of MelbourneVerified email at unimelb.edu.au
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Geoffrey ChuNICTA VRL, University of MelbourneVerified email at csse.unimelb.edu.au
Rehan Abdul AzizUniversity of MelbourneVerified email at student.unimelb.edu.au
Miroslav VodolánIBM WatsonVerified email at cz.ibm.com
Subbarao KambhampatiArizona State UniversityVerified email at asu.edu
Sarath SreedharanGraduate Student at Arizona State UniversityVerified email at asu.edu

Christian Muise

Queen's University

Verified email at queensu.ca - Homepage

Artificial Intelligence Automated Planning


Title Sort by citations Sort by year Sort by 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	105	2012
Dsharp: Fast d-DNNF Compilation with sharpSAT C Muise, SA McIlraith, JC Beck, EI Hsu Canadian Conference on Artificial Intelligence, 356-361, 2012	100	2012
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	80	2015
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	57	2013
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	52	2017
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	52	2014
Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018	35	2018
SAT: Projected Model Counting RA Aziz, G Chu, C Muise, P Stuckey International Conference on Theory and Applications of Satisfiability …, 2015	33	2015
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	33	2015
Lightweight automated planning toolkit M Ramirez, N Lipovetzky, C Muise URL http://lapkt. org, 2015	30	2015
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	29	2019
Traps, invariants, and dead-ends N Lipovetzky, C Muise, H Geffner Proceedings of the International Conference on Automated Planning and …, 2016	25	2016
Monitoring the Execution of Partial-Order Plans via Regression C Muise, SA McIlraith, JC Beck Twenty-Second International Joint Conference on Artificial Intelligence, 2011	25	2011
Optimal partial-order plan relaxation via MaxSAT C Muise, JC Beck, SA McIlraith Journal of Artificial Intelligence Research 57, 113-149, 2016	24	2016
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	24	2008
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	23	2016
Flexible Execution of Partial Order Plans With Temporal Constraints. CJ Muise, JC Beck, SA McIlraith IJCAI, 2328-2335, 2013	21	2013
Non-deterministic planning with conditional effects C Muise, S McIlraith, V Belle Proceedings of the International Conference on Automated Planning and …, 2014	20	2014
Dynamic reconfiguration in modular robots using graph partitioning-based coalitions. P Dasgupta, V Ufimtsev, CA Nelson, SGM Hossain AAMAS, 121-128, 2012	20	2012
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	19	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors