Carlos Rossi

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 2

Top Topics

Galois Lattices

Knowledge Discovery

Functional Dependencies

Top Venues

Int. J. Comput. Intell. Syst.

ICSOFT (Selected Papers)

Neuroinformatics

Publications

Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Carlos Rossi
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. Int. J. Comput. Intell. Syst. 13 (1) (2020)
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é
QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis. Neuroinformatics 17 (1) (2019)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Carlos Rossi
Knowledge discovery in social networks by using a logic-based treatment of implications. Knowl. Based Syst. 87 (2015)
Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora
-based OCL Constraints. ICSOFT (2013)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. ICSOFT (Selected Papers) (2013)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara
Context-aware Recommendation using Fuzzy Formal Concept Analysis. ICSOFT (2013)
Manuel Enciso, Carlos Rossi, Antonio Guevara
A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. ICSOFT (2012)
Alfredo Ortigosa, Carlos Rossi
BlueState - A Metamodel-based Execution Framework for UML State Machines. ICSOFT (2) (2011)
Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Angel Mora, Pablo Cordero
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. ICSOFT (2) (2010)
Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
Formalization of UML state machines using temporal logic. Softw. Syst. Model. 3 (1) (2004)
Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi
Una forma normal temporal independiente del método de deducción. Inteligencia Artif. 8 (23) (2004)
Carlos Rossi, Manuel Enciso, Angel Mora
A First Order Temporal Logic for Behavior Representation. IBERAMIA (2004)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
Temporal Reasoning over Linear Discrete Time. JELIA (1996)
Inmaculada Perez de Guzmán, Carlos Rossi
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches. Log. J. IGPL 3 (5) (1995)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
A Temporal Logic for Program Specification. GULP-PRODE (2) (1994)