Mechanised Semantics for Gated Static Single Assignment.

Yann Herklotz Delphine Demange Sandrine Blazy

Published in: CPP (2023)

Keyphrases

logic programming
neural network

database
machine learning

expert systems
logic programs

semantic relationships
semantic representation