Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.
Peter Gorm LarsenPublished in: Semantics of Specification Languages (1993)
Keyphrases
- logical rules
- precise definition
- association rules
- rule based systems
- decision rules
- human experts
- rule sets
- cut elimination
- rule mining
- rule discovery
- business rules
- production rules
- theorem proving
- theorem prover
- real time
- association rule mining
- expert systems
- search algorithm
- data structure
- decision making
- artificial intelligence