Handbook of logic in artificial intelligence and logic programming
By: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.
Contributors: Gabbay, Dov M., 1945-; Hogger, Christopher John.; Robinson, J.A.
Publisher: Clarendon Press; Oxford University Press
Published: 1993
Place of publication: Oxford; Oxford; New York
Language: eng
Subjects: Logic programming.; Artificial intelligence.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and indexes.
Table of contents: title: v. 1. Logical foundations; title: v. 2. Deduction methodologies; title: v. 3. Nonmonotonic reasoning and uncertain reasoning; title: v. 4. Epistemic and temporal reasoning; title: v. 5. Logic programming.