1353 search results - page 112 / 271 » Streamlined Constraint Reasoning |
82
Voted
ICLP
1995
Springer
15 years 1 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
100
Voted
GIS
2010
ACM
14 years 7 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
86
Voted
RSFDGRC
2005
Springer
15 years 3 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
69
Voted
JASSS
1998
14 years 10 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
124
Voted
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...