1087 search results - page 73 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
DLOG
1998
14 years 11 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
FOSSACS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
DLOG
2004
14 years 11 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
ILP
2004
Springer
15 years 3 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
CADE
1994
Springer
15 years 1 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.