4324 search results - page 319 / 865 » A Generalized Representer Theorem |
196
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
157
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
We present a sub-symbolic computational model for effecting knowledge re-representation and insight. Given a set of data, manifold learning is used to automatically organize the d...
154
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
139
click to vote
CAISE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
211
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...