Assume-Guarantee Reasoning with Local Specifications.
Alessio LomuscioBen StruloNigel G. WalkerPeng WuPublished in: Int. J. Found. Comput. Sci. (2013)
Keyphrases
- knowledge base
- reasoning systems
- reasoning process
- meta level
- formal specification
- resource bounded
- finite state machines
- case based reasoning
- knowledge representation
- reasoning mechanisms
- specification language
- reasoning problems
- logical formulas
- consistency checking
- causal reasoning
- knowledge representation and reasoning
- written in natural language
- computational properties
- uncertain information
- probabilistic logic
- data sets
- functional requirements
- production rules
- website
- e learning
- artificial intelligence