ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.

Alessandro Bertagnon Marco Gavanelli Fabio Zanotti

Published in: CILC (2023)

Keyphrases

answer sets
vector graphics
logic programs
answer set programming
answer set semantics
data model
normal logic programs
artificial intelligence
logic programming
fixpoint
answer set programs
user interface
stable models
loop formulas