Enhancing DLV instantiator by backjumping techniques


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


  • Presentations referencing similar topics