Carlos Rossi

University of Malaga | UMA · Department of Computer Sciences and Languages

The intention of consumers to use mobile applications with augmented reality is analyzed in order to assess which variables have the greatest influence on their use by consumers. The UTAUT-2 model has been used, analyzing: performance expectancy, effort expectancy, social influence, hedonic motivation, price value, facilitating conditions, habit an...

If-then rules are frequently used as basic elements for knowledge representation in several areas. In Formal Concept Analysis, these rules are the so-called implications and can be used to find minimal generators in a symbolic way by using logic. The computation of all minimal generators is exponential. Here, we provide a novel lazy algorithm with...

We focus on the development of a method to guide the choice of a set of users in an environment where the number of features describing the items is high and user interaction becomes laborious. Using the framework of formal concept analysis, particularly the notion of implication between attributes, we propose a method strongly based on logic which...

Kinetic modeling is at the basis of most quantification methods for dynamic PET data. Specific software is required for it, and a free and easy-to-use kinetic analysis toolbox can facilitate routine work for clinical research. The relevance of kinetic modeling for neuroimaging encourages its incorporation into image processing pipelines like those...

In this paper, we present a novel strategy to face the problem of dimensionality within datasets involved in conversational and feature selection systems. We base our work on a sound and complete logic along with an efficient attribute closure method to manage implications. All of them together allow us to reduce the overload of information we enco...

Recommender systems have become a widespread topic, allowing to connect user demands to those products more suitable to their preferences. The more information we provide to the system, the better the system works. This is a weak point of recommenders: they need an initial information belonging to each new user. In this paper we propose to avoid th...

Abstract This work can be seen as a contribution to the area of social network analysis. By considering Formal Concept Analysis (FCA) as the underlying formalizing tool, we use logic-based techniques in order to offer novel solutions to identify user’s influence in a social network. We propose the use of the Simplification Logic SL FD for attribute...

Actualmente existen aplicaciones orientadas al turismo basadas en realidad aumentada, pero no integran técnicas de recomendación. Este artículo describe RAMCAT (Realidad Aumentada Móvil Contextual Aplicada al Turismo) un modelo de guía turística, que recomienda puntos de interés, teniendo en cuenta factores como preferencias personales y atributos...

Recommender systems are considered powerful tools to suggest items to users according to their interests. The main problem in this process is the big amount of items to be managed. In this work we take advantage of the user context information to prune the original set of items stored in the data set. By providing a smaller set of data to be manage...

Software verification and modeling quality are permanent challenges in software development. So, smarter and more cohesive methods for the creation and maintenance of data models without loss of quality are required as model complexity increases in current academic and industrial MDE-based system designs. In-place endogenous model transformations (...

Most of the recommender systems are content-based: They provide the user a subset of items close to his interest by using the item features. In real recommender systems, the main problem is the big amount of items to be treated. In this work we propose to incorporate context information in a uniform way. We use fuzzy logic and formal concept analys...

Model driven engineering has been shown to be a useful framework to enrich the quality of software. Metamodeling and model transformation have opened the door to specifying data models and manage it in a formal and solid way. These favourable features are particularly welcome in collaborative development, where we need a data model suitable for spe...

Most of the tools that generate code from UML state machines present a series of drawbacks, such as the lack of conformity to the UML specification or the difficulty of integrating them in a real process of software development and maintenance. In this work, we show how to overcome these drawbacks using BlueState, a framework we have developed base...

Beyond the database normalization process, much work has been done on the use of functional dependencies (FDs), their discovery using mining techniques, their use in query optimization and in the design of algorithms dealing with the implication problem etc. Nevertheless, although much research expounds the benefits of using functional dependencies...

A temporal normal form non-dependent on the deduction methodIn this work we present the definition of a new normal form in the area ofModal Temporal Logic. We have selected LNint-e as our target temporallogic. This choice is motivated by the LNint-e characteristics: itcombines points and intervals in a very natural way and theabsolute and relative...

An important problem for knowledge representation is the specification of the behavior of information systems. To solve this problem, different formal techniques have been used and many authors have endorsed the use of different sorts of logics. This problem is even more important in software engineering, where the main modeling languages are defin...

The main purpose of this paper is to approach the use of formal methods in computing. In more specific terms, we use a temporal logic to formalize the most fundamental aspects of the semantics of UML state machines. We pay special attention to the dynamic aspects of the different operations associated with states and transitions, as well as the beh...

A temporal normal form non-dependent on the deduction methodIn this work we present the definition of a new normal form in the area ofModal Temporal Logic. We have selected LNint-e as our target temporallogic. This choice is motivated by the LNint-e characteristics: itcombines points and intervals in a very natural way and theabsolute and relative...

Una forma normal temporal independiente del metodo de deduccionEn este trabajo se presenta la definici¿n de una forma normal para unal¿gica modal temporal. Como l¿gica objetivo hemos elegido la l¿gicaLNint-e, que destaca por tratarse de una l¿gica que combina puntos eintervalos y disponer simult¿neamente de un tratamiento del tiempoabsoluto y relat...

A temporal normal form non-dependent on the deduction methodIn this work we present the definition of a new normal form in the area of Modal Temporal Logic. We have selected LNint-e as our target temporal logic. This choice is motivated by the LNint-e characteristics: itcombines points and intervals in a very natural way and the absolute and relati...

This work is focussed on the transformation of UML notations into other formal nota-tions: we transform statecharts into temporal logic expressions. In particular, we introduce a temporal logic which combines points and intervals to specify the dynamic behaviour of programs.

In this work we present a new Automated Theorem Prover, called TAS-FNext, applied to temporal logic. This is part of a broader project developed by our research group GIMAC. It is an extension of works [4], [5] and [6] concerns classical logic and [9] Minimal Temporal Logic. TAS-FNext is strongly based on formula structures and, specifically, on th...

In this work we present an unified frame for temporal logic that allows us to con-sider • discrete time and continuous time, • points and intervals jointly, and • the absolute and relative approaches. in an adequate way for computing. This unified frame is built up from a new kind of semantics that we introduce in this work: the topological semanti...

The introduction of the temporal analysis in Logic has stimulated different approaches, some of them artificially opposed, such as to consider an absolute or relative nature of time, to consider points or intervals or to consider different time flows…In this paper we develop a temporal logic that combines these approaches to have a logic with a goo...

Resumen El presente documento recoge las principales líneas de trabajo desarrolladas en eí area de modelización y razonamiento temporal por el grupo de investigación de Matemática Aplicada en Computación de la Uni-versidad de Málaga.