BibTeX record conf/aaai/FangWWW19

• > Home > conf/aaai/FangWWW19

@inproceedings{DBLP:conf/aaai/FangWWW19,
  author       = {Liangda Fang and
                  Kewen Wang and
                  Zhe Wang and
                  Ximing Wen},
  title        = {Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical
                  Separability},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {2817--2826},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33012817},
  doi          = {10.1609/AAAI.V33I01.33012817},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FangWWW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}