Flag-Based Big-Step Semantics.

Casper Bach Poulsen Peter D. Mosses

Published in: CoRR (2016)

Keyphrases

logic programming
post processing
genetic algorithm
preprocessing step
multi step
formal semantics
specification language
active rules
neural network
information retrieval
database systems
knowledge representation