haz.ca
Christian Muise
http://www.haz.ca/cv.html
Research Fellow, MIT. PhD, Computer Science. University of Toronto, Ontario, Canada. Feb 2009 - Feb. 2014]. Thesis: "Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution". Advisors: Professor Sheila A. McIlraith and Professor J. Christopher Beck. CGPA of 11.50 / 12.00. Masters, Computer Science. University of Toronto, Ontario, Canada. Sept 2007 - Jan. 2009]. Thesis: "Exploiting Modern #SAT-Solving Techniques to Generate Implicants". CGPA of 11.50 / 12.00. At the Int...
icaps16.icaps-conference.org
ICAPS 2016 Tutorials
http://icaps16.icaps-conference.org/tutorials.html
Working with the Planning.Domains API. Planning with State-Dependent Action Costs. Multi-Objective Planning under Uncertainty. Decision Diagrams for Discrete Optimization. Decision Diagrams for Sequencing and Scheduling. Planning Competition for Logistics Robots in Simulation. Working with the Planning.Domains API ( slides. Quarter Day (Monday, AM slot 1). We will cover topics such as the existing (and new) API for the solver. Christian Muise is a postdoctoral associate with the MERS group at MIT CSAIL&#...
haz.ca
Christian Muise
http://www.haz.ca/code.html
Research Fellow, MIT. To test the research into epistemic reasoning, we modelled the Hattari board game as an online application. The game is an excellent source for reasoning about nested belief, because there are elements of common knowledge, asymmetric belief, and even deception. I created this demo site. To showcase some aspects of the research into multi-agent epistemic planning (MEP). The work is also available for use as an open source library. PRP: Planner for Relevant Policies. This project is a...