sjkillen
/
clingo-hmknf-test
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6 Commits 1 Branch 0 Tags 70 KiB
Python 95.9%
Dockerfile 2%
Makefile 1.3%
ANTLR 0.8%
Go to file
Spencer Killen 22ae1bed2e
stash 		2022-06-30 16:55:42 -06:00
.devcontainer stash 2022-06-30 16:55:42 -06:00
.vscode stash 2022-06-30 16:55:42 -06:00
__pycache__ stash 2022-06-30 16:55:42 -06:00
logic stash 2022-06-30 16:55:42 -06:00
programs stash 2022-06-30 16:55:42 -06:00
test_output stash 2022-06-30 16:55:42 -06:00
.gitignore stash 2022-06-30 16:55:42 -06:00
Makefile working from campus 2022-06-29 16:06:09 -06:00
NOTES.md stash 2022-06-30 16:55:42 -06:00
README.md Initial commit 2022-06-25 09:16:00 -06:00
example.py stash 2022-06-30 16:55:42 -06:00
ontology.py stash 2022-06-30 16:55:42 -06:00
propagator.py stash 2022-06-30 16:55:42 -06:00
tests.py stash 2022-06-30 16:55:42 -06:00

README.md

clingo-hmknf-test

Proof of concept Clingo 5 extended to support reasoning with an ontology under Hybrid MKNF KB semantics