Semantics column.

Michael W. Mislove Prakash Panangaden

Published in: ACM SIGLOG News (2016)

Keyphrases

formal semantics
semantic information
operational semantics
database
neural network
information retrieval
genetic algorithm
search engine
logic programming
semantic representation
specification language
speech acts
model theoretic
update semantics