Locality Theorems in Semiring Semantics.

Clotilde Bizière Erich Grädel Matthias Naaf

Published in: MFCS (2023)

Keyphrases

formal semantics
transformation rules
data model
logic programming
semantic information
relational algebra
semantic representation
real time
databases
neural network
information retrieval
object oriented
logic programs
conceptual model
graphical representation