Sciweavers

6554 search results - page 318 / 1311

» Constraint Logic Programming

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 »

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 »

135

NGC
2006
Springer

82views Communications» more NGC 2006»

Database Query Languages and Functional Logic Programming

15 years 6 months ago

Database Query Languages and Functional Logic Programming

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

« Prev « First page 318 / 1311 Last » Next »