Towards applied theories based on computability logic

Giorgi Japaridze

Published in: CoRR (2008)

Keyphrases

real time
neural network
real world
machine learning
multiscale
expert systems
evolutionary algorithm
case study
database systems
modal logic
defeasible logic