7213 search results - page 996 / 1443 » Automated model grouping |
163
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
188
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
190
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
182
click to vote
LPNMR
2004
Springer
16 years 6 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
232
click to vote
NMR
2004
Springer
16 years 5 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 ...