Soundness Conditions for Big-Step Semantics.

Francesco Dagnino Viviana Bono Elena Zucca Mariangiola Dezani-Ciancaglini

Published in: ESOP (2020)

Keyphrases

logic programming
sufficient conditions
post processing
formal semantics
semantic information
learning algorithm
high level
big data
conceptual graphs
data mining
information retrieval
knowledge representation
preprocessing step