2490 search results - page 48 / 498 » Complexity of Contextual Reasoning |
125
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
117
click to vote
COLING
1996
15 years 4 months ago
1996
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...
131
Voted
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...
144
Voted
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
111
Voted
ICTAI
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...