Stable Model Semantics and its Computation for Ordered Logic Programs.

Nicola Leone, Pasquale Rullo

Browse the full ECAI paper archive.