Sciweavers

2490 search results - page 10 / 498

» Complexity of Contextual Reasoning

108

CADE
1994
Springer

161views Logical Reasoning» more CADE 1994»

The Complexity of Counting Problems in Equational Matching

15 years 7 months ago

The Complexity of Counting Problems in Equational Matching

Download www.lix.polytechnique.fr

Miki Hermann, Phokion G. Kolaitis

claim paper

Read More »

94

Voted

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

15 years 7 months ago

Real-time Logics: Complexity and Expressiveness

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger

claim paper

Read More »

71

Voted

CSL
1987
Springer

79views Automated Reasoning» more CSL 1987»

Complexity Cores and Hard-To-Prove Formulas

15 years 7 months ago

Complexity Cores and Hard-To-Prove Formulas

Download www.uni-ulm.de

Uwe Schöning

claim paper

Read More »

109

Voted

DLOG
2007

134views Automated Reasoning» more DLOG 2007»

Data Complexity in the EL family of DLs

15 years 5 months ago

Data Complexity in the EL family of DLs

Download sunsite.informatik.rwth-aachen.de

Adila Krisnadhi, Carsten Lutz

claim paper

Read More »

96

Voted

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

Complexity of Axiom Pinpointing in the DL-Lite Family

15 years 1 months ago

Complexity of Axiom Pinpointing in the DL-Lite Family

Download www.cs.uwaterloo.ca

Rafael Peñaloza, Baris Sertkaya

claim paper

Read More »

« Prev « First page 10 / 498 Last » Next »