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


Vol-1212/paper6⫷Vol-1212/paper7

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming