Quasi finitely axiomatizable totally categorical theories.

Gisela Ahlbrandt Martin Ziegler

Published in: Ann. Pure Appl. Log. (1986)

Keyphrases

theoretical framework
finite number
databases
inductive inference
categorical data
multiscale
real world
evolutionary algorithm
data model
intelligent systems
first order logic
information systems
real time
cognitive psychology
causal reasoning
formal models
numerical values