Logic.

Renato A. Lewin Marta Sagastume Pedro Massey

Published in: Log. J. IGPL (2004)

Keyphrases

modal logic
logic programming
asynchronous circuits
neural network
linear logic
real time
abductive reasoning
digital circuits
set theory
classical logic
logical framework
probabilistic logic
multi valued
probability theory
probabilistic model
data model
database systems
decision trees
decision making
computer vision