| | 1997 | | [Gabbay, Dov M.]
[Kruse, Rudolf]
Nonnengart, Andreas
Ohlbach, Hans Jürgen | | Qualitative and Quantitative Practical Reasoning | Book | |
| | 1994 | | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic | Proceedings | |
| | 1994 | Matthews, Seán | Gabbay, Dov M. | | A Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354 | Part of a Book | |
| | 1993 | Eisinger, Norbert
Ohlbach, Hans Jürgen | Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A. | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article | |
| | 1993 | Plaisted, David A. | Gabbay, Dov M.
Hogger, C.
Robinson, J. A.
Siekmann, J. | | Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | Proceedings Article | |
1 |
| Giunchiglia, Enrico (ed.) |
| |
1 |
| Giunchiglia, Fausto (ed.) |
| |