Disjunctive logic programs with inheritance

The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 2; no. 3; pp. 293 - 321
Main Authors:	BUCCAFURRI, FRANCESCO, FABER, WOLFGANG, LEONE, NICOLA
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.05.2002
Subjects:	inheritance knowledge representation nonmonotonic reasoning disjunctive logic programming exceptions
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!