A Theorem Prover for Action Performance.

Emmanuel Lafon, Camilla Schwind

Browse the full ECAI paper archive.