Login / Signup
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