Encoding Definitional Fragments of Temporal Action Logic into Logic Programming.

Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer

Browse the full ECAI paper archive.