C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Stable Model Semantics for Recursive SHACL.
Medina Andresel
Julien Corman
Magdalena Ortiz
Juan L. Reutter
Ognjen Savkovic
Mantas Simkus
Published in:
WWW (2020)
Keyphrases
</>
stable model semantics
logic programs
answer set programming
stable models
logic programming
rdf graphs
normal logic programs
modulo theories
general purpose
information extraction