Proceedings

Christian Muise

School of Computing , Queen's University , Kingston Canada

9 papers in the IJCAI proceedings

IJCAI 2024

A Goal-Directed Dialogue System for Assistance in Safety-Critical Application
with Prakash Jamakatel, Rebecca De Venezia, Jane Jean Kiam
doi:10.24963/ijcai.2024/870
Details PDF
A Survey on Plan Optimization
with Pascal Bercher, Patrik Haslum
doi:10.24963/ijcai.2024/879
Details PDF

IJCAI 2020

Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)
with Masataro Asai
doi:10.24963/ijcai.2020/371
Details PDF

IJCAI 2019

Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations
with Joseph Kim, Ankit Shah, Shubham Agarwal, Julie Shah
doi:10.24963/ijcai.2019/776
Details PDF
Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively
with Serena Booth, Julie Shah
doi:10.24963/ijcai.2019/804
Details PDF

IJCAI 2018

LTL Realizability via Safety and Reachability Games
with Alberto Camacho, Jorge A. Baier, Sheila A. McIlraith
doi:10.24963/ijcai.2018/651
Details PDF
Managing Communication Costs under Temporal Uncertainty
with Nikhil Bhargava, Tiago Vaquero, Brian Williams
doi:10.24963/ijcai.2018/12
Details PDF
SynKit: LTL Synthesis as a Service
with Alberto Camacho, Jorge A. Baier, Sheila A. McIlraith
doi:10.24963/ijcai.2018/848
Details PDF
Variable-Delay Controllability
with Nikhil Bhargava, Brian Williams
doi:10.24963/ijcai.2018/648
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards