Sciweavers

419 search results - page 6 / 84

» Translation of Aggregate Programs to Normal Logic Programs

127

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

15 years 10 months ago

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

Download reference.kfupm.edu.sa

David B. Kemp, Peter J. Stuckey, Divesh Srivastava

claim paper

Read More »

121

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

15 years 10 months ago

A Functorial Framework for Constraint Normal Logic Programming

Download www.sc.ehu.es

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...

claim paper

Read More »

137

ECAI
2006
Springer

95views Artificial Intelligence» more ECAI 2006»

Modular Equivalence for Normal Logic Programs

15 years 10 months ago

Modular Equivalence for Normal Logic Programs

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

140

JANCL
2006

45views more JANCL 2006»

Some (in)translatability results for normal logic programs and propositional theories

15 years 6 months ago

Some (in)translatability results for normal logic programs and propositional theories

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

152

Voted

LPNMR
2004
Springer

120views Automated Reasoning» more LPNMR 2004»

nlp: A Compiler for Nested Logic Programming

16 years 11 hour ago

nlp: A Compiler for Nested Logic Programming

Download www.cs.uni-potsdam.de

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...

claim paper

Read More »

« Prev « First page 6 / 84 Last » Next »