Search Sciweavers | Sciweavers

2214 search results - page 1 / 443

» Complexity of Reasoning

click to vote

LICS
1997
IEEE

139views Automated Reasoning» more LICS 1997»

On the Complexity of Reasoning in Kleene Algebra

15 years 4 months ago

Download www.cs.cornell.edu

Dexter Kozen

claim paper

Read More »

click to vote

KR
2000
Springer

82views Automated Reasoning» more KR 2000»

Complexity Results for Default Reasoning from Conditional Knowledge Bases

15 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz

claim paper

Read More »

109

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 4 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

Voted

CADE
1994
Springer

161views Logical Reasoning» more CADE 1994»

The Complexity of Counting Problems in Equational Matching

15 years 4 months ago

Download www.lix.polytechnique.fr

Miki Hermann, Phokion G. Kolaitis

claim paper

Read More »

click to vote

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers