Christian J. Muise
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
6
Active years
2008–2018
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | AAAI | RADMAX: Risk and Deadline Aware Planning for Maximum Utility. | Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu |
| 2018 | AI | Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. | Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith |
| 2018 | IJCAI | Managing Communication Costs under Temporal Uncertainty. | Nikhil Bhargava, Christian J. Muise, Tiago Vaquero, Brian Charles Williams |
| 2018 | IJCAI | Variable-Delay Controllability. | Nikhil Bhargava, Christian J. Muise, Brian Charles Williams |
| 2018 | IJCAI | LTL Realizability via Safety and Reachability Games. | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2018 | IJCAI | SynKit: LTL Synthesis as a Service. | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2017 | AAAI | Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. | Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2017 | AAAI | Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. | Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith |
| 2016 | AAAI | 'Knowing Whether' in Proper Epistemic Knowledge Bases. | Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg |
| 2016 | IJCAI | Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). | Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2016 | IJCAI | Belief Update for Proper Epistemic Knowledge Bases. | Tim Miller, Christian J. Muise |
| 2016 | IJCAI | Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. | Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith |
| 2016 | IJCAI | Planning for a Single Agent in a Multi-Agent Environment Using FOND. | Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2015 | AAAI | Stable Model Counting and Its Application in Probabilistic Logic Programming. | Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey |
| 2015 | AAAI | Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. | Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2015 | IJCAI | Computing Social Behaviours Using Agent Models. | Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg |
| 2015 | SAT | #∃SAT: Projected Model Counting. | Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey |
| 2014 | AAAI | Computing Contingent Plans via Fully Observable Non-Deterministic Planning. | Christian J. Muise, Vaishak Belle, Sheila A. McIlraith |
| 2013 | IJCAI | Flexible Execution of Partial Order Plans With Temporal Constraints. | Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith |
| 2012 | AAAI | Generalizing and Executing Plans. | Christian J. Muise |
| 2012 | AAMAS | On supervising agents in situation-determined ConGolog. | Giuseppe De Giacomo, Yves Lesprance, Christian J. Muise |
| 2012 | AI | Generalizing and Executing Plans. | Christian J. Muise |
| 2012 | AI | Dsharp: Fast d-DNNF Compilation with sharpSAT. | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu |
| 2011 | IJCAI | Monitoring the Execution of Partial-Order Plans via Regression. | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck |
| 2010 | AAAI | Fast d-DNNF Compilation with sharpSAT. | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu |
| 2008 | CP | Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. | Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith |