@Proceedings{DBLP:conf/kr/2012,
  Title                    = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Thirteenth International Conference, KR 2012, Rome,
 Italy, June 10-14, 2012},
  Year                     = {2012},
  Editor                   = {Gerhard Brewka and
 Thomas Eiter and
 Sheila A. McIlraith},
  Publisher                = {AAAI Press},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {KR},
  ISBN                     = {978-1-57735-560-1}
}