2649 search results - page 111 / 530 » Temporal Theories of Reasoning |
173
click to vote
LICS
1999
IEEE
15 years 10 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...
218
click to vote
ELP
1993
15 years 10 months ago
1993
The logic of definitional reflection is extended with a theory of free equality. Based on this equality theory a sequent-style notion of the completion of a definition is motivated...
182
click to vote
JETAI
2000
15 years 6 months ago
2000
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
145
click to vote
ICTAI
1996
IEEE
15 years 10 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...
159
click to vote
DLOG
1997
15 years 7 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...