8337 search results - page 303 / 1668 » Reasoning With Characteristic Models |
154
click to vote
ADBIS
2005
Springer
16 years 7 days ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
227
click to vote
NMR
2004
Springer
16 years 1 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
175
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
166
click to vote
DLOG
2007
15 years 9 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
170
click to vote
JURIX
2008
15 years 8 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...