Sciweavers

419 search results - page 6 / 84
» Translation of Aggregate Programs to Normal Logic Programs
Sort
View
ICLP
1992
Springer
15 years 6 months ago
Query Restricted Bottom-Up Evaluation of Normal Logic Programs
David B. Kemp, Peter J. Stuckey, Divesh Srivastava
BIRTHDAY
2006
Springer
15 years 5 months ago
A Functorial Framework for Constraint Normal Logic Programming
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...
80
Voted
ECAI
2006
Springer
15 years 5 months ago
Modular Equivalence for Normal Logic Programs
Emilia Oikarinen, Tomi Janhunen
LPNMR
2004
Springer
15 years 7 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 ...
Vladimir Sarsakov, Torsten Schaub, Hans Tompits, S...