Search Sciweavers | Sciweavers

3891 search results - page 76 / 779

» A logic for strategic reasoning

click to vote

CSL
1999
Springer

97views Automated Reasoning» more CSL 1999»

A P-Time Completeness Proof for Light Logics

13 years 11 months ago

Download www.di.unito.it

We explain why the original proofs of P-Time completeness for Light Affine Logic and Light Linear Logic can not work, and we fully develop a working one.

Luca Roversi

claim paper

Read More »

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

14 years 4 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

14 years 4 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

click to vote

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

14 years 3 months ago

Download www.ual.es

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

claim paper

Read More »

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers