Search Sciweavers | Sciweavers

5506 search results - page 218 / 1102

» Minimal Logic Programs

click to vote

ALPUK
1990

86views more ALPUK 1990»

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

15 years 5 months ago

Download www.macs.hw.ac.uk

Hamish Taylor

claim paper

Read More »

click to vote

SLP
1990

121views more SLP 1990»

Analysis of Constraint Logic Programs

15 years 5 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 »

125

click to vote

AMW
2009

154views Knowledge Management» more AMW 2009»

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Leopoldo E. Bertossi

claim paper

Read More »

click to vote

CACM
2010

122views more CACM 2010»

Functional logic programming

15 years 4 months ago

Download www.cs.unb.ca

Sergio Antoy, Michael Hanus

claim paper

Read More »

Voted

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers