Search Sciweavers | Sciweavers

4513 search results - page 217 / 903

» Logic programming with satisfiability

161

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

15 years 10 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

129

click to vote

EDBT
1992
ACM

90views Database» more EDBT 1992»

Optimization of Linear Logic Programs Using Counting Methods

15 years 10 months ago

Download www.cs.ucla.edu

Sergio Greco, Carlo Zaniolo

claim paper

Read More »

129

click to vote

ELP
1992

112views Logical Reasoning» more ELP 1992»

Embedding Finite Sets in a Logic Programming Language

15 years 10 months ago

Download users.dimi.uniud.it

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...

claim paper

Read More »

147

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 10 months ago

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

Saumya K. Debray, Pedro López-García...

claim paper

Read More »

124

click to vote

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers