Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.
Jürgen DingelDavid GarlanSomesh JhaDavid NotkinPublished in: Formal Aspects Comput. (1998)
Keyphrases
- formal treatment
- knowledge base
- reasoning systems
- web services
- resource bounded
- knowledge representation
- analogical reasoning
- knowledge management
- fault tolerant
- probabilistic reasoning
- automated reasoning
- reasoning process
- consistency checking
- reasoning problems
- logical reasoning
- website
- knowledge processing
- decision making