Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Hybrid Temporal Situation Calculus
View through CrossRef
<p>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>
Ryerson University Library and Archives
Title: Hybrid Temporal Situation Calculus
Description:
<p>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>.
Related Results
Role of the Frontal Lobes in the Propagation of Mesial Temporal Lobe Seizures
Role of the Frontal Lobes in the Propagation of Mesial Temporal Lobe Seizures
Summary: The depth ictal electroencephalographic (EEG) propagation sequence accompanying 78 complex partial seizures of mesial temporal origin was reviewed in 24 patients (15 from...
The impacts of gingivitis and calculus on Thai children's quality of life
The impacts of gingivitis and calculus on Thai children's quality of life
AbstractAimTo assess associations of socio‐demographic, behavioural and the extent of gingivitis and calculus with oral health‐related quality of life (OHRQoL) in nationally repres...
The Site-specificity of Supragingival Calculus Deposition on the Lingual Surfaces of the Six Permanent Lower Anterior Teeth in Humans and the Effects of Age, Sex, Gum-chewing Habits, and the Time Since the Last Prophylaxis on Calculus Scores
The Site-specificity of Supragingival Calculus Deposition on the Lingual Surfaces of the Six Permanent Lower Anterior Teeth in Humans and the Effects of Age, Sex, Gum-chewing Habits, and the Time Since the Last Prophylaxis on Calculus Scores
The hypotheses to be tested were: (i) that chewing sugar-free gum frequently and for long periods would be associated with higher amounts of supragingival calculus, and (ii) that t...
Temporal Databases
Temporal Databases
AbstractA temporal database stores time‐varying data and has the capabilities to manipulate it. Two commonly used time dimensions for maintaining temporal data are valid time and t...
The Multi-Temporal Database of Planetary Image Data (MUTED): A Web-Tool to Support Surface Change Analyses on Mars, Moon, and Mercury
The Multi-Temporal Database of Planetary Image Data (MUTED): A Web-Tool to Support Surface Change Analyses on Mars, Moon, and Mercury
<p><strong>Introduction:</strong></p>
<p>The Multi-Temporal Database of Planetary Image Data (MUTED) is a comp...
THE CONCEPT OF HYBRID THREATS
THE CONCEPT OF HYBRID THREATS
In 2016, during the Warsaw summit, NATO and EU reached an agreement to improve the cooperation in the fight against the hybrid threats, describing the security situation in Europe ...
Novel Techniques for Classifying Exotic Spheres in High Dimensions
Novel Techniques for Classifying Exotic Spheres in High Dimensions
Discrete calculus deals with developing the concepts and techniques of differential and integral calculus in a discrete setting, often using difference equations and discrete funct...
Various Foreign Bodies Causing Bladder Stones in Females: The Lessons Learnt
Various Foreign Bodies Causing Bladder Stones in Females: The Lessons Learnt
Background: Bladder stones are common in males but not so common in females. They account for nearly 5% of the urinary system stone disease. We here share our journey of bladder ca...