grASP: A Graph Based ASP-Solver and Justification System.

Fang Li Huaduo Wang Gopal Gupta

Published in: CoRR (2021)

Keyphrases

answer set programming
graph model
tabu search
web applications
multi relational data mining
semi supervised
graph theoretic
answer sets
answer set programs
satisfiability modulo theories
graph based algorithm
database
spreading activation
pairwise
multiscale
website
artificial intelligence