Knowledge-Based Programs as Plans - The Complexity of Plan Verification.

Jrme Lang, Bruno Zanuttini

Browse the full ECAI paper archive.