Skip to content

@QuMuLab Queen's Mu Lab

Change the repository type filter

All

    Repositories list

    24 repositories

    • bauhaus

      Public
      Build logical theories for SAT solvers on the fly
      logicsatnnfconstraintspropositional-logic-encodingspropositional-variables
      Python
      •
      MIT License
      •2•6•6•1•Updated Sep 11, 2024Sep 11, 2024

    • pr2

      Public
      FOND Planner
      Jupyter Notebook
      •
      MIT License
      •2•5•19•1•Updated Sep 3, 2024Sep 3, 2024

    • pr2-downward-core

      Public
      The Fast Downward domain-independent classical planning system
      C++
      •
      GNU General Public License v3.0
      •142•0•0•0•Updated Aug 30, 2024Aug 30, 2024

    • pr2-old

      Public
      PRP Rebooted
      C++
      •
      GNU General Public License v3.0
      •142•3•0•0•Updated Aug 30, 2024Aug 30, 2024

    • popgen

      Public
      Methods for deordering and reordering partial order plans.
      Python
      •
      MIT License
      •1•0•0•0•Updated Aug 29, 2024Aug 29, 2024

    • planner-for-relevant-policies

      Public
      PDDL
      •18•28•1•1•Updated Mar 21, 2024Mar 21, 2024

    • action-usability-via-deadend-detection

      Public
      Research project to explore the use of deadend detection techniques for testing action reachability.
      Python
      •
      MIT License
      •0•0•0•1•Updated May 22, 2023May 22, 2023

    • 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
      •
      MIT License
      •9•21•0•0•Updated Apr 18, 2023Apr 18, 2023

    • python-nnf

      Public
      Manipulate NNF (Negation Normal Form) logical sentences
      pythonlogicdimacsnnf
      Python
      •
      ISC License
      •9•17•12•0•Updated Dec 13, 2022Dec 13, 2022

    • PowerfulPuzzling

      Public
      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).
      machine-learningcomputer-visionpuzzle-solver
      Python
      •1•4•0•0•Updated Nov 21, 2022Nov 21, 2022

    • COVI-AgentSim

      Public
      Covid-19 spread simulator with human mobility and intervention modeling.
      Jupyter Notebook
      •
      GNU Affero General Public License v3.0
      •8•0•0•0•Updated Nov 17, 2022Nov 17, 2022

    • kingston-abm

      Public
      Jupyter Notebook
      •
      MIT License
      •5•0•0•0•Updated Sep 14, 2022Sep 14, 2022

    • dsharp

      Public
      C++
      •
      MIT License
      •5•16•8•0•Updated Jun 20, 2022Jun 20, 2022

    • temporal-nl-to-pddl

      Public
      Alex's CISC 500 capstone project repository
      Python
      •
      MIT License
      •1•1•0•0•Updated Apr 12, 2022Apr 12, 2022

    • hugo-academic-group

      Public
      An academic group website theme for Hugo.
      HTML
      •
      MIT License
      •18•0•0•0•Updated Mar 7, 2022Mar 7, 2022

    • kingston-params

      Public
      A Jupyter notebook describing how the Kingston-specific parameters for the COVI-AgentSim simulation were derived
      Jupyter Notebook
      •
      MIT License
      •1•0•0•0•Updated Jul 19, 2021Jul 19, 2021

    • covi-contacts

      Public
      Packages a collection of utilities from COVI-AgentSim for independent installation
      Python
      •
      MIT License
      •0•0•0•0•Updated Jun 29, 2021Jun 29, 2021

    • BirdsPyView

      Public
      A streamlit app to convert images to top-down view and get coordinates of objects, built for football data collection
      Python
      •
      MIT License
      •20•1•0•0•Updated Apr 9, 2021Apr 9, 2021

    • alfred

      Public
      ALFRED - A Benchmark for Interpreting Grounded Instructions for Everyday Tasks
      C
      •
      MIT License
      •88•0•0•0•Updated Jul 27, 2020Jul 27, 2020

    • krtoolkit

      Public
      Python
      •
      MIT License
      •2•4•8•0•Updated May 29, 2020May 29, 2020

    • drde

      Public
      Approach for generating every delete-relaxed deadend of a classicial planning problem.
      Common Lisp
      •
      MIT License
      •0•0•0•0•Updated Apr 4, 2020Apr 4, 2020

    • UAMBAT

      Public
      Universal Adapter Mechanism for Bridging Action Theories
      Shell
      •
      MIT License
      •0•0•0•0•Updated Apr 4, 2020Apr 4, 2020

    • tempopem

      Public
      Software to generalize and execute partial order plans with simple temporal constraints.
      Python
      •
      MIT License
      •0•2•0•0•Updated Apr 4, 2020Apr 4, 2020

    • teamwork-via-collective-intention

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 4, 2020Apr 4, 2020