A sound and complete reasoning system for asynchronous communication with shared futures.
Crystal Chang DinOlaf OwePublished in: J. Log. Algebraic Methods Program. (2014)
Keyphrases
- asynchronous communication
- set of inference rules
- synchronous communication
- inference rules
- knowledge representation
- service composition
- xml keys
- knowledge base
- neural network
- reasoning problems
- probabilistic logic
- automated reasoning
- reasoning systems
- rule based reasoning
- reasoning engine
- logical reasoning
- model based diagnosis