QuMuLab/pdkb-planning QuMuLab/pdkb-planning

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    Python
  • License
    MIT License
  • Created almost 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
QuMuLab/pdkb-planning
github

QuMuLab

Reviews

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

Repository Details

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

More Repositories

1

planner-for-relevant-policies

PDDL
26
star
2

dsharp

C++
16
star
3

bauhaus

Build logical theories for SAT solvers on the fly
Python
6
star
4

krtoolkit

Python
4
star
5

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
4
star
6

tempopem

Software to generalize and execute partial order plans with simple temporal constraints.
Python
2
star
7

temporal-nl-to-pddl

Alex's CISC 500 capstone project repository
Python
1
star