qumulab Goto Github PK

action-usability-via-deadend-detection

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

alfred

ALFRED - A Benchmark for Interpreting Grounded Instructions for Everyday Tasks

bauhaus

Build logical theories for SAT solvers on the fly

birdspyview

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

covi-agentsim

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

covi-contacts

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

drde

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

dsharp

hugo-academic-group

An academic group website theme for Hugo.

kingston-abm

kingston-params

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

krtoolkit

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

planner-for-relevant-policies

popgen

Methods for deordering and reordering partial order plans.

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

python-nnf

Manipulate NNF (Negation Normal Form) logical sentences

teamwork-via-collective-intention

tempopem

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

temporal-nl-to-pddl

Alex's CISC 500 capstone project repository

uambat

Universal Adapter Mechanism for Bridging Action Theories