Add to ORKGWe will discuss various issues related the notion of time granularity. We will start by showing how such notion can be used to provide a common framework to (metric) tense logics and (real-time) temporal logics of programs. Then we will present a few logics allowing to specify the timed behavior of a system at different levels of granularity. For such logics decidability results and problems, together with techniques for their study, will be presented. We will conclude with a recent proposal for a modal counterpart of time granularity operators
The ability of providing and relating temporal representations at different 'grain levels' of the sa...
“The original publication is available at www.springerlink.com”. Copyright Springer. DOI: 10.1007/3-...
Modelling, reasoning about and integrating knowledge based on multiple time granularities in knowled...
We will discuss various issues related the notion of time granularity. We will start by showing how ...
In this paper we briefly survey the main contributions of our research on time granularity and outli...
This paper presents a general framework to define time granularity systems. We identify the main dim...
In this paper, we propose a new logical approach to represent and to reason about different time gra...
In this paper, we propose a new logical approach to represent and to reason about different time gra...
A temporal situation can be described at different levels of abstraction depending on the accuracy r...
Logic and computer science communities have traditionally followed a different approach to the probl...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
Logic and computer science communities have traditionally followed a different approach to the probl...
AbstractChronolog(MC) is an extension of logic programming based on a linear-time temporal logic wit...
Abstract. Logics for time intervals provide a natural framework for representing and reasoning about...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
The ability of providing and relating temporal representations at different 'grain levels' of the sa...
“The original publication is available at www.springerlink.com”. Copyright Springer. DOI: 10.1007/3-...
Modelling, reasoning about and integrating knowledge based on multiple time granularities in knowled...
We will discuss various issues related the notion of time granularity. We will start by showing how ...
In this paper we briefly survey the main contributions of our research on time granularity and outli...
This paper presents a general framework to define time granularity systems. We identify the main dim...
In this paper, we propose a new logical approach to represent and to reason about different time gra...
In this paper, we propose a new logical approach to represent and to reason about different time gra...
A temporal situation can be described at different levels of abstraction depending on the accuracy r...
Logic and computer science communities have traditionally followed a different approach to the probl...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
Logic and computer science communities have traditionally followed a different approach to the probl...
AbstractChronolog(MC) is an extension of logic programming based on a linear-time temporal logic wit...
Abstract. Logics for time intervals provide a natural framework for representing and reasoning about...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
The ability of providing and relating temporal representations at different 'grain levels' of the sa...
“The original publication is available at www.springerlink.com”. Copyright Springer. DOI: 10.1007/3-...
Modelling, reasoning about and integrating knowledge based on multiple time granularities in knowled...