Inmaculada Perez de Guzmán

19 papers B 1C 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2022 B conf
A multi-modal logic for Galois connections.
AiML
Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza
2019 C conf
Simplifying Inductive Schemes in Temporal Logic.
TIME
Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez
2017 J jnl
Completeness of a functional system for surjective functions.
Math. Log. Q.
Alfredo Burrieza, Inmaculada Fortes, Inmaculada Perez de Guzmán
2014 J jnl
A tableaux-like method to infer all minimal keys.
Log. J. IGPL
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2011 — conf
An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.
IWANN (2)
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
2011 J jnl
Ideal non-deterministic operators as a formal framework to reduce the key finding problem.
Int. J. Comput. Math.
Ángel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero
2011 — conf
Specification and inference of fuzzy attributes.
FOCI
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
2010 J jnl
Analyzing completeness of axiomatic functional systems for temporal × modal logics.
Math. Log. Q.
Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
2009 — conf
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.
IWANN (1)
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2006 J jnl
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artif.
Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
2006 — conf
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA
Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
2005 J jnl
Generalizations of lattices via non-deterministic operators.
Discret. Math.
Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero
2004 J jnl
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell.
Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán
2004 — conf
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA
Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2004 J jnl
Formalization of UML state machines using temporal logic.
Softw. Syst. Model.
Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
2004 J jnl
Una forma normal temporal independiente del método de deducción.
Inteligencia Artif.
Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi
2003 — conf
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
CAEPIA
Ángel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
2002 J jnl
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.
Reports Math. Log.
Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán
1995 J jnl
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches.
Log. J. IGPL
Inmaculada Perez de Guzmán, Carlos Rossi