Handbook of logic in artificial intelligence and logic programming /
Gabbay, Dov M.,1945-
Hogger, Christopher John.
Robinson, J. A.(John Alan)
Oxford : Oxford University Press,
1993-
Complete in 6 vols.
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.