Semantics Column.

Prakash Panangaden

Published in: ACM SIGLOG News (2024)

Keyphrases

formal semantics
logic programming
knowledge representation
semantic information
object oriented
conceptual model
deductive databases
operational semantics
model theoretic