Independent Bases for Rules Admissible in Pretabular Logics.

Vladimir V. Rybakov Vladimir R. Kiyatkin Mehmet Terziler

Published in: Log. J. IGPL (1999)

Keyphrases

expressive power
multi context systems
rule sets
modal logic
association rules
domain knowledge
decision rules
classification rules
inference rules
state space
basis functions
production rules
nonmonotonic reasoning
classical logic
proof theoretic