What is the Logic of Computational Tasks?

Max I. Kanovich

Published in: Logic at Botik (1989)

Keyphrases

modal logic
mathematical programming
data sets
transfer learning
automated reasoning
deontic logic
real world
artificial intelligence
database systems
artificial neural networks
mobile robot
logic programming
computational power
multiple tasks
digital circuits