Add to ORKGWe develop notation for describing a temporal structure over the real numbers flow of time. This forms a basis for various reasoning tasks including synthesizing a model from a given temporal or first-order specification. We announce an efficient procedure for finding a manageable description of such a model. There are applications in reasoning about multi-agent systems, understanding natural language, analogue devices, robotics and artificial reasoning
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are repre...
Abstract: The theory of the natural numbers with linear order and monadic predicates underlies propo...
We introduce two mechanisms for scaling com-putations in the framework of temporal reasoning. The fi...
Much previous work in artificial intelligence has neglected representing time in all its complexity....
Modelling human reasoning characterizes the fundamental human cognitive capacity to describe our pas...
Abstract. We provide an overview of theories of continuous time com-putation. These theories allow u...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
We define a quantitative Temporal Logic that is based on a simple modality within the framework of M...
We provide a simple, sound, complete and terminating tableau decision procedure for the temporal log...
AbstractWe present a novel temporal logic for expressing properties of behaviour in context. The log...
The idea of a calculus or discrete formal system is central to traditional models of language, knowl...
Most of AI research on temporal reasoning has been devoted to either exploring constraint-based temp...
We illustrate TeQsim, a qualitative simulator for continuous dynamical systems that combines the exp...
A time-dependent concept is a conceptual entity that is defined in terms of temporal relationships w...
An intelligent agent, reasoning symbolically in a continuous world, needs to infer properties of the...
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are repre...
Abstract: The theory of the natural numbers with linear order and monadic predicates underlies propo...
We introduce two mechanisms for scaling com-putations in the framework of temporal reasoning. The fi...
Much previous work in artificial intelligence has neglected representing time in all its complexity....
Modelling human reasoning characterizes the fundamental human cognitive capacity to describe our pas...
Abstract. We provide an overview of theories of continuous time com-putation. These theories allow u...
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be ...
We define a quantitative Temporal Logic that is based on a simple modality within the framework of M...
We provide a simple, sound, complete and terminating tableau decision procedure for the temporal log...
AbstractWe present a novel temporal logic for expressing properties of behaviour in context. The log...
The idea of a calculus or discrete formal system is central to traditional models of language, knowl...
Most of AI research on temporal reasoning has been devoted to either exploring constraint-based temp...
We illustrate TeQsim, a qualitative simulator for continuous dynamical systems that combines the exp...
A time-dependent concept is a conceptual entity that is defined in terms of temporal relationships w...
An intelligent agent, reasoning symbolically in a continuous world, needs to infer properties of the...
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are repre...
Abstract: The theory of the natural numbers with linear order and monadic predicates underlies propo...
We introduce two mechanisms for scaling com-putations in the framework of temporal reasoning. The fi...