Object-orientation relies on polymorphism to express behavioral variants. As opposed to traditional procedural design, explicit type-based conditionals should be avoided. This message is conveyed in introductory material ...

In data clustering fuzzy predicates act as cluster descriptors providing linguistically expressed knowledge which indicates how features are related to each cluster. Fuzzy predicates directly and automatically obtained ...

In this work the relationship between two famous conceptions of existence is investigated. The first, proposed by Kant, excludes the concept of existence from the set of possible predicates or properties of objects. The ...

In previous works, we proposed two methods for data clustering based on automatically discovered fuzzy predicates which were referred to as SOM-based Fuzzy Predicate Clustering (SFPC) [Meschino et al., Neurocomputing, 147, ...

We introduce a new formulation of pure type systems (PTSs) with explicit substitution and de Bruijn indices and formally prove some of its meta-theory. Using techniques based on Normalisation by Evaluation, we prove that ...

This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an ...

This dissertation aims to study some types of agentive activity verbs in Brazilian Portuguese and two primitive predicates, ACT and DO. These primitive predicates are proposed in the literature for the formulation of ...

This dissertation proposes an analysis about the relation between pairs of constructions, both with support-verb and predicative name, such as João deu uma ajuda ao Pedro/Pedro recebeu uma ajuda do João. This relation ...

The analysis of structural changes in the brain through Magnetic Resonance Imaging (MRI) provides useful information for diagnosis and clinical treatment of patients with pathologies like Alzheimer disease and dementia. ...