Queen's Mu Lab

planner-for-relevant-policies

pdkb-planning

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

python-nnf

Manipulate NNF (Negation Normal Form) logical sentences

dsharp

bauhaus

Build logical theories for SAT solvers on the fly

krtoolkit

PowerfulPuzzling

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

tempopem

Software to generalize and execute partial order plans with simple temporal constraints.

BirdsPyView

A streamlit app to convert images to top-down view and get coordinates of objects, built for football data collection

temporal-nl-to-pddl

Alex's CISC 500 capstone project repository

action-usability-via-deadend-detection

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

covi-contacts

Packages a collection of utilities from COVI-AgentSim for independent installation

kingston-params

A Jupyter notebook describing how the Kingston-specific parameters for the COVI-AgentSim simulation were derived

teamwork-via-collective-intention

alfred

ALFRED - A Benchmark for Interpreting Grounded Instructions for Everyday Tasks

COVI-AgentSim

Covid-19 spread simulator with human mobility and intervention modeling.

drde

Approach for generating every delete-relaxed deadend of a classicial planning problem.

hugo-academic-group

An academic group website theme for Hugo.

kingston-abm

popgen

Methods for deordering and reordering partial order plans.

UAMBAT

Universal Adapter Mechanism for Bridging Action Theories