A Calculus Supporting Contract Reasoning and Monitoring.
María-Emilia CambroneroLuis LlanaGordon J. PacePublished in: IEEE Access (2017)
Keyphrases
- decision support
- monitoring system
- proof procedure
- knowledge representation
- real time
- reasoning systems
- qualitative spatial
- knowledge base
- supply chain
- qualitative spatial reasoning
- reasoning process
- reasoning tasks
- neural network
- gathering information
- cardinal directions
- automated reasoning
- analogical reasoning
- plan execution
- probabilistic reasoning
- decision support system
- artificial intelligence
- spatial representation and reasoning