TY  - BOOK
AU  - Dov M. Gabbay,C. J. Hogger,J. A. Robinson
AU  - Robinson,J. A.
TI  - HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
SN  - 0198537921
U1  - 006.33 
PY  - 1998///
CY  - 
PB  - Clarendon Press, Oxford
KW  - Logic Programming
KW  - Artificial Intelligence
KW  - Logic, Symbolic And Mathematical
N1  - Contents ; V.1 Logical Foundations V.2 Deduction Methodologies V.3 Nonmonotonic Reasoning And Uncertain Reasoning V.4 Epistmic And Temporal Reasoning V. 5 Logic Programming
ER  -