Christian J. Muise

42 papers A* 23A 4B 1Journal 4Unranked 10

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