4617 search results - page 905 / 924 » Automation of Diagrammatic Reasoning |
114
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
106
Voted
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
129
click to vote
RWEB
2007
Springer
15 years 8 months ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
105
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
125
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Following and understanding discussions on mailing lists is a prevalent task for executives and policy makers in order to get an impression of one’s company image. However, exist...