Search Sciweavers | Sciweavers

3891 search results - page 109 / 779

» A logic for strategic reasoning

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 »

143

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 16 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 15 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 15 days ago

Download symbolaris.com

André Platzer

claim paper

Read More »

119

click to vote

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers