HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING - Dov M. Gabbay,C. J. Hogger,J. A. Robinson; Robinson,J. A. (Clarendon Press, Oxford, 1998)
Contents ; V.1 Logical Foundations V.2 Deduction Methodologies V.3 Nonmonotonic Reasoning And Uncertain Reasoning V.4 Epistmic And Temporal Reasoning V. 5 Logic Programming
Keywords: Logic Programming; Artificial Intelligence; Logic, Symbolic And Mathematical