Sciweavers

AAAI
1998
14 years 29 days 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