Disjunctive Logic Programs with Inheritance

Francesco Buccafurri, Wolfgang Faber, Nicola Leone

The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inherita…