Knowledge Representation and Ontologies
the stable model semantics for logic programming .