Inmaculada Perez de Guzmán
Inmaculada Perez de Guzmán
Dirección de correo verificada de ctima.uma.es
Título
Citado por
Citado por
Año
Closure via functional dependence simplification
A Mora, P Cordero, M Enciso, I Fortes, G Aguilera
International Journal of Computer Mathematics 89 (4), 510-526, 2012
552012
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
P Cordero, M Enciso, A Mora, IP de Guzmán
Ibero-American Conference on Artificial Intelligence, 141-150, 2002
502002
A tableau calculus for equilibrium entailment
D Pearce, IP de Guzmán, A Valverde
International Conference on Automated Reasoning with Analytic Tableaux and …, 2000
442000
Generalizations of lattices via non-deterministic operators
J Martínez, G Gutiérrez, IP de Guzmán, P Cordero
Discrete mathematics 295 (1-3), 107-141, 2005
292005
Reductions for non-clausal theorem proving
G Aguilera, IP de Guzmán, M Ojeda-Aciego, A Valverde
Theoretical Computer Science 266 (1-2), 81-112, 2001
292001
A new algebraic tool for automatic theorem provers
P Cordero, G Gutiérrez, J Martínez, IP de Guzmán
Annals of Mathematics and Artificial Intelligence 42 (4), 369-398, 2004
272004
A new closure algorithm based in logic: SLFD-Closure versus classical closures
A Mora, G Aguilera, M Enciso, P Cordero, IP de Guzmán
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2006
242006
Increasing the efficiency of automated theorem proving
G Aguilera, IP de Guzmán, M Ojeda
Journal of Applied Non-Classical Logics 5 (1), 9-29, 1995
241995
An efficient preprocessing transformation for functional dependencies sets based on the substitution paradigm
A Mora, M Enciso, P Cordero, IP de Guzmán
Conference on Technology Transfer, 136-146, 2003
232003
Computing equilibrium models using signed formulas
D Pearce, IP de Guzmán, A Valverde
International Conference on Computational Logic, 688-702, 2000
192000
Structure theorems for alternative H*-algebras
IP de Guzman
Mathematical Proceedings of the Cambridge Philosophical Society 94 (3), 437-446, 1983
181983
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
A Burrieza, IP De Guzmán
Journal of Applied Non-Classical Logics 2 (2), 181-200, 1992
171992
Multilattices via multisemilattices
J Martínez, G Gutiérrez, IP de Guzmän, P Cordero
Topics in applied and theoretical mathematics and computer science, 238-248, 2001
162001
Multilattices via multisemilattices
J Martínez, G Gutiérrez, IP de Guzmän, P Cordero
Topics in applied and theoretical mathematics and computer science, 238-248, 2001
162001
A non-explosive treatment of Functional dependencies using rewriting logic
G Aguilera, P Cordero, M Enciso, A Mora, IP de Guzmán
Brazilian Symposium on Artificial Intelligence, 31-40, 2004
152004
A complete logic for fuzzy functional dependencies over domains with similarity relations
P Cordero, M Enciso, A Mora, IP de Guzmán
International Work-Conference on Artificial Neural Networks, 261-269, 2009
142009
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
P Cordero, Á Mora, IP de Guzmán, M Enciso
Discrete Applied Mathematics 156 (6), 911-923, 2008
142008
A reduction-based theorem prover for 3-valued logic
G Aguilera Venegas, I Pérez de Guzmán Molina, M Ojeda Aciego
Mathware & soft computing. 1997 Vol. 4 Núm. 2, 1997
141997
Reducing signed propositional formulas
IP de Guzmán, M Ojeda-Aciego, A Valverde
Soft Computing 2 (4), 157-166, 1999
131999
Formalization of UML state machines using temporal logic
C Rossi, M Enciso, IP De Guzmán
Software & Systems Modeling 3 (1), 31-54, 2004
122004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20