Graph Based Answer Set Programming Solver Systems.

Published in: ICLP Technical Communications (2021)

Keyphrases

answer set programming
answer set solvers
logic programs
logic programming
answer sets
answer set programs
artificial intelligence
knowledge representation
expert systems
graph model
default reasoning
reasoning tasks
constraint solvers