BibTeX record conf/pricai/HuangWJC06

• > Home > conf/pricai/HuangWJC06

@inproceedings{DBLP:conf/pricai/HuangWJC06,
  author       = {Wei Huang and
                  Zhonghua Wen and
                  Yunfei Jiang and
                  Aixiang Chen},
  editor       = {Qiang Yang and
                  Geoffrey I. Webb},
  title        = {Comparison Between Two Languages Used to Express Planning Goals: \emph{CTL}
                  and \emph{E}\({}_{\mbox{\emph{A}}}\)\emph{G}\({}_{\mbox{\emph{LE}}}\)},
  booktitle    = {{PRICAI} 2006: Trends in Artificial Intelligence, 9th Pacific Rim
                  International Conference on Artificial Intelligence, Guilin, China,
                  August 7-11, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4099},
  pages        = {180--189},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11801603\_21},
  doi          = {10.1007/11801603\_21},
  timestamp    = {Thu, 12 Dec 2019 14:11:20 +0100},
  biburl       = {https://dblp.org/rec/conf/pricai/HuangWJC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}