On non-compact logics in NEXT(KTB).

Zofia Kostrzycka

Published in: Math. Log. Q. (2008)

Keyphrases

expressive power
modal logic
inference rules
neural network
real time
real world
data mining
computer vision
image sequences
epistemic logic