Seguir
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
732012
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
P Cordero, M Enciso, A Mora, IP de Guzmán
Advances in Artificial Intelligence—IBERAMIA 2002: 8th Ibero-American …, 2002
592002
A tableau calculus for equilibrium entailment
D Pearce, IP de Guzmán, A Valverde
Automated Reasoning with Analytic Tableaux and Related Methods …, 2000
482000
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
342005
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
312001
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, 369-398, 2004
262004
An efficient preprocessing transformation for functional dependencies sets based on the substitution paradigm
A Mora, M Enciso, P Cordero, I Pérez de Guzmán
Conference on Technology Transfer, 136-146, 2003
262003
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
261995
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
252006
Structure theorems for alternative H*-algebras
IP de Guzman
Mathematical Proceedings of the Cambridge Philosophical Society 94 (3), 437-446, 1983
231983
Computing equilibrium models using signed formulas
D Pearce, IP de Guzmán, A Valverde
Computational Logic—CL 2000: First International Conference London, UK …, 2000
212000
Formalization of UML state machines using temporal logic
C Rossi, M Enciso, IP De Guzmán
Software & Systems Modeling 3, 31-54, 2004
182004
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
182001
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
171997
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
A complete logic for fuzzy functional dependencies over domains with similarity relations
P Cordero, M Enciso, A Mora, IP de Guzmán
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th …, 2009
162009
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
P Cordero, A Mora, IP de Guzmán, M Enciso
Discrete Applied Mathematics 156 (6), 911-923, 2008
152008
A non-explosive treatment of Functional dependencies using rewriting logic
G Aguilera, P Cordero, M Enciso, A Mora, IP de Guzmán
Advances in Artificial Intelligence–SBIA 2004: 17th Brazilian Symposium on …, 2004
152004
Reducing signed propositional formulas
IP de Guzmán, M Ojeda-Aciego, A Valverde
Soft Computing 2 (4), 157-166, 1999
151999
Satisfiability testing for Boolean formulas using Δ-trees
G Gutierrez, IP de Guzmán, J Martínez, M Ojeda-Aciego, A Valverde
Studia Logica 72, 85-112, 2002
132002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20