Search Sciweavers | Sciweavers

3546 search results - page 187 / 710

» A Causal Logic of Logic Programming

106

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

15 years 8 months ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

118

click to vote

COLT
1992
Springer

99views Machine Learning» more COLT 1992»

PAC-Learnability of Determinate Logic Programs

15 years 8 months ago

Download www.doc.ic.ac.uk

Saso Dzeroski, Stephen Muggleton, Stuart J. Russel...

claim paper

Read More »

101

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 8 months ago

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

139

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

15 years 8 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

107

click to vote

EDBT
1992
ACM

90views Database» more EDBT 1992»

Optimization of Linear Logic Programs Using Counting Methods

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers