On the Semantics of Gringo.

Amelia Harrison Vladimir Lifschitz Fangkai Yang

Published in: CoRR (2013)

Keyphrases

logic programming
formal semantics
data sets
image sequences
databases
semantic information
transformation rules
neural network
information retrieval
decision making
multiscale
default reasoning
logical language
update semantics