MatthiasNickles/fol2asp

A tool for translating First-Order Logic (FOL) to Answer Set Programming (ASP)

语言：Scala · GitHub 星标：3 · Fork：0

话题：ai · answer-set-programming · first-order-logic · fol · logic-programming · nonmonotonic · open-source · satisfiability

在 GitHub 上查看原仓库