Updated 10 months ago
llm-lct-sequencing
AI Semantic Insights: LLM Toolkit for Analysing Educational Practices and Knowledge Building.
Updated 10 months ago
ontology
This repository contains the crisis management ontology for the beAWARE H2020 project along with the relevant documentation.
Updated 10 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