An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Miquel BertranFrancesc-Xavier BabotAugust ClimentPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- input output
- proof theory
- reasoning tasks
- distributed systems
- noise cancellation
- internal states
- distributed environment
- fuzzy inference system
- open world
- nonlinear functions
- logic programming
- knowledge base
- reasoning mechanisms
- knowledge representation
- fuzzy controller
- fuzzy neural network
- fuzzy model
- mobile agents
- default reasoning
- state transition
- formal semantics
- fuzzy modeling
- intelligent agents
- expert systems