A General Proof Rule for Procedures in Predicate Transformer Semantics.

Alain J. Martin

Published in: Acta Informatica (1983)

Keyphrases

special case
data mining
deduction rules
formal semantics
fuzzy logic
logic programming
closely related
genetic algorithm
proof theory
highly expressive
relational databases
artificial intelligence
logic programs
fault diagnosis
first order logic
transformation rules
condition action rules
data sets