Search Sciweavers | Sciweavers

2214 search results - page 1 / 443

» Complexity of Reasoning

158

click to vote

LICS
1997
IEEE

139views Automated Reasoning» more LICS 1997»

On the Complexity of Reasoning in Kleene Algebra

15 years 10 months ago

Download www.cs.cornell.edu

Dexter Kozen

claim paper

Read More »

151

Voted

KR
2000
Springer

82views Automated Reasoning» more KR 2000»

Complexity Results for Default Reasoning from Conditional Knowledge Bases

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz

claim paper

Read More »

174

click to vote

KR
1998
Springer

133views Automated Reasoning» more KR 1998»

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

15 years 10 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

141

Voted

CADE
1994
Springer

161views Logical Reasoning» more CADE 1994»

The Complexity of Counting Problems in Equational Matching

15 years 10 months ago

Download www.lix.polytechnique.fr

Miki Hermann, Phokion G. Kolaitis

claim paper

Read More »

136

Voted

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers