Skip to content
@QuMuLab

Queen's Mu Lab

Academic lab lead by Prof. Christian Muise at Queen's University.

Pinned Loading

  1. pdkb-planning pdkb-planning Public

    Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with Proper Doxastic Knowledge Bases (PDKBs).

    Python 22 10

  2. python-nnf python-nnf Public

    Manipulate NNF (Negation Normal Form) logical sentences

    Python 17 9

  3. planner-for-relevant-policies planner-for-relevant-policies Public

    PDDL 31 18

  4. bauhaus bauhaus Public

    Build logical theories for SAT solvers on the fly

    Python 6 2

Repositories

Showing 10 of 24 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…