Sciweavers

3573 search results - page 192 / 715
» Reasoning about Codata
Sort
View
127
Voted
AI
1999
Springer
15 years 3 months ago
Topological Inference of Teleology: Deriving Function from Structure via Evidential Reasoning
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...
John O. Everett
JUCS
2010
100views more  JUCS 2010»
15 years 2 months ago
Spatial Reasoning with Integrated Qualitative-Metric Fuzzy Constraint Networks
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
Marco Falda
153
Voted
DLOG
2009
15 years 1 months ago
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
Giorgos Stoilos, Giorgos B. Stamou
131
Voted
FUIN
2002
107views more  FUIN 2002»
15 years 3 months ago
Towards an Ontology of Approximate Reason
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
James F. Peters, Andrzej Skowron, Jaroslaw Stepani...
156
Voted
COSIT
2009
Springer
211views GIS» more  COSIT 2009»
15 years 1 months ago
The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
Helen Couclelis