Plan Generation by Linear Proofs: On Semantics.

Wolfgang Bibel, Luis Farias del Cerro, Bertram Fronhfer, Andreas Herzig

Browse the full KI paper archive.