Christian Muise

Cited by

	All	Since 2019
Citations	2475	1855
h-index	26	22
i10-index	51	40

400

200

100

300

2011201220132014201520162017201820192020202120222023202410 21 23 41 68 137 118 181 193 278 289 381 380 329

Public access

View all

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