Carlos Rossi

According to our database, Carlos Rossi authored at least 15 papers between 1994 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.

Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi

Int. J. Comput. Intell. Syst., 2020

2019

QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis.

Francisco Javier López-González, José Paredes-Pacheco, Karl Thurnhofer-Hemsi, Carlos Rossi, Manuel Enciso, Daniel Toro-Flores, Belén Murcia-Casas, Antonio L. Gutiérrez-Cardo, Núria Roé-Vellvé

Neuroinformatics, 2019

2015

Knowledge discovery in social networks by using a logic-based treatment of implications.

Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi

Knowl. Based Syst., 2015

2013

Improving Recommender Systems with Simplification Logic to Manage Implications with Grades.

José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Context-aware Recommendation using Fuzzy Formal Concept Analysis.

José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara

Proceedings of the ICSOFT 2013, 2013

Quality Improvement in Data Models with <i>SL</i>_FD-based OCL Constraints.

Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora

Proceedings of the ICSOFT 2013, 2013

2012

A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation.

Manuel Enciso, Carlos Rossi, Antonio Guevara

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

BlueState - A Metamodel-based Execution Framework for UML State Machines.

Alfredo Ortigosa, Carlos Rossi

Proceedings of the ICSOFT 2011, 2011

2010

A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD.

Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Ángel Mora, Pablo Cordero

Proceedings of the ICSOFT 2010, 2010

2004

Formalization of UML state machines using temporal logic.

Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán

Softw. Syst. Model., 2004

Una forma normal temporal independiente del método de deducción.

Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi

Inteligencia Artif., 2004

A First Order Temporal Logic for Behavior Representation.

Carlos Rossi, Manuel Enciso, Ángel Mora

Proceedings of the Advances in Artificial Intelligence, 2004

1996

Temporal Reasoning over Linear Discrete Time.

Manuel Enciso, Inman P. de Guzmán, Carlos Rossi

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

1995

LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches.

Inmaculada Perez de Guzmán, Carlos Rossi

Log. J. IGPL, 1995

1994

A Temporal Logic for Program Specification.

Manuel Enciso, Inman P. de Guzmán, Carlos Rossi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994