The present study aims at comparing the efficacy of a deductive approach against an inductive approach in the teaching of passive voice in English in a college context. The participants of this study were 36 second year ...

This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler language which preserves the original semantics. This ...

Abstract. In this paper a new approach to generic theorem proving is introduced. We present a set 01 techniques to guide prool search in framework theories that works with different object theories encoded. The techniques ...

Planning research projects is a challenge that many students fail to successfully overcome. A lack of formal training in research planning and design, an excessive emphasis on analysis rather than on ideas and a lack of a ...

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a ...