@inproceedings{ijcai/HertumCBD16,
  author    = {Pieter Van Hertum and
               Marcos Cramer and
               Bart Bogaerts and
               Marc Denecker},
  title     = {Distributed Autoepistemic Logic and its Application to Access Control},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {1286--1292},
  year      = {2016},
  crossref  = {ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/186},
  timestamp = {Fri, 15 Jul 2016 15:58:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/HertumC0D16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}