Christian Muise

Cited by

	All	Since 2018
Citations	2062	1620
h-index	24	22
i10-index	42	35

400

200

100

300

201120122013201420152016201720182019202020212022202310 21 23 40 65 139 123 177 197 273 281 381 307

Public access

View all

34 articles

1 article*

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 Electrical Engineering and Computer Science, The University of QueenslandVerified email at uq.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
Sarath SreedharanAssistant Professor, CSUVerified email at colostate.edu
Subbarao KambhampatiArizona State UniversityVerified email at asu.edu
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

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
An introduction to the planning domain definition language P Haslum, N Lipovetzky, D Magazzeni, C Muise, R Brachman, F Rossi, ... Morgan & Claypool, 2019	175	2019
Improved non-deterministic planning by exploiting state relevance C Muise, S McIlraith, C Beck Proceedings of the International Conference on Automated Planning and …, 2012	153	2012
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	151	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	132	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	94	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	82	2014
Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018	81	2018
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	80	2013
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	62	2019
SAT: Projected model counting RA Aziz, G Chu, C Muise, P Stuckey International Conference on Theory and Applications of Satisfiability …, 2015	61	2015
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	53	2020
Traps, invariants, and dead-ends N Lipovetzky, C Muise, H Geffner Proceedings of the International Conference on Automated Planning and …, 2016	44	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	41	2016
Optimal partial-order plan relaxation via MaxSAT C Muise, JC Beck, SA McIlraith Journal of Artificial Intelligence Research 57, 113-149, 2016	39	2016
Lightweight automated planning toolkit M Ramirez, N Lipovetzky, C Muise	39	2015
Planning for goal-oriented dialogue systems C Muise, T Chakraborti, S Agarwal, O Bajgar, A Chaudhary, ... arXiv preprint arXiv:1910.08137, 2019	38	2019
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	38	2015
Non-deterministic planning with conditional effects C Muise, S McIlraith, V Belle Proceedings of the International Conference on Automated Planning and …, 2014	34	2014
–d3wa+–a case study of xaip in a model acquisition task for dialogue planning S Sreedharan, T Chakraborti, C Muise, Y Khazaeni, S Kambhampati Proceedings of the International Conference on Automated Planning and …, 2020	32	2020
Planning. domains C Muise ICAPS system demonstration, 242-250, 2016	32	2016

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