Publications

  2016 (12)
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. Mombourquette, B.; Muise, C.; and McIlraith, S. A. In Workshop on Knowledge-based techniques for problem solving and reasoning (KnowProS'16), 2016.
bibtex   abstract
Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL. Camacho, A.; Triantafillou, E.; Muise, C.; Baier, J.; and McIlraith, S. A. In Workshop on Knowledge-based techniques for problem solving and reasoning (KnowProS'16), 2016.
bibtex   abstract
Optimal Partial-Order Plan Relaxation via MaxSAT. Muise, C.; Beck, J. C.; and McIlraith, S. A. Journal of Artificial Intelligence Research, . 2016.
bibtex   abstract
Planning.Domains. Muise, C. In The 26th International Conference on Automated Planning and Scheduling - Demonstrations, 2016.
Planning.Domains [pdf]Paper   bibtex   abstract
LTL Synthesis for Non-Deterministic Systems on Finite and Infinite Traces. Camacho, A.; Triantafillou, E.; Muise, C.; Baier, J.; and McIlraith, S. A. In Workshop on Heuristic Search and Domain Independent Planning (HSDIP'16), 2016.
LTL Synthesis for Non-Deterministic Systems on Finite and Infinite Traces [pdf]Paper   bibtex   abstract
Belief Update for Proper Epistemic Knowledge Bases. Miller, T.; and Muise, C. In International Joint Conference On Artificial Intelligence, 2016.
Belief Update for Proper Epistemic Knowledge Bases [pdf]Paper   bibtex   abstract
Planning for a Single Agent in a Multi-Agent Environment Using FOND. Muise, C.; Felli, P.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In International Joint Conference On Artificial Intelligence, 2016.
Planning for a Single Agent in a Multi-Agent Environment Using FOND [pdf]Paper   bibtex   abstract
Traps, Invariants, and Dead-Ends. Lipovetzky, N.; Muise, C.; and Geffner, H. In The 26th International Conference on Automated Planning and Scheduling, 2016.
Traps, Invariants, and Dead-Ends [link]Paper   bibtex   abstract
From FOND to Robust Probabilistic Planning: Computing compact policies that bypass avoidable deadends. Camacho, A.; Muise, C.; and McIlraith, S. A. In The 26th International Conference on Automated Planning and Scheduling, 2016.
From FOND to Robust Probabilistic Planning: Computing compact policies that bypass avoidable deadends [link]Paper   bibtex   abstract
'Knowing Whether' in Proper Epistemic Knowledge Bases. Miller, T.; Muise, C.; Felli, P.; Pearce, A. R.; and Sonenberg, L. In The 30th AAAI Conference on Artificial Intelligence, 2016.
'Knowing Whether' in Proper Epistemic Knowledge Bases [pdf]Paper   bibtex   abstract
Social planning for social HRI. Sonenberg, L.; Miller, T.; Pearce, A.; Felli, P.; Muise, C.; and Dignum, F. In 2nd Workshop on Cognitive Architectures for Social Human-Robot Interaction, 2016.
Social planning for social HRI [pdf]Paper   bibtex
DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version). Muise, C.; McIlraith, S. A.; Beck, J. C.; and Hsu, E. In AAAI-16 Workshop on Beyond NP, 2016.
DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version) [link]Paper   bibtex
  2015 (11)
Projected Model Counting. Aziz, R. A.; Chu, G.; Muise, C.; and Stuckey, P. In International Conference on Theory and Applications of Satisfiability Testing, Austin, USA, 2015.
Projected Model Counting [pdf]Paper   bibtex   abstract
MAP-LAPKT: Omnipotent Multi-Agent Planning via Compilation to Classical Planning. Muise, C.; Lipovetzky, N.; and Ramirez, M. In Competition of Distributed and Multiagent Planners, 2015.
MAP-LAPKT: Omnipotent Multi-Agent Planning via Compilation to Classical Planning [pdf]Paper   bibtex
Unplannability IPC Track. Muise, C.; and Lipovetzky, N. In Workshop on the International Planning Competition, 2015.
Unplannability IPC Track [pdf]Paper   bibtex   abstract
Towards Team Formation via Automated Planning. Muise, C.; Dignum, F.; Felli, P.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems, 2015.
Towards Team Formation via Automated Planning [pdf]Paper   bibtex   abstract
From FOND to Probabilistic Planning: Guiding search for quality policies. Camacho, A.; Muise, C.; Ganeshen, A.; and McIlraith, S. A. In Workshop on Heuristic Search and Domain Independent Planning (HSDIP'15), 2015.
From FOND to Probabilistic Planning: Guiding search for quality policies [pdf]Paper   bibtex   abstract
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version). Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In Workshop on Distributed and Multi-Agent Planning (DMAP'15), 2015.
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version) [pdf]Paper   bibtex   abstract
Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems. Muise, C.; Felli, P.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In Workshop on Distributed and Multi-Agent Planning (DMAP'15), 2015.
Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems [pdf]Paper   bibtex   abstract
Computing Social Behaviours Using Agent Models. Felli, P.; Miller, T.; Muise, C.; Pearce, A. R.; and Sonenberg, L. In International Joint Conference on Artificial Intelligence, IJCAI 2015, 2015.
Computing Social Behaviours Using Agent Models [pdf]Paper   bibtex   abstract
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. Muise, C.; Miller, T.; Felli, P.; Pearce, A. R.; and Sonenberg, L. In The International Conference on Autonomous Agents and Multiagent Systems, 2015.
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases [pdf]Paper   bibtex   abstract
Stable model counting and its application in probabilistic logic programming. Aziz, R. A.; Chu, G.; Muise, C.; and Stuckey, P. In The 29th AAAI Conference on Artificial Intelligence, 2015.
Stable model counting and its application in probabilistic logic programming [pdf]Paper   bibtex   abstract
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In The 29th AAAI Conference on Artificial Intelligence, 2015.
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach [pdf]Paper   bibtex   abstract
  2014 (6)
Artificial social reasoning: computational mechanisms for reasoning about others. Felli, P.; Miller, T.; Muise, C.; Pearce, A. R.; and Sonenberg, L. In The International Conference on Social Robotics, 2014.
Artificial social reasoning: computational mechanisms for reasoning about others [pdf]Paper   bibtex   abstract   66 downloads
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. Miller, T.; Pearce, A. R.; Sonenberg, L.; Dignum, F.; Felli, P.; and Muise, C. In The AAAI 2014 Fall Symposium on AI for Human-Robot Interaction, 2014. Extended Abstract
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing [pdf]Paper   bibtex   11 downloads
Width and Inference Based Planners: SIW, BFS (f), and PROBE. Lipovetzky, N.; Ramirez, M.; Muise, C.; and Geffner, H. In International Planning Competition Booklet (IPC-8), 2014.
Width and Inference Based Planners: SIW, BFS (f), and PROBE [pdf]Paper   bibtex   6 downloads
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. Muise, C.; Belle, V.; and McIlraith, S. A. In The 28th AAAI Conference on Artificial Intelligence, 2014.
Computing Contingent Plans via Fully Observable Non-Deterministic Planning [pdf]Paper   bibtex   abstract   40 downloads
Non-Deterministic Planning With Conditional Effects. Muise, C.; McIlraith, S. A.; and Belle, V. In The 24th International Conference on Automated Planning and Scheduling, 2014.
Non-Deterministic Planning With Conditional Effects [pdf]Paper   bibtex   abstract   30 downloads
Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution. Muise, C. Ph.D. Thesis, University of Toronto, 2014.
Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution [pdf]Paper   bibtex   abstract
  2013 (2)
SAT-based Analysis and Quantification of Information Flow in Programs. Klebanov, V.; Manthey, N.; and Muise, C. In 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), pages 177--192, 2013.
SAT-based Analysis and Quantification of Information Flow in Programs [pdf]Paper   bibtex   33 downloads
Flexible Execution of Partial Order Plans With Temporal Constraints. Muise, C.; Beck, J. C.; and McIlraith, S. A. In International Joint Conference On Artificial Intelligence, pages 2328--2335, 2013.
Flexible Execution of Partial Order Plans With Temporal Constraints [pdf]Paper   bibtex   5 downloads
  2012 (4)
Improved Non-deterministic Planning by Exploiting State Relevance. Muise, C.; McIlraith, S. A.; and Beck, J. C. In The 22nd International Conference on Automated Planning and Scheduling, 2012.
Improved Non-deterministic Planning by Exploiting State Relevance [pdf]Paper   bibtex   abstract   36 downloads
Optimally Relaxing Partial-order Plans With MaxSAT. Muise, C.; McIlratih, S. A.; and Beck, J. C. In 22nd International Conference on Automated Planning and Scheduling, 2012.
Optimally Relaxing Partial-order Plans With MaxSAT [pdf]Paper   bibtex   2 downloads
DSHARP: Fast d-DNNF Compilation with sharpSAT. Muise, C.; McIlraith, S. A.; Beck, J. C.; and Hsu, E. In Canadian Conference on Artificial Intelligence, 2012.
DSHARP: Fast d-DNNF Compilation with sharpSAT [pdf]Paper   bibtex   3 downloads
On supervising agents in situation-determined ConGolog. De Giacomo, G.; Lespérance, Y.; and Muise, C. In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems-Volume 2, pages 1031--1038, 2012. International Foundation for Autonomous Agents and Multiagent Systems
On supervising agents in situation-determined ConGolog [pdf]Paper   bibtex
  2011 (4)
Monitoring the Execution of Partial-Order Plans via Regression. Muise, C.; McIlraith, S. A.; and Beck, J. C. In International Joint Conference On Artificial Intelligence, 2011.
Monitoring the Execution of Partial-Order Plans via Regression [pdf]Paper   bibtex   abstract   2 downloads
Optimization of Partial-Order Plans via MaxSAT. Muise, C.; McIlratih, S. A.; and Beck, J. C. In Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS'11), 2011.
Optimization of Partial-Order Plans via MaxSAT [pdf]Paper   bibtex
Agent Supervision in Situation-Determined ConGolog. De Giacomo, G.; Lesperance, Y.; and Muise, C. In Nonmonotonic Reasoning, Action and Change, 2011.
Agent Supervision in Situation-Determined ConGolog [link]Paper   bibtex   abstract   2 downloads
Plan Dispatchability: A Survey. Muise, C. Technical Report University of Toronto, Depth Examination Report, 2011.
Plan Dispatchability: A Survey [pdf]Paper   Plan Dispatchability: A Survey [pdf] slides   bibtex
  2010 (1)
Fast d-DNNF Compilation with sharpSAT. Muise, C.; McIlraith, S. A.; and Beck, J. C. In Workshop on Abstraction, Reformulation, and Approximation (AAAI-10), Atlanta, GA, USA, 2010.
Fast d-DNNF Compilation with sharpSAT [pdf]Paper   bibtex
  2009 (2)
Exploiting N-gram Analysis to Predict Operator Sequences. Muise, C.; McIlraith, S. A.; Baier, J. A.; and Reimer, M. In 19th International Conference on Automated Planning and Scheduling, Thessaloniki, Greece, 2009.
Exploiting N-gram Analysis to Predict Operator Sequences [pdf]Paper   bibtex   6 downloads
Exploiting Modern #SAT-Solving Techniques to Generate Implicants. Muise, C. Master's Thesis, University of Toronto, 2009.
Exploiting Modern #SAT-Solving Techniques to Generate Implicants [pdf]Paper   bibtex   abstract
  2008 (1)
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. Hsu, E. I; Muise, C.; Beck, J. C.; and McIlraith, S. A. In Principles and Practice of Constraint Programming, 14th International Conference, pages 613--617, Sydney, Australia, 2008.
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview [pdf]Paper   bibtex   3 downloads