BackJumping techniques for rules instantiation in the DLV system - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Nicola Leone, Simona Perri, Francesco Scarcello. BackJumping techniques for rules instantiation in the DLV system. In James P. Delgrande, Torsten Schaub, editors, 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. pages 258-266, 2004. [doi]

The following publications are possibly variants of this publication:

Advanced Backjumping Techniques for Rule InstantiationsSimona Perri, Francesco Scarcello. agp 2003: 238-251

Enhancing DLV instantiator by backjumping techniquesSimona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone. AMAI, 51(2-4):195-228, 2007. [doi]

runs on WebDSL