Variations in definition of ultraproducts of a family of first order relational structures.

Wilfred G. Malcolm

Published in: Notre Dame J. Formal Log. (1972)

Keyphrases

relational structures
first order logic
relational data
higher order
expressive power
special case
relational databases
databases
probabilistic reasoning
association graph
inductive logic programming
natural language
knowledge representation
point sets
markov networks
horn clauses