Algebraic Semantics (Abstract).

James W. Thatcher

Published in: TAPSOFT, Vol.1 (1987)

Keyphrases

algebraic structure
formal semantics
propositional dynamic logic
low level
logic programming
graphical representation
machine learning
high level
higher order
database
higher level
owl ontologies
semantic representation
conceptual model
social networks
information retrieval
real world