Introduction to computability logic.

Giorgi Japaridze

Published in: Ann. Pure Appl. Log. (2003)

Keyphrases

logic programming
modal logic
predicate logic
linear logic
real time
hidden markov models
automated reasoning
propositional dynamic logic
abductive reasoning
classical logic
logical framework
default logic
image sequences
case study
information systems
genetic algorithm
machine learning