Sciweavers

7456 search results - page 304 / 1492

» Parallelism in Logic Programs

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 »

140

ENTCS
2007

106views more ENTCS 2007»

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

15 years 6 months ago

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Download www.fdi.ucm.es

Sonia Estévez Martín, Antonio J. Fer...

claim paper

Read More »

129

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

15 years 6 months ago

Equivalence of Two Formal Semantics for Functional Logic Programs

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i...

claim paper

Read More »

132

ML
2008
ACM

102views Machine Learning» more ML 2008»

Inductive logic programming for gene regulation prediction

15 years 6 months ago

Inductive logic programming for gene regulation prediction

Download wwwkramer.in.tum.de

Sebastian Fröhler, Stefan Kramer

claim paper

Read More »

142

Voted

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

15 years 6 months ago

Denotational semantics for a program logic of objects

Download www.cogs.susx.ac.uk

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

« Prev « First page 304 / 1492 Last » Next »