Updated 6 months ago
llm-lct-sequencing
AI Semantic Insights: LLM Toolkit for Analysing Educational Practices and Knowledge Building.
Updated 6 months ago
ontology
This repository contains the crisis management ontology for the beAWARE H2020 project along with the relevant documentation.
Updated 6 months ago
kr-sat-solver
A built-from-scratch Python-based SAT Solver implementing the DPLL-recursive algorithm. Research and implementations for the Knowledge Representation course at Vrije Universiteit Amsterdam