Search Sciweavers | Sciweavers

5482 search results - page 229 / 1097

» Logic Programming and Databases

134

click to vote

EACL
1989
ACL Anthology

69views Natural Language Processing» more EACL 1989»

JPSG Parser on Constraint Logic Programming

15 years 7 months ago

Download acl.ldc.upenn.edu

Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai

claim paper

Read More »

click to vote

ALPUK
1990

86views more ALPUK 1990»

Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming

15 years 7 months ago

Download www.macs.hw.ac.uk

Hamish Taylor

claim paper

Read More »

127

click to vote

SLP
1990

121views more SLP 1990»

Analysis of Constraint Logic Programs

15 years 7 months ago

Download clip.dia.fi.upm.es

eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.

Kim Marriott, Harald Søndergaard

claim paper

Read More »

106

click to vote

CACM
2010

122views more CACM 2010»

Functional logic programming

15 years 6 months ago

Download www.cs.unb.ca

Sergio Antoy, Michael Hanus

claim paper

Read More »

click to vote

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers