Christian Muise
20 papers · 2013–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
π Conference Polyglot (4) π Interdisciplinary Bridge π§ Keyword Pioneer π Renaissance Researcher (5) π Academic Marathon (12)
π
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
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