Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume coordinator, D. Nute.

Other author Gabbay, Dov M., 1945-
Other author Hogger, Christopher John.
Other author Robinson, J. A. (John Alan)
Format Book
Publication InfoOxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1993-
Descriptionvolumes : illustrations ; 25 cm
Subjects
Logic programming.
Artificial intelligence.
Logic, Symbolic and mathematical.

Incomplete content v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporarl reasoning.
Bibliography noteIncludes bibliographical references and indexes.
LCCN 92023358
ISBN019853745X (v. 1) :
ISBN0198537468 (v. 2)
ISBN0198537476 (v. 3)