Knowledge-Based Systems
Projects affiliated with the KBS research group at TU Dresden (note: hosting content here does not establish any formal or legal relation to TU Dresden)
Dresden, Germany
Pinned Repositories
2022-ISWC-reliances
CertifyingDatalog
A certified checker for Datalog entailments, written in Lean
Course-Knowledge-Graphs
Test data and example source code for the Knowledge Graphs lecture 2023/24
Formale-Systeme-in-LEAN
LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
nemo
A fast in-memory rule engine.
nemo-examples
Benchmarks and examples for the Nemo rule reasoner
nemo-web
Web frontend for the Nemo rules engine
rulewerk
Java library based on the VLog rule engine
TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Knowledge-Based Systems's Repositories
knowsys/nemo
A fast in-memory rule engine.
knowsys/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
knowsys/rulewerk
Java library based on the VLog rule engine
knowsys/Course-Knowledge-Graphs
Test data and example source code for the Knowledge Graphs lecture 2023/24
knowsys/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
knowsys/Formale-Systeme-in-LEAN
LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
knowsys/CertifyingDatalog
A certified checker for Datalog entailments, written in Lean
knowsys/nemo-web
Web frontend for the Nemo rules engine
knowsys/2022-ISWC-reliances
knowsys/nemo-examples
Benchmarks and examples for the Nemo rule reasoner
knowsys/rulewerk-language-suppport
A Visual Studio Code extension for rulewerk language (an extension of Datalog with Existential rules and stratified negation).
knowsys/.github
knowsys/eval-2019-ISWC-VLog
knowsys/eval-2022-IJCAI-asp-with-sets
Evaluation data for the IJCAI 2022 paper "Simulating Sets in Answer Set Programming"
knowsys/eval-2024-asp-molecules
Evaluation files for an ASP-based tool that enumerates molecule shapes for a given sum fomula
knowsys/eval-combined-approach-horn-alchoiq
Proof-of-concept implementation of a combined approach for Horn-ALCHOIQ and its experimental evaluation
knowsys/eval-datalog-arithmetic
Evaluation data for the work "A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic"
knowsys/rulewerk-eclipse
knowsys/rulewerk-example
Example project that shows the use of Rulewerk
knowsys/VLog-cpp-API
a c++ API for using VLog, with some of Rulewerk functionality
knowsys/while-simulator
A simulator for the WHILE programming language
knowsys/nemo-doc
The documentation pages for the Nemo rules engine.
knowsys/nemo-vscode-extension
Extension to support Nemo rules in VSCode and compatible editors