Logics Without the Contraction Rule.

Hiroakira Ono Yuichi Komori

Published in: J. Symb. Log. (1985)

Keyphrases

horn logic
association rules
real time
rule learning
website
relational databases
belief change
active databases
neural network
case study
classification rules
rule sets
proof procedures