A Predicate Transformer for Progress.

Published in: Inf. Process. Lett. (1990)

Keyphrases

fuzzy logic
power system
decision making
hidden markov models
fault diagnosis
database systems
distribution network
database
feature extraction
multi agent
data structure
multi agent systems
first order logic
horn clauses
power transformers
high voltage