1699 search results - page 174 / 340 » A Rule Format for Associativity |
180
click to vote
PKDD
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
162
click to vote
TYPES
2007
Springer
16 years 19 days ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
151
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
155
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
162
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...