Search Sciweavers | Sciweavers

6554 search results - page 299 / 1311

» Constraint Logic Programming

142

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

15 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

142

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 11 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

138

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

117

click to vote

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

15 years 11 months ago

Download www-emsoft02.imag.fr

Bran Selic

claim paper

Read More »

124

click to vote

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers