TY - BOOK
AU - Łukaszewicz, Witold
TI - Non-monotonic reasoning formalization of commonsense reasoning
ET - 1. publ.
PB - Ellis Horwood
SN - 0136244467
KW - Artificial intelligence
KW - Reasoning Data processing
KW - Logic, symbolic and mathematical
KW - Nonmonotonic reasoning
KW - Logic
KW - Artificial intelligence. Applications of human reasoning
KW - Reasoning
KW - Nichtmonotone Logik
KW - Künstliche Intelligenz
KW - Nichtmonotones Schließen
KW - Urteilen
PY - 1990
N2 - Includes bibliographical references (p. [309]-318) and index
BT - Ellis Horwood Series in artificial intelligence
CY - New York [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation