@proceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/ijcai/2011,
  title = "IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011",
  year = "2011",
  booktitle = "IJCAI",
  editor = "Toby Walsh",
  isbn = "978-1-57735-516-8",
  publisher = "IJCAI/AAAI",
}
@proceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/ecai/2010,
  title = "ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings",
  year = "2010",
  booktitle = "ECAI",
  editor = "Helder Coelho and Rudi Studer and Michael Wooldridge",
  isbn = "978-1-60750-605-8",
  publisher = "IOS Press",
  series = "Frontiers in Artificial Intelligence and Applications",
  volume = "215",
}
@proceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/dlog/2010,
  title = "Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010",
  year = "2010",
  booktitle = "Description Logics",
  editor = "Volker Haarslev and David Toman and Grant E. Weddell",
  publisher = "CEUR-WS.org",
  series = "CEUR Workshop Proceedings",
  volume = "573",
}
@proceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/aiml/2008,
  title = "Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008",
  year = "2008",
  booktitle = "Advances in Modal Logic",
  editor = "Carlos Areces and Robert Goldblatt",
  isbn = "978-1-904987-68-0",
  publisher = "College Publications",
}