BibTeX record conf/kr/LampertiZ00

download as .bib file

@inproceedings{DBLP:conf/kr/LampertiZ00,
  author       = {Gianfranco Lamperti and
                  Marina Zanella},
  editor       = {Anthony G. Cohn and
                  Fausto Giunchiglia and
                  Bart Selman},
  title        = {Generation of Diagnostic Knowledge by Discrete-Event Model Compilation},
  booktitle    = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
                  of the Seventh International Conference, Breckenridge, Colorado, USA,
                  April 11-15, 2000},
  pages        = {333--344},
  publisher    = {Morgan Kaufmann},
  year         = {2000},
  timestamp    = {Tue, 20 Jun 2023 09:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/LampertiZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics