Search Sciweavers | Sciweavers

3776 search results - page 113 / 756

» Partition-Based Logical Reasoning

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

15 years 7 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 7 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

107

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

15 years 7 months ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

122

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 7 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

106

Voted

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers