Search Sciweavers | Sciweavers

3970 search results - page 88 / 794

» A Logic For Causal Reasoning

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

14 years 20 days 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 20 days 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 8 days 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 6 days ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

14 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers