Christian Muise

Cited by

	All	Since 2018
Citations	1841	1402
h-index	24	20
i10-index	41	33

360

180

270

201120122013201420152016201720182019202020212022202310 20 22 40 69 133 123 176 193 277 278 356 120

Public access

View all

32 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
Nir LipovetzkySenior Lecturer, The University of Melbourne, School of Computing and Information SystemsVerified email at unimelb.edu.au
Tim MillerSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Paolo FelliUniversity of BolognaVerified email at unibo.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 CamachoX, The Moonshot FactoryVerified email at google.com
Jorge BaierPontificia Universidad Católica de ChileVerified email at ing.puc.cl
Shubham AgarwalGusto | IBM ResearchVerified email at gusto.com
Tathagata ChakrabortiIBM Research AIVerified email at ibm.com
Vaishak BelleUniversity of EdinburghVerified email at ed.ac.uk
Patrik HaslumAustralian National UniversityVerified email at anu.edu.au
Daniele MagazzeniManaging Director at J.P. Morgan. Head of XAI Center of Excellence. Visiting Professor at KCL.Verified email at jpmorgan.com
Luis LastrasIBM TJ WatsonVerified email at us.ibm.com
Miroslav VodolánIBM WatsonVerified email at cz.ibm.com
Ondrej BajgarUniversity of OxfordVerified email at bajgar.org
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

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
Dsharp: Fast d-DNNF Compilation with sharpSAT C Muise, SA McIlraith, JC Beck, EI Hsu Advances in Artificial Intelligence: 25th Canadian Conference on Artificial …, 2012	144	2012
Improved non-deterministic planning by exploiting state relevance C Muise, S McIlraith, C Beck Proceedings of the International Conference on Automated Planning and …, 2012	141	2012
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	135	2019
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	122	2015
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	83	2017
SAT-based analysis and quantification of information flow in programs V Klebanov, N Manthey, C Muise Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013	77	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	75	2014
Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018	69	2018
Bayesian inference of linear temporal logic specifications for contrastive explanations J Kim, C Muise, AJ Shah, S Agarwal, JA Shah International Joint Conferences on Artificial Intelligence, 2019	58	2019
SAT: Projected model counting RA Aziz, G Chu, C Muise, P Stuckey Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015	57	2015
Traps, invariants, and dead-ends N Lipovetzky, C Muise, H Geffner Proceedings of the International Conference on Automated Planning and …, 2016	43	2016
Learning neural-symbolic descriptive planning models via cube-space priors: The voyage home (to STRIPS) M Asai, C Muise arXiv preprint arXiv:2004.12850, 2020	42	2020
Optimal partial-order plan relaxation via MaxSAT C Muise, JC Beck, SA McIlraith Journal of Artificial Intelligence Research 57, 113-149, 2016	37	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	37	2016
Lightweight automated planning toolkit M Ramirez, N Lipovetzky, C Muise	37	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	35	2015
Planning for goal-oriented dialogue systems C Muise, T Chakraborti, S Agarwal, O Bajgar, A Chaudhary, ... arXiv preprint arXiv:1910.08137, 2019	31	2019
Non-deterministic planning with conditional effects C Muise, S McIlraith, V Belle Proceedings of the International Conference on Automated Planning and …, 2014	31	2014
Monitoring the Execution of Partial-Order Plans via Regression C Muise, SA McIlraith, JC Beck Twenty-Second International Joint Conference on Artificial Intelligence, 2011	30	2011
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	29	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

Follow

Cited by

Co-authors