Search Sciweavers | Sciweavers

5506 search results - page 203 / 1102

» Minimal Logic Programs

106

click to vote

DIS
1998
Springer

92views Theoretical Computer Science» more DIS 1998»

Biochemical Knowledge Discovery Using Inductive Logic Programming

15 years 8 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 8 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 8 months ago

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 8 months ago

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

121

click to vote

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers