Sciweavers

419 search results - page 6 / 84

» Translation of Aggregate Programs to Normal Logic Programs

19

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

13 years 11 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 »

16

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

13 years 11 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 »

18

ECAI
2006
Springer

95views Artificial Intelligence» more ECAI 2006»

Modular Equivalence for Normal Logic Programs

13 years 11 months ago

Modular Equivalence for Normal Logic Programs

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

18

JANCL
2006

45views more JANCL 2006»

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

13 years 7 months ago

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

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

19

LPNMR
2004
Springer

120views Automated Reasoning» more LPNMR 2004»

nlp: A Compiler for Nested Logic Programming

14 years 1 months 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 »