Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics.

Published in: CoRR (2019)

Keyphrases

first order logic
formal semantics
semantic information
data model
conceptual model
real world
information systems
natural language
expert systems
conceptual graphs
model theoretic
update semantics