Search Sciweavers | Sciweavers

1151 search results - page 4 / 231

» Collaborative Programming: Applications of Logic and Automat...

164

click to vote

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

Normal Forms for Inductive Logic Programming

15 years 11 months ago

Download www.cs.bris.ac.uk

Peter A. Flach

claim paper

Read More »

146

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

15 years 11 months ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

149

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 11 months ago

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

180

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

15 years 11 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

151

Voted

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

Horn Programming in Linear Logic Is NP-Complete

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers