Christian Muise, MSc
Toronto, CanadaResearch field: Computer and Information Science - Artificial Intelligence
AI, KR, Knowledge Representation, Automated Planning, SAT, Logic, Knowledge Compilation, Graph Theory
Publications
-
Conference Proceedings (6)
-
Giuseppe De Giacomo, Yves Lesperance, Christian Muise (2011) Agent Supervision in Situation-Determined ConGolog. In Nonmonotonic Reasoning, Action and Change.Download PDF (265.68 KB)
-
Christian Muise, Sheila A McIlraith, J Christopher Beck (2011) Monitoring the Execution of Partial-Order Plans via Regression, 1975-1982. In International Joint Conference On Artificial Intelligence.Download PDF (211.64 KB)
-
Christian Muise, Sheila A Mcilraith, J Christopher Beck (2011) Optimization of Partial-Order Plans via MaxSAT. In COPLAS.Download PDF (157.36 KB)
-
Christian Muise, Sheila A McIlraith, J Christopher Beck (2010) Fast d-DNNF Compilation with sharpSAT. In Workshop on Abstraction, Reformulation, and Approximation (AAAI-10).Download PDF (229.84 KB)
-
Christian Muise, Sheila A Mcilraith, Jorge A Baier et al. (2009) Exploiting N-gram Analysis to Predict Operator Sequences. In 19th International Conference on Automated Planning and Scheduling.Download PDF (192.3 KB)
-
Eric I Hsu, Christian Muise, J Christopher Beck et al. (2008) Probabilistically Estimating Backbones and Variable Bias: Experimental Overview, 613-617. In Principles and Practice of Constraint Programming, 14th International Conference.Download PDF (113.8 KB)
-
Awards and Grants
-
Sep 2007NSERC CGS
Biographical Information
I am a PhD candidate in the Computer Science graduate program at the University of Toronto. I completed my master's degree at U of T early in 2009, and did my undergrad at Carleton University from 2002 to 2007. My research is in the area of Knowledge Representation and Reasoning, but in general I am interested in a wide range of academic areas (graph theory, data visualization, computational geometry, etc).
CV
Professional Experience
2007 - Present
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Toronto, Canada
Education
2009 - Present
Sep 2007 - Jan 2009
Sep 2002 - Aug 2007
Contact Information
| Webpage: | http://www.haz.ca/ |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Christian is a member of
Public groups Christian is following
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more