The logic of interactive Turing reduction

Giorgi Japaridze

Published in: CoRR (2005)

Keyphrases

user interaction
virtual reality
machine intelligence
automated reasoning
classical logic
predicate logic
data analysis
logic programming
computational properties
defeasible logic
computer graphics
modal logic
information visualization
asynchronous circuits