Vol-1211⫷ Vol-1212 ⫸Vol-1213
urn:nbn:de:0074-1212-0


Vol-1212/paper6⫷Vol-1212/paper7
Marc van ZeePatrick Doherty 0001John-Jules Ch. Meyer

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming