Computability Logic: a formal theory of interaction

Giorgi Japaridze

Published in: CoRR (2004)

Keyphrases

formal theory
belief update
commonsense reasoning
spatial reasoning
feature selection
complex systems
mathematical models
human interaction