Search Sciweavers | Sciweavers

4513 search results - page 235 / 903

» Logic programming with satisfiability

click to vote

JISE
2000

69views more JISE 2000»

Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs

15 years 3 months ago

Download www.iis.sinica.edu.tw

Hiecheol Kim, Kangwoo Lee, Jean-Luc Gaudiot

claim paper

Read More »

117

click to vote

HEURISTICS
2002

62views more HEURISTICS 2002»

Soft Constraint Logic Programming and Generalized Shortest Path Problems

15 years 3 months ago

Download www.dsi.unive.it

Stefano Bistarelli, Ugo Montanari, Francesca Rossi

claim paper

Read More »

click to vote

CORR
1998
Springer

69views Education» more CORR 1998»

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

15 years 3 months ago

Download folli.loria.fr

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

claim paper

Read More »

click to vote

AMAI
1999
Springer

92views Artificial Intelligence» more AMAI 1999»

Nested Expressions in Logic Programs

15 years 3 months ago

Download www.d.umn.edu

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner

claim paper

Read More »

112

click to vote

CSUR
1998

73views more CSUR 1998»

A Unifying View of Functional and Logic Program Specialization

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers