Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.
Willem P. de RoeverPublished in: MFCS (1976)
Keyphrases
- datalog programs
- fault diagnosis
- fuzzy logic
- power transformers
- first order logic
- transitive closure
- complex objects
- power system
- distribution network
- deductive databases
- query answering
- incipient fault
- rewrite systems
- high voltage
- data mining
- neural network
- expressive power
- query language
- fixpoint
- evolutionary algorithm
- case study
- decision making
- term rewriting
- logic rules
- partial discharge
- real time