Vol-2969⫷ Vol-2970 ⫸Vol-2971
urn:nbn:de:0074-2970-0


Vol-2970/xpreface⫷Vol-2970/aspocpinvited1⫸Vol-2970/aspocpinvited2
Pedro CabalarMartín DiéguezSusana HahnTorsten Schaub

Automata for Dynamic Answer Set Solving: Preliminary Report