Skip to content

Christian Muise

  • PhD
  • Research Staff Member
  • IBM Cambridge Research Center
  • 8h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 192CitationsNumber of citations received by Christian's publications. Updated daily.

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 (25)

Publications (5)

  • Knowing Whether in proper epistemic knowledge bases

    • Miller T
    • Felli P
    • Muise C
    • et al.
    N/AReaders
    2Citations
  • Planning for a single agent in a multi-agent environment using FOND

    • Muise C
    • Felli P
    • Miller T
    • et al.
    N/AReaders
    1Citations
  • Towards team formation via automated planning

    • Muise C
    • Dignum F
    • Felli P
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Computing social behaviours using agent models

    • Felli P
    • Miller T
    • Muise C
    • et al.
    N/AReaders
    2Citations
  • Planning over multi-agent epistemic states: A classical planning approach

    • Muise C
    • Belle V
    • Felli P
    • et al.
    N/AReaders
    13Citations

Professional experience

Research Staff Member

IBM

October 2017 - Present

Research Fellow

Artificial Intelligence and Computer Science Laboratory

January 2016 - October 2017(2 years)

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)