Meta-predicate Semantics.

Published in: LOPSTR (2011)

Keyphrases

formal semantics
logic programming
real time
transformation rules
data sets
data model
logic programs
semantic information
first order logic
conceptual graphs
graphical representation
nonmonotonic logics
update semantics