Skip to content
@knowsys

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)
README.md

Knowledge-Based Systems

Welcome to the github space of the research group Knowledge-Based Systems (KBS) at TU Dresden! We are using this space for

  • Our research software projects (obviously)
  • Evaluation data and background resources for publications
  • Source files for teaching materials (pull requests from students are welcome!)

About KBS

The research group Knowledge-Based Systems is concerned with methods for the intelligent management and processing of information in computer systems. This includes research questions from knowledge representation, reasoning and formal logic, but also covers topics related to databases and distributed systems. Important application areas of this research can be found in the fields of semantic technologies, artificial intelligence, and knowledge management.

Other Related Projects

Pinned Loading

  1. rulewerk rulewerk Public

    Java library based on the VLog rule engine

    Java 33 13

  2. nemo nemo Public

    A fast in-memory rule engine

    Rust 46 5

Repositories

Showing 10 of 22 repositories
  • CertifyingDatalog Public

    A certified checker for Datalog entailments, written in Lean

    knowsys/CertifyingDatalog’s past year of commit activity
    Lean 7 Apache-2.0 0 0 0 Updated Jul 1, 2024
  • nemo Public

    A fast in-memory rule engine

    knowsys/nemo’s past year of commit activity
    Rust 46 Apache-2.0 5 26 (2 issues need help) 3 Updated Jul 1, 2024
  • TheoLog Public

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

    knowsys/TheoLog’s past year of commit activity
    TeX 22 21 11 2 Updated Jun 26, 2024
  • nemo-web Public

    Web frontend for the Nemo rules engine

    knowsys/nemo-web’s past year of commit activity
    TypeScript 3 1 2 (1 issue needs help) 0 Updated Jun 26, 2024
  • Formale-Systeme-in-LEAN Public

    LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)

    knowsys/Formale-Systeme-in-LEAN’s past year of commit activity
    Lean 6 Apache-2.0 0 0 1 Updated Jun 25, 2024
  • nemo-vscode-extension Public

    Extension to support Nemo rules in VSCode and compatible editors

    knowsys/nemo-vscode-extension’s past year of commit activity
    TypeScript 0 0 0 0 Updated Jun 24, 2024
  • rulewerk Public

    Java library based on the VLog rule engine

    knowsys/rulewerk’s past year of commit activity
    Java 33 Apache-2.0 13 51 7 Updated Jun 12, 2024
  • nemo-examples Public

    Benchmarks and examples for the Nemo rule reasoner

    knowsys/nemo-examples’s past year of commit activity
    Python 1 Apache-2.0 0 0 0 Updated May 21, 2024
  • eval-2024-asp-molecules Public

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

    knowsys/eval-2024-asp-molecules’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated May 17, 2024
  • FormaleSysteme Public

    Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

    knowsys/FormaleSysteme’s past year of commit activity
    TeX 42 14 8 0 Updated Apr 7, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…