Christian J. Muise
Orcid: 0000-0002-2728-6585
According to our database1,
Christian J. Muise
authored at least 71 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the 36th Canadian Conference on Artificial Intelligence, 2023
2022
Artif. Intell., 2022
Proceedings of the Genetic Programming - 25th European Conference, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021
Exploring multi-view perspectives on deep reinforcement learning agents for embodied object navigation in virtual home environments.
Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021
2020
Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS).
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
TraceHub - A Platform to Bridge the Gap between State-of-the-Art Time-Series Analytics and Datasets.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01584-7, 2019
Planning with Explanatory Actions: A Joint Approach to Plan Explicability and Explanations in Human-Aware Planning.
CoRR, 2019
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019
MAi: An Intelligent Model Acquisition Interface for Interactive Specification of Dialogue Agents.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
Proceedings of the Advances in Artificial Intelligence, 2018
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution.
PhD thesis, 2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the Social Robotics - 6th International Conference, 2014
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014
Proceedings of the 2014 AAAI Fall Symposia, Arlington, Virginia, USA, November 13-15, 2014, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Proceedings of the Advances in Artificial Intelligence, 2012
Proceedings of the Advances in Artificial Intelligence, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Proceedings of the IJCAI 2011, 2011
2010
2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Proceedings of the Principles and Practice of Constraint Programming, 2008