Search Sciweavers | Sciweavers

1151 search results - page 4 / 231

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

click to vote

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

Normal Forms for Inductive Logic Programming

14 years 20 days ago

Download www.cs.bris.ac.uk

Peter A. Flach

claim paper

Read More »

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

14 years 19 days ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

14 years 18 days ago

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

14 years 18 days ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

click to vote

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

Horn Programming in Linear Logic Is NP-Complete

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers