ML Anthology

Deductive Plan Generation

Wolfgang Bibel, Michael Thielscher
ALT 1994 pp. 2-5
doi:10.1007/3-540-58520-6_47 /alt/1994/bibel1994alt-deductive/
PDF ALT Semantic Scholar

Cite

Text

Bibel and Thielscher. "Deductive Plan Generation." International Conference on Algorithmic Learning Theory, 1994. doi:10.1007/3-540-58520-6_47

Markdown

[Bibel and Thielscher. "Deductive Plan Generation." International Conference on Algorithmic Learning Theory, 1994.](https://mlanthology.org/alt/1994/bibel1994alt-deductive/) doi:10.1007/3-540-58520-6_47

BibTeX

@inproceedings{bibel1994alt-deductive,
  title     = {{Deductive Plan Generation}},
  author    = {Bibel, Wolfgang and Thielscher, Michael},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1994},
  pages     = {2-5},
  doi       = {10.1007/3-540-58520-6_47},
  url       = {https://mlanthology.org/alt/1994/bibel1994alt-deductive/}
}