BibTeX record conf/aaai/BesnardGL15

download as .bib file

@inproceedings{DBLP:conf/aaai/BesnardGL15,
  author       = {Philippe Besnard and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Jean{-}Marie Lagniez},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {On Computing Maximal Subsets of Clauses that Must Be Satisfiable with
                  Possibly Mutually-Contradictory Assumptive Contexts},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {3710--3716},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9751},
  doi          = {10.1609/AAAI.V29I1.9751},
  timestamp    = {Mon, 18 Sep 2023 11:22:44 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BesnardGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics