Sciweavers

451 search results - page 17 / 91
» Temporal Classes and OWL
Sort
View
CSL
2008
Springer
15 years 2 months ago
Quantified Positive Temporal Constraints
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
Witold Charatonik, Michal Wrona
FROCOS
2009
Springer
15 years 7 months ago
Taming the Complexity of Temporal Epistemic Reasoning
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
Clare Dixon, Michael Fisher, Boris Konev
111
Voted
DEDUCTIVE
1996
105views Database» more  DEDUCTIVE 1996»
15 years 1 months ago
Stable Semantics of Temporal Deductive Databases
We de ne a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be repre...
Heinrich Herre, Gerd Wagner
SDM
2007
SIAM
98views Data Mining» more  SDM 2007»
15 years 1 months ago
Lattice based Clustering of Temporal Gene-Expression Matrices
Individuals show different cell classes when they are in the different stages of a disease, have different disease subtypes, or have different response to a treatment or envir...
Yang Huang, Martin Farach-Colton
AIPS
2009
15 years 1 months ago
An Optimal Temporally Expressive Planner: Initial Results and Application to P2P Network Optimization
Temporally expressive planning, an important class of temporal planning, has attracted much attention lately. Temporally expressive planning is difficult; few existing planners ca...
Ruoyun Huang, Yixin Chen, Weixiong Zhang