BibTeX record conf/kr/JanhunenNSY00

download as .bib file

@inproceedings{DBLP:conf/kr/JanhunenNSY00,
  author    = {Tomi Janhunen and
               Ilkka Niemel{\"{a}} and
               Patrik Simons and
               Jia{-}Huai You},
  title     = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
  booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000.},
  pages     = {411--422},
  year      = {2000},
  crossref  = {DBLP:conf/kr/2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/JanhunenNSY00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2000,
  editor    = {Anthony G. Cohn and
               Fausto Giunchiglia and
               Bart Selman},
  title     = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics