Search Sciweavers | Sciweavers

3773 search results - page 105 / 755

» Logical Reasoning

136

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 27 days ago

Download www.memics.cz

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

claim paper

Read More »

315

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 26 days ago

Download eprint.iacr.org

Yu Zhang

claim paper

Read More »

141

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 15 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 »

124

click to vote

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

16 years 14 days ago

Download www.cs.bham.ac.uk

Mauro Dragoni, Andrea Tettamanzi

claim paper

Read More »

145

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers