| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies: Deduction Methodologies Vol 2 | 978-0-19-853746-5 (0-19-853746-8) | 1994 | Dov M. Gabbay · J. A. Robinson |
| Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning: Nonmonotoaic Reasoning and Uncertain Reasoning Vol 3 | 978-0-19-853747-2 (0-19-853747-6) | 1994 | Dov M. Gabbay · J. A. Robinson |
C.H. · C. J. · C. J. Hogger · Christopher H. · Christopher J. · Christopher John Hogger · J. H.