The logic of interactive Turing reduction.

Giorgi Japaridze

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

Keyphrases

modal logic
interactive video
user interaction
case study
computer vision
logic programming
artificial intelligence
virtual reality
multi valued
reduction method
classical logic
digital circuits
databases
computer graphics
data sets
machine intelligence
graphical interface
nonmonotonic logics
formal theory