A system for reasoning within and about algebraic specifications.
Jacek LeszczylowskiMartin WirsingPublished in: Symposium on Programming (1982)
Keyphrases
- artificial intelligence
- knowledge representation
- knowledge base
- finite state machines
- high level
- learning algorithm
- reactive systems
- meta level
- rule based reasoning
- probabilistic logic
- model based reasoning
- delay insensitive
- resource bounded
- reasoning problems
- formal models
- automated reasoning
- qualitative reasoning
- spatial reasoning
- probabilistic reasoning
- formal specification