Semantics column.

Michael W. Mislove

Published in: ACM SIGLOG News (2016)

Keyphrases

formal semantics
logic programming
semantic information
conceptual model
schema mappings
operational semantics
e learning
web services
case study
expert systems
semantic representation
logical framework
logical language