Logical foundationsDeduction methodologiesNonmonotonic reasoning and uncertain reasoningEpistemic and temporal reasoning Handbook of logic in artificial intelligence and logic programming / ed. Dov M. Gabbay, C. J. Hogger, J. A. Robinson

Handbook of logic in artificial intelligence and logic programming / ed. Dov M. Gabbay, C. J. Hogger, J. A. Robinson . - Oxford : Clarendon Press, 1993-19-- . - v. 24 cm . -
vol.1 : Logical foundations / coord. J. Siekmann. - 1993. - XIII, 518 p
vol.2 : Deduction methodologies / coord. J. Siekmann. - 1994. - XV, 511 p
vol.3 : Nonmonotonic reasoning and uncertain reasoning / coord. D. Nute. - 1994. - XIX, 529 p
vol.4 : Epistemic and temporal reasoning. - 1995. - XVI, 611 p.
0-19-853745-X (v.1)0-19-853746-8 (v.2)0-19-853747-6 (v.3)0-19-853791-3 (v.4) (Encadernados)

519.6
681.3