Flag-based big-step semantics.

Casper Bach Poulsen Peter D. Mosses

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

post processing
logic programming
semantic information
formal semantics
databases
image sequences
bayesian networks
multi agent systems
artificial neural networks
preprocessing step
semantic representation
specification language
argumentation semantics