Fundamentals of Computability Logic.

Giorgi Japaridze

Published in: FLAP (2020)

Keyphrases

logic programming
automated reasoning
multi valued
modal logic
predicate logic
proof theory
machine learning
artificial intelligence
multiscale
real time
image sequences
relational databases
first order logic
logical framework
digital circuits
delay insensitive