Lukaszewicz, Witold. <br/><br/>
Non-monotonic reasoning :  Formalization of commonsense reasoning / 
Witold Lukaszewicz. 
 - New York :  Ellis Horwood,  1990. 
 - 328 p. :  ill. ;  25 cm. 
 - Ellis Horwood series in artificial intelligence .
<br/><br/>Includes bibliographical references (p. [309]-318) and index. 
<br/><br/><label>ISBN: </label>0136244467 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Nonmonotonic reasoning.<br/>Logic.
<br/><br/><label>Dewey Class. No.: </label>006.3