198
Voted
GIS
15 years 2 months ago
2010 ACM 
In this paper, we aim to estimate the similarity between users according to their GPS trajectories. Our approach first models a user’s GPS trajectories with a semantic location ...
306
Voted
KR
15 years 8 months ago
2010 Springer 
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
158
click to vote
FLOPS
15 years 10 months ago
2010 Springer 
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
122
click to vote
KR
15 years 8 months ago
2010 Springer 
In this paper we present a model for decision making under complete ignorance. By complete ignorance it is meant that all that is known is the set of possible consequences associa...
121
click to vote
KR
15 years 8 months ago
2010 Springer 
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
|
Automated Reasoning