Sciweavers

LPNMR
2004
Springer

nlp: A Compiler for Nested Logic Programming

14 years 5 months ago
nlp: A Compiler for Nested Logic Programming
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets are then computable by disjunctive logic programming systems, like dlv or gnt. nlp offers differ
Vladimir Sarsakov, Torsten Schaub, Hans Tompits, S
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where LPNMR
Authors Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
Comments (0)