Sciweavers

419 search results - page 6 / 84

» Translation of Aggregate Programs to Normal Logic Programs

60

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

15 years 1 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 »

50

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

15 years 1 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 »

56

ECAI
2006
Springer

95views Artificial Intelligence» more ECAI 2006»

Modular Equivalence for Normal Logic Programs

15 years 1 months ago

Modular Equivalence for Normal Logic Programs

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

57

JANCL
2006

45views more JANCL 2006»

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

14 years 9 months ago

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

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

67

LPNMR
2004
Springer

120views Automated Reasoning» more LPNMR 2004»

nlp: A Compiler for Nested Logic Programming

15 years 2 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 »