Wolfgang Bibel, Michael Thielscher. Deductive Plan Generation. In Setsuo Arikawa, Klaus P. Jantke, editors, Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII 94, 5th International Workshop on Algorithmic Learning Theory, ALT 94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings. Volume 872 of Lecture Notes in Computer Science, pages 2-5, Springer, 1994.
@inproceedings{BibelT94,
title = {Deductive Plan Generation},
author = {Wolfgang Bibel and Michael Thielscher},
year = {1994},
researchr = {https://researchr.org/publication/BibelT94},
cites = {0},
citedby = {0},
pages = {2-5},
booktitle = {Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII 94, 5th International Workshop on Algorithmic Learning Theory, ALT 94, Reinhardsbrunn Castle, Germany, October 10-15, 1994, Proceedings},
editor = {Setsuo Arikawa and Klaus P. Jantke},
volume = {872},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58520-6},
}