We extend Reiter’s temporal situation calculus by introducing continuous change due to passage of time in addition to discrete change due to actions. We define regression for hybrid action theories and show that hybrid action theories can capture hybrid automata. </p
This paper proposes a specification language, Hybrid Projection Temporal Logic (HPTL), for the purpo...
Green's classical definition of planning by deduction has recently been generalized to hybrid domain...
A fundamental aspect of general reasoning about physical systems is qualitative reasoning about cont...
We extend Reiter's temporal situation calculus by introducing continuous change due to passage of ti...
We present a hybrid discrete-continuous extension of Reiter's temporal situation calculus, directly ...
Among the most frequent reasoning tasks in the situation calculus are projection queries that query ...
In this paper we present an approach to representing and managing temporally-flexible behaviors in t...
In this paper we present an approach to flexible behaviors implemented in the Situation Calculus, ba...
This paper introduces operators, semantics, characterizations, and solution-independent conditions t...
In this paper we investigate the use of action systems with differential actions in the specifcation...
AbstractIn this paper we investigate the use of action systems with differential actions in the spec...
In the first part of the paper, we investigate the relationship between the action description langu...
Among the known predicate calculus formalisms for axiomatizing commonsense reasoning about actions, ...
This dissertation focuses on developing tools for certifying temporal logic properties in hybrid dyn...
. We start from a basic and fruitful idea in current work on the formal analysis and verification o...
This paper proposes a specification language, Hybrid Projection Temporal Logic (HPTL), for the purpo...
Green's classical definition of planning by deduction has recently been generalized to hybrid domain...
A fundamental aspect of general reasoning about physical systems is qualitative reasoning about cont...
We extend Reiter's temporal situation calculus by introducing continuous change due to passage of ti...
We present a hybrid discrete-continuous extension of Reiter's temporal situation calculus, directly ...
Among the most frequent reasoning tasks in the situation calculus are projection queries that query ...
In this paper we present an approach to representing and managing temporally-flexible behaviors in t...
In this paper we present an approach to flexible behaviors implemented in the Situation Calculus, ba...
This paper introduces operators, semantics, characterizations, and solution-independent conditions t...
In this paper we investigate the use of action systems with differential actions in the specifcation...
AbstractIn this paper we investigate the use of action systems with differential actions in the spec...
In the first part of the paper, we investigate the relationship between the action description langu...
Among the known predicate calculus formalisms for axiomatizing commonsense reasoning about actions, ...
This dissertation focuses on developing tools for certifying temporal logic properties in hybrid dyn...
. We start from a basic and fruitful idea in current work on the formal analysis and verification o...
This paper proposes a specification language, Hybrid Projection Temporal Logic (HPTL), for the purpo...
Green's classical definition of planning by deduction has recently been generalized to hybrid domain...
A fundamental aspect of general reasoning about physical systems is qualitative reasoning about cont...
DOI
Add to ORKG