Sciweavers

3321 search results - page 300 / 665
» The Future of Knowledge Representation
Sort
View
KBS
2011
81views more  KBS 2011»
15 years 1 months ago
Existential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
Ken Kaneiwa
COSIT
2011
Springer
322views GIS» more  COSIT 2011»
14 years 6 months ago
CLP(QS): A Declarative Spatial Reasoning Framework
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
Mehul Bhatt, Jae Hee Lee, Carl Schultz
WWW
2006
ACM
16 years 7 months ago
Using symbolic objects to cluster web documents
Web Clustering is useful for several activities in the WWW, from automatically building web directories to improve retrieval performance. Nevertheless, due to the huge size of the...
Esteban Meneses, Oldemar Rodríguez-Rojas
CHI
2003
ACM
16 years 7 months ago
The evolution of buildings and implications for the design of ubiquitous domestic environments
This paper considers how we may realize future ubiquitous domestic environments. Building upon previous work on how buildings evolve by Stewart Brand, we suggest the need to broad...
Tom Rodden, Steve Benford
UBIMOB
2009
ACM
154views Management» more  UBIMOB 2009»
16 years 1 months ago
SoCQ: a pervasive environment management system
Pervasive systems give an overview of what digital environments should look like in the future. SoCQ takes a data-oriented perspective on the pervasive environment through a uniï¬...
Yann Gripay, Frédérique Laforest, Je...