Search Sciweavers | Sciweavers

2214 search results - page 9 / 443

» Complexity of Reasoning

click to vote

ECSQARU
2009
Springer

104views Automated Reasoning» more ECSQARU 2009»

Complexes of Outer Consonant Approximations

14 years 2 months ago

Download cms.brookes.ac.uk

Fabio Cuzzolin

claim paper

Read More »

click to vote

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

14 years 1 months ago

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

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

14 years 1 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

click to vote

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

Games, geometry, and the computational complexity of finding equilibria

14 years 1 months ago

Download www.maths.lse.ac.uk

Bernhard von Stengel

claim paper

Read More »

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Context Semantics, Linear Logic and Computational Complexity

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers