Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.

Published in: PADL (2022)

Keyphrases

logic programming
formal semantics
e learning
semantic information
computer vision
website
case study
data exchange
default reasoning
genetic algorithm
video sequences
natural language processing
co occurrence
schema mappings
efficient implementation