Semantics of value recursion for Monadic Input/Output.
Levent ErkökJohn LaunchburyAndrew MoranPublished in: RAIRO Theor. Informatics Appl. (2002)
Keyphrases
- input output
- deductive databases
- datalog programs
- logic programming
- noise cancellation
- internal states
- fuzzy neural network
- fuzzy model
- stable models
- state transition
- data envelopment analysis
- integrity constraints
- learning algorithm
- neural network
- datalog queries
- database
- ibm zenterprise
- fixpoint
- fuzzy controller
- resource management
- complex objects
- data management