stable-model-semantics
There are 1 repositories under stable-model-semantics topic.
MatthiasNickles/fol2asp
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
There are 1 repositories under stable-model-semantics topic.
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)