Volume 5: Logic Programming - Dov M. Gabbay-C. J. Hogger-J. A. Robinson (Clarendon Press, 1998)
Keywords: Artificial Intelligence; Expert Systems; Artificial intelligence.,Logic programming.,Logic, Symbolic and mathematical; COMPUTERS