Modular Specifications with Supernormal Defaults.
Stefan BrassPublished in: Ann. Math. Artif. Intell. (1994)
Keyphrases
- default reasoning
- formal specification
- expressive power
- finite state machines
- specification language
- website
- real time
- modular structure
- default theories
- delay insensitive
- design requirements
- reactive systems
- asynchronous circuits
- highly flexible
- operational semantics
- functional requirements
- nonmonotonic reasoning
- default logic
- multiscale
- high level