A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules
Keyword(s):
Keyword(s):
Keyword(s):
1996 ◽
Vol 39
(2-3)
◽
pp. 265-304
◽
Keyword(s):