The logic of "can do".

Published in: International Sympoisum on Theoretical Programming (1972)

Keyphrases

multi valued
case study
e learning
logic programming
data sets
neural network
machine learning
knowledge representation
modal logic
probabilistic logic
defeasible logic
epistemic logic
asynchronous circuits
intuitionistic logic
sound and complete axiomatization