Christian J. Muise

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 18

Top Topics

Probabilistic Planning

Temporally Extended Goals

Top Venues

Publications

Nikhil Bhargava, Christian J. Muise, Tiago Vaquero, Brian Charles Williams
Managing Communication Costs under Temporal Uncertainty. IJCAI (2018)
Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
Finite LTL Synthesis as Planning. ICAPS (2018)
Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu
RADMAX: Risk and Deadline Aware Planning for Maximum Utility. AAAI Workshops (2018)
Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Canadian Conference on AI (2018)
Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
LTL Realizability via Safety and Reachability Games. IJCAI (2018)
Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
SynKit: LTL Synthesis as a Service. IJCAI (2018)
Nikhil Bhargava, Christian J. Muise, Brian Charles Williams
Variable-Delay Controllability. IJCAI (2018)
Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. AAAI (2017)
Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI (2017)
Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. KnowProS@IJCAI (2016)
Tim Miller, Christian J. Muise
Belief Update for Proper Epistemic Knowledge Bases. IJCAI (2016)
Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. 57 (2016)
Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Planning for a Single Agent in a Multi-Agent Environment Using FOND. IJCAI (2016)
Liz Sonenberg, Tim Miller, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum
Social planning for social HRI. CoRR (2016)
Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
'Knowing Whether' in Proper Epistemic Knowledge Bases. AAAI (2016)
Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). KnowProS@IJCAI (2016)
Nir Lipovetzky, Christian J. Muise, Hector Geffner
Traps, Invariants, and Dead-Ends. ICAPS (2016)
Alberto Camacho, Christian J. Muise, Sheila A. McIlraith
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. ICAPS (2016)
Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Towards Team Formation via Automated Planning. COIN@AAMAS/IJCAI (2015)
Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey
Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI (2015)
Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
Computing Social Behaviours Using Agent Models. IJCAI (2015)
Christian J. Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. AAMAS (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
Projected Model Counting. CoRR (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
#∃SAT: Projected Model Counting. SAT (2015)
Christian J. Muise, Sheila A. McIlraith, Vaishak Belle
Non-Deterministic Planning With Conditional Effects. ICAPS (2014)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR (2014)
Christian J. Muise, Vaishak Belle, Sheila A. McIlraith
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. AAAI (2014)
Tim Miller, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. AAAI Fall Symposia (2014)
Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. ICSR (2014)
Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI (2013)
Vladimir Klebanov, Norbert Manthey, Christian J. Muise
SAT-Based Analysis and Quantification of Information Flow in Programs. QEST (2013)
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS (2012)
Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise
On supervising agents in situation-determined ConGolog. AAMAS (2012)
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian Conference on AI (2012)
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS (2012)
Christian J. Muise
Generalizing and Executing Plans. AAAI (2012)
Christian J. Muise
Generalizing and Executing Plans. Canadian Conference on AI (2012)
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
Monitoring the Execution of Partial-Order Plans via Regression. IJCAI (2011)
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation (2010)
Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer
Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS (2009)
Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP (2008)