ML Anthology

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond

Yongmei Liu, Gerhard Lakemeyer
IJCAI 2009 pp. 860-866
/ijcai/2009/liu2009ijcai-first/
PDF IJCAI Semantic Scholar

Cite

Text

Liu and Lakemeyer. "On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Liu and Lakemeyer. "On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/liu2009ijcai-first/)

BibTeX

@inproceedings{liu2009ijcai-first,
  title     = {{On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond}},
  author    = {Liu, Yongmei and Lakemeyer, Gerhard},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {860-866},
  url       = {https://mlanthology.org/ijcai/2009/liu2009ijcai-first/}
}