2490 search results - page 44 / 498 » Complexity of Contextual Reasoning |
113
click to vote
TIME
2002
IEEE
15 years 8 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
115
Voted
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
134
Voted
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
129
Voted
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
115
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...