Enhancing DLV instantiator by backjumping techniques

Abstract

Disjunctive logic programming (DLP) is a powerful formalism for knowledge representation and reasoning. The high expressiveness of DLP language, together with the recent availability of some efficient DLP system, has favoured the application of DLP in emerging areas like Knowledge Management and Information Integration. These applications have often to deal… (More)
DOI: 10.1007/s10472-008-9090-9

9 Figures and Tables

Topics

  • Presentations referencing similar topics