Christian Muise

Cited by

	All	Since 2016
Citations	1072	887
h-index	19	16
i10-index	29	24

260

130

195

200820092010201120122013201420152016201720182019202020213 4 1 10 20 26 43 72 130 126 173 200 247 3

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
Alberto CamachoPhD candidate, University of Toronto, GoogleVerified email at google.com
Jorge BaierPontificia Universidad Católica de ChileVerified email at ing.puc.cl
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
Nir LipovetzkySenior Lecturer, The University of Melbourne, School of Computing and Information SystemsVerified email at unimelb.edu.au
Tathagata ChakrabortiIBM Research AIVerified email at ibm.com
Shubham AgarwalIBM Research AIVerified email at ibm.com
Vaishak BelleUniversity of EdinburghVerified email at ed.ac.uk
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
Subbarao KambhampatiArizona State UniversityVerified email at asu.edu
Sarath SreedharanGraduate Student at Arizona State UniversityVerified email at asu.edu
Miroslav VodolánIBM WatsonVerified email at cz.ibm.com

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	100	2012
Dsharp: Fast d-DNNF Compilation with sharpSAT C Muise, SA McIlraith, JC Beck, EI Hsu Canadian Conference on Artificial Intelligence, 356-361, 2012	98	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	78	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	55	2013
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	51	2014
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	47	2017
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	32	2015
Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018	31	2018
Lightweight automated planning toolkit M Ramirez, N Lipovetzky, C Muise URL http://lapkt. org, 2015	30	2015
SAT: Projected Model Counting RA Aziz, G Chu, C Muise, P Stuckey International Conference on Theory and Applications of Satisfiability …, 2015	30	2015
Traps, invariants, and dead-ends N Lipovetzky, C Muise, H Geffner Proceedings of the International Conference on Automated Planning and …, 2016	26	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
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	25	2008
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	23	2019
Optimal partial-order plan relaxation via MaxSAT C Muise, JC Beck, SA McIlraith Journal of Artificial Intelligence Research 57, 113-149, 2016	22	2016
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	22	2016
Non-deterministic planning with conditional effects C Muise, S McIlraith, V Belle Proceedings of the International Conference on Automated Planning and …, 2014	20	2014
Flexible execution of partial order plans with temporal constraints C Muise, JC Beck, SA McIlraith Twenty-Third International Joint Conference on Artificial Intelligence, 2013	20	2013
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