knowsys Goto Github PK

.github

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

eval-2019-iswc-vlog

eval-2022-ijcai-asp-with-sets

Evaluation data for the IJCAI 2022 paper "Simulating Sets in Answer Set Programming"

eval-2024-asp-molecules

Evaluation files for an ASP-based tool that enumerates molecule shapes for a given sum fomula

eval-combined-approach-horn-alchoiq

Proof-of-concept implementation of a combined approach for Horn-ALCHOIQ and its experimental evaluation

eval-datalog-arithmetic

Evaluation data for the work "A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic"

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-vscode-extension

Extension to support Nemo rules in VSCode and compatible editors

nemo-web

Web frontend for the Nemo rules engine

rulewerk

Java library based on the VLog rule engine

rulewerk-eclipse

rulewerk-example

Example project that shows the use of Rulewerk

rulewerk-language-suppport

A Visual Studio Code extension for rulewerk language (an extension of Datalog with Existential rules and stratified negation).

theolog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

vlog-cpp-api

a c++ API for using VLog, with some of Rulewerk functionality

while-simulator

A simulator for the WHILE programming language