Generic Expansions of Omega-Categorical Structures and Semantics of Generalized Quantifiers.

Alexandre A. Ivanov

Published in: J. Symb. Log. (1999)

Keyphrases

semantic information
logic programming
hierarchical structures
database
databases
multiscale
logical language
natural language
domain specific
first order logic
formal semantics
numerical data
update semantics
conceptual graphs
categorical data
conceptual model
expert systems
keywords
real time