Linear Deductive Planning
Aus International Center for Computational Logic
Linear Deductive Planning
Gerd Gros̈eGerd Gros̈e, Steffen HölldoblerSteffen Hölldobler, Josef SchneebergerJosef Schneeberger
Gerd Gros̈e, Steffen Hölldobler, Josef Schneeberger
Linear Deductive Planning
Journal of Logic and Computation, 6(2):233-262, 1996
Linear Deductive Planning
Journal of Logic and Computation, 6(2):233-262, 1996
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@article{GHS1996,
author = {Gerd Gros{\"}e and Steffen H{\"{o}}lldobler and Josef Schneeberger},
title = {Linear Deductive Planning},
journal = {Journal of Logic and Computation},
volume = {6},
number = {2},
year = {1996},
pages = {233-262}
}