Bruno Bertolino

According to our database, Bruno Bertolino authored at least 4 papers between 1988 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Consistency-Based and Abductive Diagnoses as Generalized Stable Models.

Chris Preist, Kave Eshghi, Bruno Bertolino

Ann. Math. Artif. Intell., 1994

1993

A Completeness Result for SLDNF-Resolution.

Bruno Bertolino, M. Mowbray

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

The Type System of LML.

Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini

Proceedings of the Types in Logic Programming., 1992

1988

A Progress Report on the LML Project.

Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988