ML Anthology

Planning for Temporally Extended Goals as Propositional Satisfiability

Robert Mattmüller, Jussi Rintanen
IJCAI 2007 pp. 1966-
/ijcai/2007/mattmuller2007ijcai-planning/
PDF IJCAI Semantic Scholar

Cite

Text

Mattmüller and Rintanen. "Planning for Temporally Extended Goals as Propositional Satisfiability." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Mattmüller and Rintanen. "Planning for Temporally Extended Goals as Propositional Satisfiability." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/mattmuller2007ijcai-planning/)

BibTeX

@inproceedings{mattmuller2007ijcai-planning,
  title     = {{Planning for Temporally Extended Goals as Propositional Satisfiability}},
  author    = {Mattmüller, Robert and Rintanen, Jussi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {1966-},
  url       = {https://mlanthology.org/ijcai/2007/mattmuller2007ijcai-planning/}
}