Elementary Equivalence Versus Isomorphism in Semiring Semantics.

Erich Grädel Lovro Mrkonjic

Published in: ICALP (2021)

Keyphrases

formal semantics
neural network
logic programming
database
nonmonotonic logics
data sets
databases
logic programs
semantic information
conceptual model
relational algebra
proof theory