Search Sciweavers | Sciweavers

2585 search results - page 52 / 517

» Automating Coherent Logic

109

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 6 months ago

Download drops.dagstuhl.de

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

Nicolas Guenot

claim paper

Read More »

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 »

105

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 »

121

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers