sjkillen/clingo-hmknf-test
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
1 commit 1 branch 0 tags 70 KiB
Python 95.9%
Dockerfile 2%
Makefile 1.3%
ANTLR 0.8%
Find a file
sjkillen 7c8e17ec59
Initial commit
2022-06-25 09:16:00 -06:00
README.md Initial commit 2022-06-25 09:16:00 -06:00

README.md

clingo-hmknf-test

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