https://gitlab2.informatik.uni-wuerzburg.de/Wissensbasierte-Systeme/declare/declare
Tip revision: b6ea6b97b180932761f3d679944c21e98fe6bd97 authored by Marcel Waleska on 02 August 2023, 06:14:51 UTC
Initial commit
Initial commit
Tip revision: b6ea6b9
File | Mode | Size |
---|---|---|
cd_databases | ||
closed_world_assumptions | ||
disjunctive_consequence_operators | ||
mm_satchmo | ||
model_based_semantics | ||
nmr_interfaces | ||
possible_model_semantics | ||
tp_operators | ||
well_founded_semantics |