Toggle navigation
Home
Publications
Projects
Members
Lab
Contact
Publications
2023
PARIS: Planning Algorithms for Reconfiguring Independent Sets
Remo Christen
,
Salomé Eriksson
,
Michael Katz
,
Prof. Christian Muise
,
Alice Petrov
,
Florian Pommerening
,
Jendrik Seipp
,
Silvan Sievers
,
David Speck
ECAI
September, 2023
Details
Planning with Epistemic Preferences
Toryn Q. Klassen
,
Prof. Christian Muise
,
Sheila A. McIlraith
KR
September, 2023
Details
PDF
From State Spaces to Semigroups: Leveraging Algebraic Formalism for Automated Planning
Alice Petrov
,
Prof. Christian Muise
HSDIP
July, 2023
Details
PDF
Plan4Dial: A Dialogue Planning Framework
Rebecca De Venezia
,
Prof. Christian Muise
ICAPS 2023 System Demonstrations
July, 2023
Details
PDF
Planning as a Service
Yi Ding
,
Cam Cunningham
,
Prof. Christian Muise
,
Nir Lipovetzky
ICAPS 2023 System Demonstrations
July, 2023
Details
PDF
Planning for Proofs
Alice Petrov
,
Prof. Christian Muise
SPARK
July, 2023
Details
The Generalizability of FOND Solutions in Uncertain Environments
Victoria Armstrong
,
Prof. Christian Muise
IntEx
July, 2023
Details
PDF
Towards Human-Aware AI via Planning with Epistemic Preferences
Toryn Q. Klassen
,
Prof. Christian Muise
,
Sheila A. McIlraith
HAXP
July, 2023
Details
PDF
TOBY: A Tool for Exploring Data in Academic Survey Papers
Tathagata Chakraborti
,
Jungkoo Kang
,
Prof. Christian Muise
,
Sarath Sreedharan
,
Michael Walker
,
Daniel Szafir
,
Tom Williams
arXiv
June, 2023
Details
PDF
Learning to Recognize Reachable States from Visual Domains
Ella Morgan
,
Prof. Christian Muise
CAI
June, 2023
Details
PDF
2022
Classical Planning in Deep Latent Space
Masataro Asai
,
Hiroshi Kajino
,
Alex Fukunaga
,
Prof. Christian Muise
JAIR
August, 2022
Details
PDF
Planning to Avoid Side Effects
Toryn Q. Klassen
,
Sheila A. McIlraith
,
Prof. Christian Muise
,
Jarvis Xu
AAAI 2022
June, 2022
Details
PDF
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Prof. Christian Muise
,
Vaishak Belle
,
Paolo Felli
,
Sheila McIlraith
,
Tim Miller
,
Adrian Pearce
,
Liz Sonenberg
ICAPS Journal Track (2022)
June, 2022
Details
PDF
Video
Code
Project
MACQ: A Unified Library for Action Model Acquisition
Ethan Callanan
,
Rebecca De Venezia
,
Victoria Armstrong
,
Alison Paredes
,
Jungkoo Kang
,
Tathagata Chakraborti
,
Prof. Christian Muise
ICAPS 2022 System Demonstrations
June, 2022
Details
PDF
Code
Project
Poster
Planning Tech for Planning Pedagogy
Alex Coulter
,
Teo Ilie
,
Renee Tibando
,
Prof. Christian Muise
ICAPS 2022 System Demonstrations
June, 2022
Details
PDF
Code
Poster
PLANUTILS: Bringing Planning to the Masses
Prof. Christian Muise
,
Florian Pommerening
,
Jendrik Seipp
,
Michael Katz
ICAPS 2022 System Demonstrations
🏆
(2nd place)
June, 2022
Details
PDF
Code
Poster
A Planning based Neural-Symbolic Approach for Embodied Instruction Following
Xiaotian Liu
,
Hector Palacios
,
Prof. Christian Muise
EAI 2022
🏆
(1st place)
June, 2022
Details
PDF
An AI Safety Threat from Learned Planning Models
Toryn Q. Klassen
,
Sheila McIlraith
,
Prof. Christian Muise
RDDPS (2022)
June, 2022
Details
PDF
TattleTale: Storytelling with Planning and Large Language Models
Nisha Simon
,
Prof. Christian Muise
SPARK 2022
June, 2022
Details
PDF
Theory Alignment via a Classical Encoding of Regular Bisimulation
Alex Coulter
,
Teo Ilie
,
Renee Tibando
,
Prof. Christian Muise
KEPS 2022
June, 2022
Details
PDF
Video
Code
Discrete Time Series Clustering and Delineation: A Tree-Based Approach to Linear Temporal Logic Discovery
Brennan Cruse
,
Prof. Christian Muise
XAIP 2022
June, 2022
Details
PDF
Why Did You Do That? Generalizing Causal Link Explanations to Fully Observable Non-Deterministic Planning Problems
Sarath Sreedharan
,
Prof. Christian Muise
,
Subbarao Kambhampati
XAIP 2022
June, 2022
Details
PDF
Video
MACQ: A Unified Library for Action Model Acquisition
Ethan Callanan
,
Rebecca De Venezia
,
Victoria Armstrong
,
Alison Paredes
,
Tathagata Chakraborti
,
Prof. Christian Muise
KEPS (2022)
May, 2022
Details
PDF
Video
Code
Project
Towards Physiologically-Responsive Interactive Garments with Machine Learning Techniques
Victoria Armstrong
MSc Thesis
April, 2022
Details
PDF
Permutation-Invariant Representation of Neural Networks with Neuron Embeddings
Ryan Zhou
,
Prof. Christian Muise
,
Ting Hu
EuroGP 2022
April, 2022
Details
PDF
Discrete Time-Series Clustering and Linear Temporal Logic Delineation
Brennan Cruse
MSc Thesis
April, 2022
Details
PDF
Towards a Planning-Based Neural-Symbolic Framework for Egocentric Agent Design
Xiaotian Liu
MSc Thesis
February, 2022
Details
PDF
ULIME: Uniformly weighted Local Interpretable Model-agnostic Explanations for Image Classifiers
Minhaj Uddin Ansari
MSc Thesis
January, 2022
Details
PDF
Symbolic Reasoning in Latent Space: Classical Planning as an Example
Masataro Asai
,
Hiroshi Kajino
,
Alex Fukunaga
,
Prof. Christian Muise
Neuro-Symbolic Artificial Intelligence: The State of the Art
January, 2022
Details
PDF
2021
Exploring Multi-View Perspectives on Deep Reinforcement Learning Agents for Embodied Object Navigation in Virtual Home Environments
Xiaotian Liu
,
Victoria Armstrong
,
Sara Nabil
,
Prof. Christian Muise
CASCON (2021)
November, 2021
Details
PDF
Code
A Planning.Domains Plugin for Heuristic Visualization
Caitlin Aspinall
,
Cam Cunningham
,
Ellie Sekine
,
Prof. Christian Muise
ICAPS System Demos (2021)
🏆
(3rd place)
August, 2021
Details
PDF
Video
Code
Do You See What I See? An Egocentric View of our Pansophical Planning Problems
Xiaotian Liu
,
Alison Paredes
,
Prof. Christian Muise
IntEx (2021)
August, 2021
Details
PDF
Video
A Natural Language Model for Generating PDDL
Nisha Simon
,
Prof. Christian Muise
KEPS (2021)
August, 2021
Details
PDF
Video
A Neural-Symbolic Approach for Object Navigation
Xiaotian Liu
,
Prof. Christian Muise
Embodied (2021)
May, 2021
Details
PDF
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Prof. Christian Muise
,
Vaishak Belle
,
Paolo Felli
,
Sheila A. McIlraith
,
Tim Miller
,
Adrian R. Pearce
,
Liz Sonenberg
Artificial Intelligence Journal
January, 2021
Details
PDF
KEPS Book: Planning. Domains
Prof. Christian Muise
,
Nir Lipovetzky
Knowledge Engineering Tools and Techniques for AI Planning
January, 2021
Details
PDF
2020
Action Usability via Deadend Detection
Qianyu Zhang
,
Prof. Christian Muise
KEPS (2020)
October, 2020
Details
PDF
Video
Code
D3WA+: A Case Study of XAIP in a Model Acquisition Task
Sarath Sreedharan
,
Tathagata Chakraborti
,
Prof. Christian Muise
,
Yasaman Khazaeni
,
Subbarao Kambhampati
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS)
January, 2020
Details
Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case
Salomon Wollenstein-Betech
,
Prof. Christian Muise
,
Christos G. Cassandrass
,
Ioannis Ch. Paschalidis
,
Yasaman Khazaeni
The 23rd IEEE International Conference on Intelligent Transportation Systems
January, 2020
Details
PDF
Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
Masataro Asai
,
Prof. Christian Muise
29th International Joint Conference on Artificial Intelligence
January, 2020
Details
PDF