Proof theory for admissible rules.

Rosalie Iemhoff George Metcalfe

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

proof theory
proof theoretic
default reasoning
automated reasoning
association rules
state space
production rules
query language
programming language
logic programs