Search Sciweavers | Sciweavers

5198 search results - page 277 / 1040

» A Logic of Agent Programs

150

click to vote

ICLP
1993
Springer

146views Automated Reasoning» more ICLP 1993»

Some Paradigms for Visualizing Parallel Execution of Logic Programs

15 years 10 months ago

Download www.clip.dia.fi.upm.es

Manuel Carro, Luis Manuel Gómez Henrí...

claim paper

Read More »

125

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

15 years 10 months ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

134

click to vote

COLT
1992
Springer

99views Machine Learning» more COLT 1992»

PAC-Learnability of Determinate Logic Programs

15 years 10 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

128

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 10 months ago

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

156

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers