Picture for Christian Muise

Christian Muise

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

Dec 20, 2023
Viaarxiv icon

Automated Planning Techniques for Elementary Proofs in Abstract Algebra

Dec 11, 2023
Viaarxiv icon

TOBY: A Tool for Exploring Data in Academic Survey Papers

Add code
Jun 13, 2023
Figure 1 for TOBY: A Tool for Exploring Data in Academic Survey Papers
Figure 2 for TOBY: A Tool for Exploring Data in Academic Survey Papers
Figure 3 for TOBY: A Tool for Exploring Data in Academic Survey Papers
Figure 4 for TOBY: A Tool for Exploring Data in Academic Survey Papers
Viaarxiv icon

Egocentric Planning for Scalable Embodied Task Achievement

Jun 02, 2023
Figure 1 for Egocentric Planning for Scalable Embodied Task Achievement
Figure 2 for Egocentric Planning for Scalable Embodied Task Achievement
Figure 3 for Egocentric Planning for Scalable Embodied Task Achievement
Figure 4 for Egocentric Planning for Scalable Embodied Task Achievement
Viaarxiv icon

MACQ: A Holistic View of Model Acquisition Techniques

Add code
Jun 14, 2022
Figure 1 for MACQ: A Holistic View of Model Acquisition Techniques
Figure 2 for MACQ: A Holistic View of Model Acquisition Techniques
Figure 3 for MACQ: A Holistic View of Model Acquisition Techniques
Figure 4 for MACQ: A Holistic View of Model Acquisition Techniques
Viaarxiv icon

Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief

Add code
Oct 06, 2021
Figure 1 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 2 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 3 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 4 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Viaarxiv icon

Classical Planning in Deep Latent Space

Jun 30, 2021
Figure 1 for Classical Planning in Deep Latent Space
Figure 2 for Classical Planning in Deep Latent Space
Figure 3 for Classical Planning in Deep Latent Space
Figure 4 for Classical Planning in Deep Latent Space
Viaarxiv icon

Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case

Jul 09, 2020
Figure 1 for Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case
Figure 2 for Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case
Figure 3 for Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case
Figure 4 for Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case
Viaarxiv icon

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

Apr 27, 2020
Figure 1 for Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
Figure 2 for Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
Figure 3 for Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
Figure 4 for Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
Viaarxiv icon

Planning for Goal-Oriented Dialogue Systems

Oct 17, 2019
Figure 1 for Planning for Goal-Oriented Dialogue Systems
Figure 2 for Planning for Goal-Oriented Dialogue Systems
Figure 3 for Planning for Goal-Oriented Dialogue Systems
Figure 4 for Planning for Goal-Oriented Dialogue Systems
Viaarxiv icon