N\hbox{\sf N}-strictness in applicative theories.

Published in: Arch. Math. Log. (2000)

Keyphrases

theoretical framework
real time
neural network
data mining
cognitive psychology
defeasible logic
legal knowledge
database
real world
case study
expert systems
decision theory
formal models