Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Published in: Fields of Logic and Computation III (2020)

Keyphrases

modal logic
information systems
logic programming
databases
multi valued
epistemic logic
real time
digital circuits
set theory
logical framework
probabilistic logic
description logics
website
computer vision
search engine
artificial intelligence
genetic algorithm
neural network