arXiv 2005-02-22 EN Towards a Systematic Account of Different Semantics for Logic Programs Hitzler, Pascal