Algebraic Characterizations of Various Beth Definability Properties.

Published in: Stud Logica (2000)

Keyphrases

real time
neural network
fixed point
structural properties
special case
databases
machine learning
genetic algorithm
learning algorithm
artificial intelligence
information systems
case study
database systems
propositional logic
algebraic structure