Semantics column.

Michael W. Mislove

Published in: ACM SIGLOG News (2015)

Keyphrases

semantic information
formal semantics
real time
data sets
logic programming
neural network
logic programs
semantic representation
transformation rules
nonmonotonic logics