Sciweavers

5198 search results - page 291 / 1040

» A Logic of Agent Programs

160

JANCL
2006

45views more JANCL 2006»

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

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

156

Voted

ENTCS
2007

106views more ENTCS 2007»

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

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

142

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

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

160

Voted

ML
2008
ACM

102views Machine Learning» more ML 2008»

Inductive logic programming for gene regulation prediction

15 years 7 months ago

Inductive logic programming for gene regulation prediction

Download wwwkramer.in.tum.de

Sebastian Fröhler, Stefan Kramer

claim paper

Read More »

153

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

15 years 7 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 291 / 1040 Last » Next »