Reasoning Inductively about Z Specifications via Unification.
David A. DuffyIan ToynPublished in: ZB (2000)
Keyphrases
- knowledge representation
- reasoning systems
- automated theorem proving
- knowledge base
- higher order
- theorem prover
- computational properties
- analogical reasoning
- knowledge representation and reasoning
- theorem proving
- reasoning tasks
- automated reasoning
- qualitative reasoning
- default reasoning
- reactive systems
- model based reasoning
- spatial reasoning
- delay insensitive
- equational theories
- legal reasoning
- real time
- probabilistic reasoning
- formal specification
- finite state machines
- description logics
- information systems
- artificial intelligence
- genetic algorithm