Handbook of logic in artificial intelligence and logic programming - Gabbay, Dov M. 1945-.; Hogger, Christopher John.; Robinson, J.A. (John Alan). (Oxford Clarendon Press, 1993)
v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning.
Keywords: Logic programming; Artificial intelligence; Logic, Symbolic and mathematical