BibTeX record conf/deductive/Hinkelmann95

download as .bib file

@inproceedings{DBLP:conf/deductive/Hinkelmann95,
  author       = {Knut Hinkelmann},
  editor       = {Hendrik Decker and
                  Ulrich Geske and
                  Antonis C. Kakas and
                  Chiaki Sakama and
                  Dietmar Seipel and
                  Toni Urp{\'{\i}}},
  title        = {Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking},
  booktitle    = {Deductive Databases and Logic Programming, Abduction in Deductive
                  Databases and Knowledge-Based Systems, Proceedings of the ICLP'95
                  Joint Workshop, Shonan Village Center, Japan, June 17, 1995},
  series       = {GMD-Studien},
  volume       = {266},
  pages        = {127--141},
  publisher    = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
  year         = {1995},
  timestamp    = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl       = {https://dblp.org/rec/conf/deductive/Hinkelmann95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics