Search Sciweavers | Sciweavers

3691 search results - page 174 / 739

» Bayesian Logic Programs

118

click to vote

DIS
1998
Springer

92views Theoretical Computer Science» more DIS 1998»

Biochemical Knowledge Discovery Using Inductive Logic Programming

15 years 9 months ago

Download www.doc.ic.ac.uk

Stephen Muggleton, Ashwin Srinivasan, Ross D. King...

claim paper

Read More »

111

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 9 months ago

Download www.qatar.cmu.edu

Iliano Cervesato

claim paper

Read More »

click to vote

DATE
1997
IEEE

58views Hardware» more DATE 1997»

Interface timing verification with delay correlation using constraint logic programming

15 years 9 months ago

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

105

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 9 months ago

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

131

click to vote

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers