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)

    Language:Scala4200