Blackburn, P. (1992). Fine grained theories of time. In Working Papers of the 4 th Intl. Workshop on Semantics of Time, Space, Movement, and Spatio-Temporal Reasoning, pp. 299--320. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Representing a Robotic Domain Using Temporal Description Logics - Artale, Franconi (1999) (1 citation) (Correct)
....predicate logic in which interval temporal networks can be introduced, properties can be asserted to hold over intervals, and events can be said to occur at intervals. His approach is very general, but it suffers from problems related to the semantic formalization of the predicates hold and occur (Blackburn, 1992). Moreover, computational properties of the formalism are not analyzed. The study of this latter aspect was, on the contrary, our main concern. 13 A. Artale and E. Franconi In the Description Logic literature, other approaches for representing and reasoning with time and action were proposed. ....
Blackburn, P. (1992). Fine grained theories of time. In Working Papers of the 4 th Intl. Workshop on Semantics of Time, Space, Movement, and Spatio-Temporal Reasoning, pp. 299--320.
A Temporal Description Logic for Reasoning about Actions and.. - Artale, Franconi (1998) (25 citations) (Correct)
....predicate logic in which interval temporal networks can be introduced, properties can be asserted to hold over intervals, and events can be said to occur at intervals. His approach is very general, but it su#ers from problems related to the semantic formalization of the predicates hold and occur #Blackburn, 1992#. Moreover, computational properties of the formalism are not analyzed. The study of this latter aspect was, on the contrary, our main concern. In the Description Logic literature, other approaches for representing and reasoning with time and action were proposed. In the beginning the approaches ....
Blackburn, P. #1992#. Fine grained theories of time. In Working Papers of the 4 th Intl. Workshop on Semantics of Time, Space, Movement, and Spatio-Temporal Reasoning, pp. 299#320.
Representing a Robotic Domain Using Temporal Description Logics - Artale, Franconi (1999) (1 citation) (Correct)
....predicate logic in which interval temporal networks can be introduced, properties can be asserted to hold over intervals, and events can be said to occur at intervals. His approach is very general, but it su#ers from problems related to the semantic formalization of the predicates hold and occur #Blackburn, 1992#. Moreover, computational properties of the formalism are not analyzed. The study of this latter aspect was, on the contrary, our main concern. 13 In the Description Logic literature, other approaches for representing and reasoning with time and action were proposed. In the beginning the ....
Blackburn, P. #1992#. Fine grained theories of time. In Working Papers of the 4 th Intl. Workshop on Semantics of Time, Space, Movement, and Spatio-Temporal Reasoning, pp. 299#320.
A Temporal Description Logic for Reasoning about.. - Alessandro Artale.. (1998) (25 citations) (Correct)
....predicate logic in which interval temporal networks can be introduced, properties can be asserted to hold over intervals, and events can be said to occur at intervals. His approach is very general, but it suffers from problems related to the semantic formalization of the predicates hold and occur (Blackburn, 1992). Moreover, computational properties of the formalism are not analyzed. The study of this latter aspect was, on the contrary, our main concern. In the Description Logic literature, other approaches for representing and reasoning with time and action were proposed. In the beginning the approaches ....
Blackburn, P. (1992). Fine grained theories of time. In Working Papers of the 4 th Intl.
Hybrid Languages and Temporal Logic - Blackburn, Tzakova (13 citations) Self-citation (Blackburn) (Correct)
No context found.
P. Blackburn. Fine grained theories of time. In M. Aurnague, A. Borillo, M. Borillo and M. Bras, editors, Semantics of Time, Space and Movement. Working Papers of the 4th International Workshop TSM'92, Chateau de Bonas, 1992 , pages 327--348, 1992.
Tense, Temporal Reference and Tense Logic - Blackburn (1994) Self-citation (Blackburn) (Correct)
....of modal logic. Moreover, the logical results known for systems of the kind considered here con rm that the strategy really is straightforward: completeness, complexity and correspondence results have been given for such systems (see, for example, Gargov and Goranko [11] or Blackburn [4][5]) and these results typically extend the standard results for Priorean languages in a direct manner. Thus the proposed extensions preserve the desirable properties of Prior s system: it remains to be seen, however, whether they are of interest in natural language semantics. The purpose of the ....
Blackburn, P.: 1993, Fine Grained Theories of Time, in Working Papers of the Fourth International Workshop on Space, Time and Movement, Chateau de Bonas, edited by Aurnague, Borillo, Borillo, and Bras-Grivart
Multi-Dimensional Modal Logic as a Framework for.. - Bennett, Cohn, Wolter, .. (2000) (3 citations) (Correct)
No context found.
: Semantics of Time, Space and Movement: working papers of the 4th international workshop TSM-92. Ch^ateau de Bonas, pp. 327{
Multi-Dimensional Modal Logic as a Framework for.. - Bennett, Cohn, Wolter, .. (2000) (3 citations) (Correct)
No context found.
: Semantics of Time, Space and Movement: working papers of the 4th international workshop TSM-92. Ch^ateau de Bonas, pp. 327{
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC