Sign in
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.
Tomi Janhunen
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