Interpreting Classical Theories in Constructive Ones.

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

Keyphrases

theoretical framework
genetic algorithm
real time
neural network
information systems
case study
digital libraries
domain knowledge
probability distribution
defeasible logic