BibTeX record conf/ijcai/SlotaL13

download as .bib file

@inproceedings{DBLP:conf/ijcai/SlotaL13,
  author    = {Martin Slota and
               Jo{\~{a}}o Leite},
  title     = {On Condensing a Sequence of Updates in Answer-Set Programming},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {1097--1103},
  year      = {2013},
  crossref  = {DBLP:conf/ijcai/2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6763},
  timestamp = {Fri, 07 Aug 2020 08:55:20 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/SlotaL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2013,
  editor    = {Francesca Rossi},
  title     = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://ijcai.org/proceedings/2013},
  isbn      = {978-1-57735-633-2},
  timestamp = {Tue, 20 Aug 2019 16:16:37 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics