Handbook of logic in artificial intelligence and logic programming /

Bibliographic Details
Other Authors: Gabbay, Dov M., 1945- (ed.,), Hogger, Christopher John (ed.), Robinson, John Alan, 1937- (ed.)
Format: Book
Language:English
Published: Oxford : Oxford university, 1998.
Series:Oxford science publications
Subjects:
Table of Contents:
  • v. 1. Logical foundations
  • v. 2. Deduction methodologies
  • v. 3. Nonmonotonic reasoning and uncertain reasoning
  • v. 4. Epistemic and temporal reasoning
  • v. 5. Logic programming.