Skip to content
@QuMuLab

Queen's Mu Lab

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

Pinned Loading

  1. 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 9

  2. python-nnf Public

    Manipulate NNF (Negation Normal Form) logical sentences

    Python 17 9

  3. planner-for-relevant-policies Public

    PDDL 30 18

  4. bauhaus Public

    Build logical theories for SAT solvers on the fly

    Python 6 2

Repositories

Showing 10 of 24 repositories
  • pr2-downward-core Public Forked from aibasel/downward

    The Fast Downward domain-independent classical planning system

    C++ 0 GPL-3.0 149 0 0 Updated Jan 6, 2025
  • 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 MIT 9 0 0 Updated Dec 10, 2024
  • bauhaus Public

    Build logical theories for SAT solvers on the fly

    Python 6 MIT 2 6 (1 issue needs help) 1 Updated Sep 11, 2024
  • pr2 Public

    FOND Planner

    Jupyter Notebook 6 MIT 3 19 (1 issue needs help) 1 Updated Sep 3, 2024
  • pr2-old Public Forked from aibasel/downward

    PRP Rebooted

    C++ 3 GPL-3.0 149 0 0 Updated Aug 30, 2024
  • popgen Public

    Methods for deordering and reordering partial order plans.

    Python 0 MIT 1 0 0 Updated Aug 29, 2024
  • PDDL 30 18 1 1 Updated Mar 21, 2024
  • action-usability-via-deadend-detection Public

    Research project to explore the use of deadend detection techniques for testing action reachability.

    Python 0 MIT 0 0 1 Updated May 22, 2023
  • python-nnf Public

    Manipulate NNF (Negation Normal Form) logical sentences

    Python 17 ISC 9 12 (5 issues need help) 0 Updated Dec 13, 2022
  • PowerfulPuzzling Public

    The Powerful Puzzling algorithm aims to provide a solution to jigsaw puzzle solvers that are able to work with island pieces (a group of two or more connected pieces).

    Python 4 1 0 0 Updated Nov 21, 2022

People

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

Most used topics