Search Sciweavers | Sciweavers

2585 search results - page 52 / 517

» Automating Coherent Logic

149

click to vote

ICLP
2010
Springer

132views Automated Reasoning» more ICLP 2010»

Focused Proof Search for Linear Logic in the Calculus of Structures

15 years 10 months ago

Download drops.dagstuhl.de

The proof-theoretic approach to logic programming has beneﬁted from the

Nicolas Guenot

claim paper

Read More »

103

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

15 years 10 months ago

Download www.ual.es

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

claim paper

Read More »

121

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 10 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

136

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

15 years 10 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

144

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers