|
|
Wolfgang Bibel and Luis Farinas del Cerro and Bertram Fronhöfer and Andreas Herzig (1989): Plan Generation by Linear Proofs: On Semantics
| Title: |
Plan Generation by Linear Proofs: On Semantics |
| Author(s): |
Wolfgang Bibel and Luis Farinas del Cerro and Bertram Fronhöfer and Andreas Herzig |
| Year: |
1989 |
| Booktitle: |
13th German Workshop on Artificial Intelligence GWAI--89 |
| Editor(s): |
Metzing, D. |
| Number: |
216 |
| Pages: |
49-62 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
