4128 search results - page 101 / 826 » Learning and using relational theories |
95
Voted
CORR
2004
Springer
15 years 15 days ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
98
Voted
LICS
1991
IEEE
15 years 4 months ago
1991
IEEE
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
91
Voted
MMS
2006
15 years 18 days ago
2006
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
KR
2000
Springer
15 years 4 months ago
2000
Springer
We propose to extend the ontology of logical AI to include approximate objects, approximate predicates and approximate theories. Besides the ontology we treat the relations among ...
111
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents the extension of an existing mimimally supervised rule acquisition method for relation extraction by coreference resolution (CR). To this end, a novel...