Christian Muise

Cited by

	All	Since 2020
Citations	2620	1800
h-index	27	22
i10-index	52	37

440

220

110

330

20112012201320142015201620172018201920202021202220232024202510 21 22 42 68 137 119 181 195 279 289 382 375 437 36

Public access

View all

38 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 LipovetzkyAssociate Professor, 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
Tathagata ChakrabortiIBM Research AIVerified email at ibm.com
Shubham AgarwalGusto | IBM ResearchVerified email at gusto.com
Patrik HaslumAustralian National UniversityVerified email at anu.edu.au
Daniele MagazzeniJ.P. Morgan. Chief Analytics Officer for the Commercial and Investment BankVerified email at jpmorgan.com
Vaishak BelleUniversity of EdinburghVerified email at ed.ac.uk
Sarath SreedharanAssistant Professor, CSUVerified email at colostate.edu
Subbarao KambhampatiArizona State UniversityVerified email at asu.edu
Luis LastrasIBM TJ WatsonVerified email at us.ibm.com
Yasaman KhazaeniCapitalOne, Wayfair, IBM, Boston UniversityVerified email at bu.edu
Miroslav VodolánIBM WatsonVerified email at cz.ibm.com
Ondrej BajgarUniversity of OxfordVerified email at bajgar.org

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	269	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	187	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	171	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	145	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	120	2017
Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018	102	2018
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	88	2014
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	86	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	80	2019
SAT: Projected model counting RA Aziz, G Chu, C Muise, P Stuckey International Conference on Theory and Applications of Satisfiability …, 2015	77	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	70	2020
Planning for goal-oriented dialogue systems C Muise, T Chakraborti, S Agarwal, O Bajgar, A Chaudhary, ... arXiv preprint arXiv:1910.08137, 2019	56	2019
Optimal partial-order plan relaxation via MaxSAT C Muise, JC Beck, SA McIlraith Journal of Artificial Intelligence Research 57, 113-149, 2016	49	2016
Lightweight automated planning toolkit M Ramirez, N Lipovetzky, C Muise	48	2015
Traps, invariants, and dead-ends N Lipovetzky, C Muise, H Geffner Proceedings of the International Conference on Automated Planning and …, 2016	47	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	46	2016
–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	44	2020
Planning. domains C Muise ICAPS system demonstration, 242-250, 2016	37	2016
Non-deterministic planning with conditional effects C Muise, S McIlraith, V Belle Proceedings of the International Conference on Automated Planning and …, 2014	37	2014
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

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