TY - BOOK ID - 101669284 TI - Logic Programming and Nonmonotonic Reasoning AU - Gottlob, Georg AU - Inclezan, Daniela AU - Maratea, Marco AU - SpringerLink (Online service) PY - 2022 SN - 9783031157073 PB - Cham Springer International Publishing :Imprint: Springer DB - UniCat KW - Logic programming KW - Nonmonotonic reasoning KW - Non-monotonic reasoning KW - Reasoning UR - https://www.unicat.be/uniCat?func=search&query=sysid:101669284 AB - ER -