Sciweavers

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