| 1994 |
|---|
| 4 | | Chris Preist,
Kave Eshghi,
Bruno Bertolino:
Consistency-Based and Abductive Diagnoses as Generalized Stable Models.
Ann. Math. Artif. Intell. 11(1-4): 51-74 (1994) |
| 1993 |
|---|
| 3 | | Bruno Bertolino,
M. Mowbray:
A Completeness Result for SLDNF-Resolution.
GULP 1993: 301-308 |
| 1992 |
|---|
| 2 | | Bruno Bertolino,
Luigi Meo,
Dino Pedreschi,
Franco Turini:
The Type System of LML.
Types in Logic Programming 1992: 313-332 |
| 1988 |
|---|
| 1 | | Bruno Bertolino,
Paolo Mancarella,
Luigi Meo,
Luca Nini,
Dino Pedreschi,
Franco Turini:
A Progress Report on the LML Project.
FGCS 1988: 675-684 |
