TY  - BOOK
AU  - Lukaszewicz,Witold
TI  - Non-monotonic reasoning: Formalization of commonsense reasoning 
SN  - 0136244467
U1  - 006.3 20
PY  - 1990///
CY  - New York
PB  - Ellis Horwood
KW  - Artificial intelligence
KW  - Nonmonotonic reasoning
KW  - Logic
N1  - Includes bibliographical references (p. [309]-318) and index
ER  -