Christian Muise

Citée par

	Toutes	Depuis 2020
Citations	2626	1806
indice h	27	22
indice i10	52	37

440

220

110

330

20112012201320142015201620172018201920202021202220232024202510 21 22 42 68 137 119 181 195 279 290 381 376 438 40

Accès public

Tout afficher

38 articles

0 article*

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Sheila McIlraithProfessor of Computer Science, University of TorontoAdresse e-mail validée de cs.toronto.edu
J. Christopher BeckProfessor of Mechanical and Industrial Engineering, University of TorontoAdresse e-mail validée de mie.utoronto.ca
Nir LipovetzkyAssociate Professor, The University of Melbourne, School of Computing and Information SystemsAdresse e-mail validée de unimelb.edu.au
Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandAdresse e-mail validée de uq.edu.au
Paolo FelliUniversity of BolognaAdresse e-mail validée de unibo.it
Adrian R. PearceProfessor, School of Computing and Information Systems, The University of MelbourneAdresse e-mail validée de unimelb.edu.au
Liz SonenbergComputing and Information Systems, The University of MelbourneAdresse e-mail validée de unimelb.edu.au
Alberto CamachoX, The Moonshot FactoryAdresse e-mail validée de google.com
Jorge BaierPontificia Universidad Católica de ChileAdresse e-mail validée de ing.puc.cl
Tathagata ChakrabortiIBM Research AIAdresse e-mail validée de ibm.com
Shubham AgarwalGusto | IBM ResearchAdresse e-mail validée de gusto.com
Patrik HaslumAustralian National UniversityAdresse e-mail validée de anu.edu.au
Daniele MagazzeniJ.P. Morgan. Chief Analytics Officer for the Commercial and Investment BankAdresse e-mail validée de jpmorgan.com
Vaishak BelleUniversity of EdinburghAdresse e-mail validée de ed.ac.uk
Sarath SreedharanAssistant Professor, CSUAdresse e-mail validée de colostate.edu
Subbarao KambhampatiArizona State UniversityAdresse e-mail validée de asu.edu
Luis LastrasIBM TJ WatsonAdresse e-mail validée de us.ibm.com
Yasaman KhazaeniCapitalOne, Wayfair, IBM, Boston UniversityAdresse e-mail validée de bu.edu
Miroslav VodolánIBM WatsonAdresse e-mail validée de cz.ibm.com
Ondrej BajgarUniversity of OxfordAdresse e-mail validée de bajgar.org

Suivre

Christian Muise

Queen's University

Adresse e-mail validée de queensu.ca - Page d'accueil

Artificial Intelligence Automated Planning


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	78	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs