Search Sciweavers | Sciweavers

2214 search results - page 9 / 443

» Complexity of Reasoning

112

click to vote

ECSQARU
2009
Springer

104views Automated Reasoning» more ECSQARU 2009»

Complexes of Outer Consonant Approximations

16 years 1 months ago

Download cms.brookes.ac.uk

Fabio Cuzzolin

claim paper

Read More »

127

Voted

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

16 years 26 days ago

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

145

click to vote

ICLP
2007
Springer

131views Automated Reasoning» more ICLP 2007»

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

16 years 18 days ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

130

Voted

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

Games, geometry, and the computational complexity of finding equilibria

16 years 17 days ago

Download www.maths.lse.ac.uk

Bernhard von Stengel

claim paper

Read More »

125

Voted

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers