Abstract" We journey to learn, yet in trovelling grow each day 1urthe. r and further from
where we began"-Wade Davis Taxonomies are prevalent in a multitude of fields, including …

We propose to extend Horn-clause terms by invisibly associating them with incomplete
types, that is, convenient representations of taxonomic information. We formally define typed …

Quem declara o pensamento abaixo é–tão somente–o doutor William James, em seu The
Principles of Psychology (vol 1 e 2):" O talento inato para perceber analogias–similaridades …

The aim of this paper is to present a criticism of, and to introduce some new ideas about the
approach to natural language semantics that has been put forward in [Porto, Filgueiras]. The …

This paper presents a language for querying taxonomic systems which is essentially a
variant of first-order logic with terms denoting types instead of individuals. A query …