Skip to content

Christian Muise

  • PhD
  • Research Fellow
  • Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
  • 6

    h-index

    Impact measure calculated by Scopus using these publications and citation counts.
  • 107

    Citations

    Number of citations received by these publications in Scopus.

Other IDs

Research interests

Graph TheoryKnowledge CompilationLogicSATAutomated PlanningKnowledge RepresentationKRAI

About

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).

Co-authors (26)

Explore network
Explore network

Publications

Efficient reasoning with consistent proper epistemic knowledge bases

  • Muise C
  • Miller T
  • Felli P
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2015)
  • n/a

    Readers

  • 3

    Citations

Non-deterministic planning with conditional effects

  • Muise C
  • Mcllraith S
  • Belle V
Proceedings International Conference on Automated Planning and Scheduling, ICAPS (2014)
  • n/a

    Readers

  • 3

    Citations

SAT-based analysis and quantification of information flow in programs

  • Klebanov V
  • Manthey N
  • Muise C
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
  • n/a

    Readers

  • 11

    Citations

Full text

Generalizing and executing plans

  • Muise C
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2012)
  • n/a

    Readers

  • 0

    Citations

Full text

Optimally relaxing partial-order plans with MaxSAT

  • Muise C
  • McIlraith S
  • Beck J
ICAPS 2012 - Proceedings of the 22nd International Conference on Automated Planning and Scheduling (2012)
  • n/a

    Readers

  • 6

    Citations

Professional experience

Research Fellow

Artificial Intelligence and Computer Science Laboratory

January 2016 - Present

Teaching Assistant

Department of Computer Science, University of Toronto

September 2007 - April 2013(6 years)

Education history

PhD Computer Science

University of Toronto

February 2009 - October 2013(5 years)

MSc Computer Science

University of Toronto

September 2007 - January 2009(a year)

Bachelor of Science, Computer Science

Carleton University

September 2002 - August 2007(5 years)