A Constructive Logic Behind the Catch and Throw Mechanism.

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

expert systems
logic programming
automated reasoning
logical framework
selection mechanism
predicate logic
database
neural network
case study
bayesian networks
hidden markov models
computational model
multi valued
formal theory