default search action
Christian J. Muise
Christian Muise
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j5]Sarath Sreedharan
, Tathagata Chakraborti, Christian Muise
Planning with mental models - Balancing explanations and explicability. Artif. Intell. 335: 104181 (2024) - [c62]Christian Muise, Sheila A. McIlraith, J. Christopher Beck:
PRP Rebooted: Advancing the State of the Art in FOND Planning. AAAI 2024: 20212-20221 - [c61]Todd W. Neller, Pia Bideau, David Bierbach, Wolfgang Hönig, Nir Lipovetzky, Christian Muise, Lino Coria, Claire Wong, Stephanie Rosenthal, Yu Lu, Ming Gao, Jingjing Zhang:
Model AI Assignments 2024. AAAI 2024: 23370-23371 - [c60]Bruce Chidley, Christian Muise:
Using Probabilistic Planning to Model the Spread of COVID-19 in Kingston, Ontario. CCECE 2024: 156-157 - [c59]Victoria Armstrong, Christian Muise:
Evaluating GPT-4's Ability to Identify Additional Context. CCECE 2024: 180-181 - [c58]Bennet Montgomery, Christian Muise, Sidney Givigi:
Hierarchical Deep Reinforcement Learning with Cross-attention and Planning for Autonomous Roundabout Navigation. CCECE 2024: 417-423 - [c57]Prakash Jamakatel, Rebecca De Venezia, Christian Muise, Jane Jean Kiam:
A Goal-Directed Dialogue System for Assistance in Safety-Critical Application. IJCAI 2024: 7859-7867 - [c56]Pascal Bercher, Patrik Haslum, Christian Muise:
A Survey on Plan Optimization. IJCAI 2024: 7941-7950 - [e1]Sara Bernardini, Christian Muise:
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024. AAAI Press 2024 [contents] - 2023
- [c55]Ella Morgan, Christian Muise:
Learning to Recognize Reachable States from Visual Domains. Canadian AI 2023 - [c54]Sarath Sreedharan, Christian Muise, Subbarao Kambhampati:
Generalizing Action Justification and Causal Links to Policies. ICAPS 2023: 417-426 - [c53]Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck:
PARIS: Planning Algorithms for Reconfiguring Independent Sets. ECAI 2023: 453-460 - [c52]Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith:
Planning with Epistemic Preferences. KR 2023: 752-756 - [c51]Xiaotian Liu, Héctor Palacios, Christian Muise:
Egocentric Planning for Scalable Embodied Task Achievement. NeurIPS 2023 - [i15]Xiaotian Liu, Héctor Palacios, Christian Muise:
Egocentric Planning for Scalable Embodied Task Achievement. CoRR abs/2306.01295 (2023) - [i14]Tathagata Chakraborti, Jungkoo Kang, Christian Muise, Sarath Sreedharan, Michael E. Walker, Daniel Szafir, Tom Williams:
TOBY: A Tool for Exploring Data in Academic Survey Papers. CoRR abs/2306.10051 (2023) - [i13]Alice Petrov, Christian Muise:
Automated Planning Techniques for Elementary Proofs in Abstract Algebra. CoRR abs/2312.06490 (2023) - [i12]Christian Muise, Sheila A. McIlraith, J. Christopher Beck:
PRP Rebooted: Advancing the State of the Art in FOND Planning. CoRR abs/2312.11675 (2023) - 2022
- [j4]Christian Muise
Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. 302: 103605 (2022) - [j3]Masataro Asai, Hiroshi Kajino, Alex Fukunaga, Christian Muise:
Classical Planning in Deep Latent Space. J. Artif. Intell. Res. 74: 1599-1686 (2022) - [c50]Toryn Q. Klassen, Sheila A. McIlraith, Christian Muise, Jarvis Xu:
Planning to Avoid Side Effects. AAAI 2022: 9830-9839 - [c49]Ryan Zhou
Permutation-Invariant Representation of Neural Networks with Neuron Embeddings. EuroGP 2022: 294-308 - [i11]Ethan Callanan, Rebecca De Venezia, Victoria Armstrong, Alison Paredes, Tathagata Chakraborti, Christian Muise:
MACQ: A Holistic View of Model Acquisition Techniques. CoRR abs/2206.06530 (2022) - 2021
- [c48]Xiaotian Liu, Victoria Armstrong, Sara Nabil, Christian Muise:
Exploring multi-view perspectives on deep reinforcement learning agents for embodied object navigation in virtual home environments. CASCON 2021: 190-195 - [p1]Masataro Asai, Hiroshi Kajino, Alex Fukunaga, Christian Muise:
Symbolic Reasoning in Latent Space: Classical Planning as an Example. Neuro-Symbolic Artificial Intelligence 2021: 52-77 - [i10]Masataro Asai, Hiroshi Kajino, Alex Fukunaga, Christian Muise:
Classical Planning in Deep Latent Space. CoRR abs/2107.00110 (2021) - [i9]Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR abs/2110.02480 (2021) - 2020
- [c47]Sarath Sreedharan, Tathagata Chakraborti, Christian Muise, Subbarao Kambhampati:
Hierarchical Expertise-Level Modeling for User Specific Robot-Behavior Explanations. AAAI 2020: 2518-2526 - [c46]Shubham Agarwal, Christian Muise, Mayank Agarwal, Sohini Upadhyay, Zilu Tang, Zhongshen Zeng, Yasaman Khazaeni:
TraceHub - A Platform to Bridge the Gap between State-of-the-Art Time-Series Analytics and Datasets. AAAI 2020: 13600-13601 - [c45]Sarath Sreedharan, Tathagata Chakraborti, Christian Muise, Yasaman Khazaeni, Subbarao Kambhampati:
- D3WA+ - A Case Study of XAIP in a Model Acquisition Task for Dialogue Planning. ICAPS 2020: 488-498 - [c44]Masataro Asai, Christian Muise:
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS). IJCAI 2020: 2676-2682 - [c43]Salomón Wollenstein-Betech
Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case. ITSC 2020: 1-6 - [i8]Masataro Asai, Christian Muise:
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS). CoRR abs/2004.12850 (2020) - [i7]Salomón Wollenstein-Betech, Christian Muise, Christos G. Cassandras, Ioannis Ch. Paschalidis, Yasaman Khazaeni:
Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case. CoRR abs/2007.04916 (2020)
2010 – 2019
- 2019
- [b2]Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise:
An Introduction to the Planning Domain Definition Language. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2019, ISBN 978-3-031-00456-8 - [c42]Tathagata Chakraborti, Christian Muise, Shubham Agarwal, Luis A. Lastras:
MAi: An Intelligent Model Acquisition Interface for Interactive Specification of Dialogue Agents. AAAI 2019: 9849-9850 - [c41]Maja Vukovic, Scott N. Gerard, Rick Hull, Michael Katz, Laura Shwartz, Shirin Sohrabi, Christian Muise, John J. Rofrano, Anup K. Kalia, Jinho Hwang, Yabin Dang, Jie Ma, Zhuoxuan Jiang:
Towards Automated Planning for Enterprise Services: Opportunities and Challenges. ICSOC 2019: 64-68 - [c40]Joseph Kim, Christian Muise, Ankit Shah
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations. IJCAI 2019: 5591-5598 - [c39]Serena Booth, Christian Muise, Julie Shah:
Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively. IJCAI 2019: 5801-5807 - [i6]Adi Botea, Christian Muise, Shubham Agarwal, Oznur Alkan, Ondrej Bajgar, Elizabeth Daly, Akihiro Kishimoto, Luis A. Lastras, Radu Marinescu, Josef Ondrej, Pablo Pedemonte, Miroslav Vodolán:
Generating Dialogue Agents via Automated Planning. CoRR abs/1902.00771 (2019) - [i5]Sarath Sreedharan, Tathagata Chakraborti, Christian Muise, Subbarao Kambhampati:
Planning with Explanatory Actions: A Joint Approach to Plan Explicability and Explanations in Human-Aware Planning. CoRR abs/1903.07269 (2019) - [i4]Christian Muise, Tathagata Chakraborti, Shubham Agarwal, Ondrej Bajgar, Arunima Chaudhary, Luis Alfonso Lastras-Montaño, Josef Ondrej, Miroslav Vodolán, Charlie Wiecha:
Planning for Goal-Oriented Dialogue Systems. CoRR abs/1910.08137 (2019) - 2018
- [j2]Christian Muise:
Characterizing and Computing All Delete-Relaxed Dead-ends. Inteligencia Artif. 21(62): 67-74 (2018) - [c38]Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu:
RADMAX: Risk and Deadline Aware Planning for Maximum Utility. AAAI Workshops 2018: 225-230 - [c37]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Canadian AI 2018: 45-59 - [c36]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Finite LTL Synthesis as Planning. ICAPS 2018: 29-38 - [c35]Nikhil Bhargava, Christian J. Muise, Tiago Vaquero, Brian Charles Williams:
Managing Communication Costs under Temporal Uncertainty. IJCAI 2018: 84-90 - [c34]Nikhil Bhargava, Christian J. Muise, Brian Charles Williams:
Variable-Delay Controllability. IJCAI 2018: 4660-4666 - [c33]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
LTL Realizability via Safety and Reachability Games. IJCAI 2018: 4683-4691 - [c32]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
SynKit: LTL Synthesis as a Service. IJCAI 2018: 5817-5819 - 2017
- [c31]Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith:
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. AAAI 2017: 3613-3621 - [c30]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI 2017: 3716-3724 - 2016
- [j1]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. 57: 113-149 (2016) - [c29]Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
'Knowing Whether' in Proper Epistemic Knowledge Bases. AAAI 2016: 1044-1050 - [c28]Alberto Camacho, Christian J. Muise, Sheila A. McIlraith:
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. ICAPS 2016: 65-69 - [c27]Nir Lipovetzky, Christian J. Muise, Hector Geffner:
Traps, Invariants, and Dead-Ends. ICAPS 2016: 211-215 - [c26]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). KnowProS@IJCAI 2016 - [c25]Tim Miller, Christian J. Muise:
Belief Update for Proper Epistemic Knowledge Bases. IJCAI 2016: 1209-1215 - [c24]Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith:
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. KnowProS@IJCAI 2016 - [c23]Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning for a Single Agent in a Multi-Agent Environment Using FOND. IJCAI 2016: 3206-3212 - [i3]Liz Sonenberg, Tim Miller, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum:
Social planning for social HRI. CoRR abs/1602.06483 (2016) - 2015
- [b1]Christian Muise:
Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution. University of Toronto, Canada, 2015 - [c22]Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI 2015: 3327-3334 - [c21]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI 2015: 3468-3474 - [c20]Christian J. Muise, Frank Dignum, Paolo Felli
Towards Team Formation via Automated Planning. COIN@AAMAS/IJCAI 2015: 282-299 - [c19]Christian J. Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg:
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. AAMAS 2015: 1461-1469 - [c18]Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
Computing Social Behaviours Using Agent Models. IJCAI 2015: 2978-2984 - [c17]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
#∃SAT: Projected Model Counting. SAT 2015: 121-137 - [i2]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Projected Model Counting. CoRR abs/1507.07648 (2015) - 2014
- [c16]Christian J. Muise, Vaishak Belle, Sheila A. McIlraith:
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. AAAI 2014: 2322-2329 - [c15]Tim Miller, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise:
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. AAAI Fall Symposia 2014 - [c14]Christian J. Muise, Sheila A. McIlraith, Vaishak Belle:
Non-Deterministic Planning With Conditional Effects. ICAPS 2014 - [c13]Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. ICSR 2014: 146-155 - [i1]Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR abs/1411.5410 (2014) - 2013
- [c12]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI 2013: 2328-2335 - [c11]Vladimir Klebanov, Norbert Manthey, Christian J. Muise:
SAT-Based Analysis and Quantification of Information Flow in Programs. QEST 2013: 177-192 - 2012
- [c10]Christian J. Muise:
Generalizing and Executing Plans. AAAI 2012: 2398-2399 - [c9]Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise:
On supervising agents in situation-determined ConGolog. AAMAS 2012: 1031-1038 - [c8]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian AI 2012: 356-361 - [c7]Christian J. Muise:
Generalizing and Executing Plans. Canadian AI 2012: 384-387 - [c6]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS 2012 - [c5]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS 2012 - 2011
- [c4]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Monitoring the Execution of Partial-Order Plans via Regression. IJCAI 2011: 1975-1982 - 2010
- [c3]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation 2010
2000 – 2009
- 2009
- [c2]Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer:
Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS 2009 - 2008
- [c1]Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP 2008: 613-617
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: