Search Sciweavers | Sciweavers

3776 search results - page 98 / 756

» Partition-Based Logical Reasoning

111

click to vote

SOFSEM
2009
Springer

73views Theoretical Computer Science» more SOFSEM 2009»

Safe Reasoning with Logic LTS

16 years 3 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

131

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

16 years 23 days ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

312

click to vote

TLCA
2009
Springer

266views Theoretical Computer Science» more TLCA 2009»

The Computational SLR: A Logic for Reasoning about Computational Indistinguishability

16 years 22 days ago

Download eprint.iacr.org

Yu Zhang

claim paper

Read More »

139

click to vote

CAEPIA
2007
Springer

86views Artificial Intelligence» more CAEPIA 2007»

A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

16 years 11 days ago

Download sevein.matap.uma.es

This paper continues the research line on the multimodal

Alfredo Burrieza, Emilio Muñoz-Velasco, Man...

claim paper

Read More »

119

click to vote

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers