Sciweavers

AAAI
1998
13 years 6 months ago
Experimenting with Power Default Reasoning
In this paper weexplore the computationalaspects of Propositional PowerDefault Reasoning (PDR),a form of non-monotonicreasoning whichthe underlyinglogic is Kleene's3-valued p...
Eric Klavins, William C. Rounds, Guo-Qiang Zhang