Queen's Mu Lab

vf-misting-pddl Public

Cynthia's CISC 500 project repository

PDDL0 0 0 0 Updated Dec 10, 2025

pr2 Public

FOND Planner

Jupyter Notebook 8MIT 3 19 (1 issue needs help) 1 Updated Sep 2, 2025

bpmn-to-pddl-translation Public

Python0 0 2 0 Updated Aug 19, 2025

popgen Public

Methods for deordering and reordering partial order plans.

Python0 MIT 2 0 0 Updated Aug 13, 2025

pr2-downward-core Public Forked from aibasel/downward

The Fast Downward domain-independent classical planning system

C++0 GPL-3.0 180 0 1 Updated Jul 21, 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 22MIT 11 0 0 Updated Dec 10, 2024

bauhaus Public

Build logical theories for SAT solvers on the fly

Python 8MIT 2 6 (1 issue needs help) 1 Updated Sep 11, 2024

pr2-old Public Forked from aibasel/downward

PRP Rebooted

C++ 3GPL-3.0 180 0 0 Updated Aug 30, 2024

planner-for-relevant-policies Public

PDDL 32 19 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.

Python0 MIT 0 0 1 Updated May 22, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Queen's Mu Lab

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!