A Sound Metalogical Semantics for Input/Output Effects.

Roy L. Crole Andrew D. Gordon

Published in: CSL (1994)

Keyphrases

input output
noise cancellation
fuzzy neural network
logic programming
fuzzy controller
data envelopment analysis
internal states
ibm zenterprise
database
fuzzy model
state transition
neural network
fuzzy sets
model checking