01274nam1-22003491i-450-990001484420403321000148442FED01000148442(Aleph)000148442FED0100014844220010626d19931998km-y0itay50------baengGB----a---001yyHandbook of logic in artificial intelligence and logic programmingeditors Dov M. Gabbay, C.J. Hogger and J.A. RobinsonOxfordClarendon Press1993-19985 v.24 cm0019900014844304033212001 Logical foundations0019900014844404033212001 Deduction methodologies0019900014844504033212001 Nonmonotonic reasoning and uncertain reasoning0019900014844604033212001 Epistemic and temporal reasoning0019900014844704033212001 Logic programmingIntelligenza artificiale006.3Gabbay,Dov M.<1945- >Hogger,Christofer JohnRobinson,J.A.ITUNINARICAUNIMARCBK990001484420403321Handbook of logic in artificial intelligence and logic programming378102UNINA