Vol-3463⫷ Vol-3464 ⫸Vol-3465
urn:nbn:de:0074-3464-0


Vol-3464/paper7⫷Vol-3464/paper8⫸Vol-3464/paper9
Jesse Heyninck

Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report)