On Relaxation Rules in Algorithmic Logic.

Boris A. Trakhtenbrot

Published in: MFCS (1979)

Keyphrases

logical rules
classification rules
decision rules
production rules
derivation rules
intuitionistic logic
rule engine
rule sets
active rules
association rules
modal logic
bayesian networks
computational properties
defeasible logic
asynchronous circuits
human experts
logic programming
proof theoretic
expert systems