QuMuLab/tempopem

Stars
2
Language
Python
License
MIT License
Created over 4 years ago
Updated over 4 years ago

QuMuLab/tempopem

QuMuLab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

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

temporal-nl-to-pddl

Alex's CISC 500 capstone project repository