TY  - BOOK
AU  - Gabbay, Dov M. Ed.
AU  - Hogger, C J. Ed.
AU  - Robinson, J A. Ed.
TI  - Handbook of Logic in Artificial Intelligence and Logic Programming, Vols.1 - 4: Vol.1: Logical Foundations; Vol.2: Deduction Methodologies;Vol.3: Nonmonotonic Reasoning and Uncertain Reasoning; Vol.4: Epistemic and Temporal Reasoning
SN  - Vol.1:0 19 853745 X; Vol.2:0 19 853746 8; Vol.3: 0 19 853747 6; Vol.4: 0 19 853791 3
CY  - Oxford
ER  -