Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison.

Bertram Fronhfer

Browse the full TABLEAUX paper archive.