Sciweavers

955 search results - page 28 / 191
» Tractable Temporal Reasoning
Sort
View
FQAS
2006
Springer
109views Database» more  FQAS 2006»
13 years 11 months ago
Towards a Flexible Visualization Tool for Dealing with Temporal Data
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
Guy De Tré, Nico Van de Weghe, Rita M. M. D...
ASWC
2009
Springer
13 years 11 months ago
Reasoning about Partially Ordered Web Service Activities in PSL
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...
Michael Gruninger, Xing Tan
GIS
1992
ACM
13 years 11 months ago
Using Orientation Information for Qualitative Spatial Reasoning
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
Christian Freksa
AAAI
1993
13 years 9 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip
DLOG
2008
13 years 10 months ago
Classifying Fuzzy Subsumption in Fuzzy-EL+
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan