The top documents tagged [stable models semantics]