Search dblp for Publications

export results for "toc:db/conf/rm/rm1986.bht:"

 download as .bib file

@proceedings{DBLP:conf/rm/1986,
  editor       = {Herbert Stoyan},
  title        = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
                  {\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {162},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/978-3-642-73385-7},
  doi          = {10.1007/978-3-642-73385-7},
  isbn         = {3-540-18853-3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rm/1986.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/Dressler86,
  author       = {Oskar Dressler},
  editor       = {Herbert Stoyan},
  title        = {Assumption-Based Truth Maintenance},
  booktitle    = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
                  {\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {162},
  pages        = {63--85},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73385-7\_3},
  doi          = {10.1007/978-3-642-73385-7\_3},
  timestamp    = {Tue, 23 May 2017 01:10:39 +0200},
  biburl       = {https://dblp.org/rec/conf/rm/Dressler86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/Primio86,
  author       = {Franco di Primio},
  editor       = {Herbert Stoyan},
  title        = {{CMS} (Consistency Maintenance System) - Ein Interpreter f{\"{u}}r
                  konsistenzerhaltende Prozeduren},
  booktitle    = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
                  {\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {162},
  pages        = {111--153},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73385-7\_5},
  doi          = {10.1007/978-3-642-73385-7\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rm/Primio86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/Reinfrank86,
  author       = {Michael Reinfrank},
  editor       = {Herbert Stoyan},
  title        = {Reason Maintenance Systems},
  booktitle    = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
                  {\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {162},
  pages        = {1--26},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73385-7\_1},
  doi          = {10.1007/978-3-642-73385-7\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rm/Reinfrank86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/ReinfrankF86,
  author       = {Michael Reinfrank and
                  Hartmut Freitag},
  editor       = {Herbert Stoyan},
  title        = {An Integrated Non-Monotonic and Reason Maintenance System},
  booktitle    = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
                  {\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {162},
  pages        = {27--62},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73385-7\_2},
  doi          = {10.1007/978-3-642-73385-7\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rm/ReinfrankF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/Werner86,
  author       = {Manfred Werner},
  editor       = {Herbert Stoyan},
  title        = {{RMSAI} - Ein Reason Maintenance System f{\"{u}}r approximative
                  Inferenzen},
  booktitle    = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
                  {\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {162},
  pages        = {86--110},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73385-7\_4},
  doi          = {10.1007/978-3-642-73385-7\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rm/Werner86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics