Christian Muise

20 papers · 2013–2025 · 4 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (4) 🏃 Academic Marathon (12) 🐝 Cross-Pollinator (5) 🗺️ Taxonomy Completionist (29) 🔬 Deep Specialist (12) 🏆 Keyword Champion (2) 📈 Trend Setter 💎 Century Club (20) 🚀 Conference Pioneer 🗃️ Keyword Collector (82)

Conferences

IJCAI (13) AAAI (5) ACL (1) NIPS (1)

Top co-authors

Sheila A. McIlraith (5) Tim Miller (3) Alberto Camacho (2) Tathagata Chakraborti (2) Adrian R. Pearce (2) Julie Shah (2) Liz Sonenberg (2) Paolo Felli (2) J. Christopher Beck (2) Brian Williams (2)

Research topics

Keywords

automated planning (4) linear temporal logic (3) symbolic planning (3) program synthesis (2) temporal planning (2) multi-agent planning (2) heuristic search (2) automated reasoning (1) ai education (1) bayesian inference (1) natural language understanding (1) ai safety (1) educational resources (1) decision making (1) text generation (1) action selection (1) formal verification (1) knowledge compilation (1) visual perception (1) game theory (1)

Papers

LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025

Model AI Assignments 2024 AAAI 2024

A Survey on Plan Optimization IJCAI 2024

A Goal-Directed Dialogue System for Assistance in Safety-Critical Application IJCAI 2024

PRP Rebooted: Advancing the State of the Art in FOND Planning AAAI 2024

Egocentric Planning for Scalable Embodied Task Achievement NIPS 2023

Planning to Avoid Side Effects AAAI 2022

Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS) IJCAI 2020

Expectation-Aware Planning: A Unifying Framework for Synthesizing and Executing Self-Explaining Plans for Human-Aware Planning AAAI 2020

MAi: An Intelligent Model Acquisition Interface for Interactive Specification of Dialogue Agents AAAI 2019

Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations IJCAI 2019

Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively IJCAI 2019

Variable-Delay Controllability IJCAI 2018

LTL Realizability via Safety and Reachability Games IJCAI 2018

SynKit: LTL Synthesis as a Service IJCAI 2018

Managing Communication Costs under Temporal Uncertainty IJCAI 2018

Belief Update for Proper Epistemic Knowledge Bases IJCAI 2016

Planning for a Single Agent in a Multi-Agent Environment Using FOND IJCAI 2016

Computing Social Behaviours Using Agent Models IJCAI 2015

Flexible Execution of Partial Order Plans with Temporal Constraints IJCAI 2013