TY - BOOK ID - 5087513 TI - Nonmonotonic reasoning : logical foundations of commonsense PY - 1991 VL - 12 SN - 0521383943 9780521383943 PB - Cambridge: Cambridge university press, DB - UniCat KW - Logic KW - Reasoning KW - Logique KW - Raisonnement KW - Nonmonotonic reasoning KW - Logic. KW - Nonmonotonic reasoning. KW - Reasoning. KW - Artificial intelligence. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5087513 AB - Introduction -- Formalizing nonmonotonic reasoning -- Nonmonotonic theorem proving -- Inheritance systems -- Nonmonotonic rule based systems -- What has been achieved? ER -