BibTeX records: Bruno Bertolino

• > Home > Persons > Bruno Bertolino

@article{DBLP:journals/amai/PreistEB94,
  author       = {Chris Preist and
                  Kave Eshghi and
                  Bruno Bertolino},
  title        = {Consistency-Based and Abductive Diagnoses as Generalized Stable Models},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {11},
  number       = {1-4},
  pages        = {51--74},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530737},
  doi          = {10.1007/BF01530737},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/PreistEB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/BertolinoM93,
  author       = {Bruno Bertolino and
                  M. Mowbray},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {A Completeness Result for SLDNF-Resolution},
  booktitle    = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
                  June 15-18, 1993},
  pages        = {301--308},
  year         = {1993},
  timestamp    = {Thu, 02 Dec 2004 11:00:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BertolinoM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/mit/pfenning92/BertolinoMPT92,
  author       = {Bruno Bertolino and
                  Luigi Meo and
                  Dino Pedreschi and
                  Franco Turini},
  editor       = {Frank Pfenning},
  title        = {The Type System of {LML}},
  booktitle    = {Types in Logic Programming},
  pages        = {313--332},
  publisher    = {The {MIT} Press},
  year         = {1992},
  timestamp    = {Tue, 07 Nov 2023 12:00:44 +0100},
  biburl       = {https://dblp.org/rec/books/mit/pfenning92/BertolinoMPT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fgcs/BertolinoMMNPT88,
  author       = {Bruno Bertolino and
                  Paolo Mancarella and
                  Luigi Meo and
                  Luca Nini and
                  Dino Pedreschi and
                  Franco Turini},
  title        = {A Progress Report on the {LML} Project},
  booktitle    = {Proceedings of the International Conference on Fifth Generation Computer
                  Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
  pages        = {675--684},
  publisher    = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
  year         = {1988},
  timestamp    = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/fgcs/BertolinoMMNPT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}