José Antonio Alonso Jimenez

Learn More
Schizophrenia patients are often impaired in their memory for emotional events compared with healthy subjects. Investigations of the neural correlates of emotional memory in schizophrenia patients are scarce in the literature. The present study aimed to compare cerebral activations in schizophrenia patients and healthy controls during memory retrieval of(More)
Sex steroid hormones have been implicated in the visuo-spatial abilities in the general population, as well as in the pathophysiology of schizophrenia. Nevertheless, almost nothing is known about the association between levels of testosterone and/or estrogen with brain activations during visuo-spatial processing in schizophrenia. The fMRI data collected(More)
BACKGROUND Sex differences in visuo-spatial abilities have been well documented in the general population, but there are only a few inconsistent reports in schizophrenia. The purpose of the present study was to examine potential sex differences in performance and pattern of brain activations during mental rotation in schizophrenia patients relative to(More)
Knowledge Representation & Reasoning is a fundamental topic in Artificial Intelligence. Different systems exist to help to teach this, usually focused on proofs, but anyone on formalization, which is the hardest process for students to understand in logic and AI courses. In this work we present FITS (Formalization with an Intelligent Tutor System), the(More)
A spatial value transfer analysis was performed to generate baseline estimates of the value of ecosystem services in the coastal zone of Catalonia, Spain. The study used the best available conceptual frameworks, data sources, and analytical techniques to generate non-market monetary value estimates that can be used to identify scarce ecosystem services(More)
The aim of this paper is to describe the application of the Gröbner bases to automated theorem proving in Many–Valued Logic INTRODUCCI´ON El objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas proposicionales polivalentes. La estructura de la comunicación es la siguiente: En la sección 1,(More)