Knowledge-Based Systems

icon indicating a website link https://kbs.inf.tu-dresden.de

icon location Dresden, Germany icon location 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)

Results 3 repositories owned by Knowledge-Based Systems

FormaleSysteme

42
Stars
14
Forks
Watchers

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

verified publisher icon knowsys

TheoLog

22
Stars
21
Forks
Watchers

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

verified publisher icon knowsys

nemo

37
Stars
5
Forks
Watchers

A fast in-memory rule engine

verified publisher icon knowsys