×

Pérez de Guzmán, Inmaculada

Author ID: de-guzman.inmaculada-p Recent zbMATH articles by "Pérez de Guzmán, Inmaculada"
Published as: de Guzmán, I. P.; de Guzmán, Inma P.; de Guzmán, Inmaculada P.; Pérez de Guzmán, Inmaculada; Pérez de Guzmán, Immaculada; Perez de Guzmán, Inmaculada; de Guzmán, Immaculada P.; De Guzmán, Inmaculada P.; de Guzmán, Inman P.; Pérez de Guzmán, I.; de Guzman, Inma P.; de Guzman, I. P.; De Guzmán, I. P.
External Links: MGP · Google Scholar · ResearchGate · dblp · IdRef

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 104 times in 60 Documents Cited by Year
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics. Zbl 1095.68110
Cordero, P.; Gutiérrez, G.; Martínez, J.; de Guzmán, I. P.
11
2004
\(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136
Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P.
10
2002
Generalizations of lattices via non-deterministic operators. Zbl 1085.06005
Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P.
8
2005
Structure theorems for alternative \(H^*\)-algebras. Zbl 0551.46037
de Guzman, Inma P.
7
1983
A tableau calculus for equilibrium entailment. Zbl 0963.03045
Pearce, David; de Guzmán, Immaculada P.; Valverde, Augustín
7
2000
Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023
Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M.
6
2008
Reductions for non-clausal theorem proving. Zbl 0989.68128
Aguilera, G.; de Guzmán, I. P.; Ojeda-Aciego, M.; Valverde, A.
5
2001
A functional approach for temporal \(\times\) modal logics. Zbl 1024.03018
Burrieza, Alfredo; de Guzmán, Inma P.
4
2003
A reduction-based theorem prover for 3-valued logic. Zbl 0884.03006
Aguilera Venegas, G.; de Guzmán, I. P.; Ojeda Aciego, M.
4
1997
A new algebraic semantic approach and some adequate connetives for computation with temporal logic over discrete time. Zbl 0790.03017
Burrieza, Alfredo; de Guzmán, Inma P.
3
1992
Multilattices via multisemilattices. Zbl 1038.06003
Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P.
3
2001
Generalization of some properties of relations in the context of functional temporal \(\times \) modal logic. Zbl 1147.03010
Burrieza, A.; De Guzmán, I. P.; Muñoz-Velasco, E.
3
2008
Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077
Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P.
3
2011
A tableaux-like method to infer all minimal keys. Zbl 1407.68126
Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I.
3
2014
A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340
Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada
2
2004
Increasing the efficiency of automated theorem proving. Zbl 0827.68100
Aguilera, Gabriel; de Guzmán, Inma P.; Ojeda, Manuel
2
1995
Satisfiability testing for Boolean formulas using \(\Delta\)-trees. Zbl 1017.03003
Gutiérrez, G.; de Guzmán, I. P.; Martínez, J.; Ojeda-Aciego, M.; Valverde, A.
2
2002
Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087
Cordero, P.; Enciso, M.; de Guzmán, I. P.
2
2002
Computing equilibrium models using signed formulas. Zbl 0983.03023
Pearce, David; de Guzmán, Inmaculada P.; Valverde, Agustín
2
2000
Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020
de Guzmán, I. P.; Cordero, P.; Enciso, M.
2
1999
Restricted ideals and the groupability property. Tools for temporal reasoning. Zbl 1249.03004
Martínez, J.; Cordero, P.; Gutiérrez, G.; de Guzmán, I. P.
2
2003
Reduction theorems for Boolean formulas using \(\Delta\)-trees. Zbl 0998.03006
Gutiérrez, Gloria; de Guzmán, Inma P.; Martínez, Javier; Ojeda-Aciego, Manuel; Valverde, Agustín
2
2000
\(\text{TAS-D}^{++}\): Syntactic trees transformations for automated theorem proving. Zbl 0988.68604
Aguilera, G.; de Guzmán, I. P.; Ojeda, M.
2
1994
Pipelines for divide-and-conquer functions. Zbl 0770.68061
de Guzmán, I. P.; Harrison, P. G.; Medina, E.
1
1993
Implicates and reduction techniques for temporal logics. Zbl 0927.03034
de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín
1
1998
LNint: A temporal logic that combines points and intervals and the absolute and relative approaches. Zbl 0838.03013
Pérez de Guzmán, Immaculada; Rossi, Carlos
1
1995
Annihilator alternative algebras. Zbl 0465.46045
de Guzman, I. P.
1
1983
Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics. Zbl 1185.03020
Burrieza, Alfredo; de Guzmán, Inmaculada P.; Muñoz-Velasco, Emilio
1
2010
Functional systems in the context of temporal \( \times \) modal logics with indexed flows. Zbl 1182.03038
Burrieza, A.; de Guzmán, I. P.; Muñoz-Velasco, E.
1
2009
Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29–October 2, 2000. Proceedings. Zbl 0952.00045
1
2000
A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507
Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P.
1
2000
Temporal reasoning over linear discrete time. Zbl 1427.68347
Enciso, Manuel; de Guzmán, Inma P.; Rossi, Carlos
1
1996
A tableaux-like method to infer all minimal keys. Zbl 1407.68126
Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I.
3
2014
Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077
Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P.
3
2011
Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics. Zbl 1185.03020
Burrieza, Alfredo; de Guzmán, Inmaculada P.; Muñoz-Velasco, Emilio
1
2010
Functional systems in the context of temporal \( \times \) modal logics with indexed flows. Zbl 1182.03038
Burrieza, A.; de Guzmán, I. P.; Muñoz-Velasco, E.
1
2009
Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023
Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M.
6
2008
Generalization of some properties of relations in the context of functional temporal \(\times \) modal logic. Zbl 1147.03010
Burrieza, A.; De Guzmán, I. P.; Muñoz-Velasco, E.
3
2008
Generalizations of lattices via non-deterministic operators. Zbl 1085.06005
Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P.
8
2005
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics. Zbl 1095.68110
Cordero, P.; Gutiérrez, G.; Martínez, J.; de Guzmán, I. P.
11
2004
A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340
Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada
2
2004
A functional approach for temporal \(\times\) modal logics. Zbl 1024.03018
Burrieza, Alfredo; de Guzmán, Inma P.
4
2003
Restricted ideals and the groupability property. Tools for temporal reasoning. Zbl 1249.03004
Martínez, J.; Cordero, P.; Gutiérrez, G.; de Guzmán, I. P.
2
2003
\(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136
Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P.
10
2002
Satisfiability testing for Boolean formulas using \(\Delta\)-trees. Zbl 1017.03003
Gutiérrez, G.; de Guzmán, I. P.; Martínez, J.; Ojeda-Aciego, M.; Valverde, A.
2
2002
Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087
Cordero, P.; Enciso, M.; de Guzmán, I. P.
2
2002
Reductions for non-clausal theorem proving. Zbl 0989.68128
Aguilera, G.; de Guzmán, I. P.; Ojeda-Aciego, M.; Valverde, A.
5
2001
Multilattices via multisemilattices. Zbl 1038.06003
Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P.
3
2001
A tableau calculus for equilibrium entailment. Zbl 0963.03045
Pearce, David; de Guzmán, Immaculada P.; Valverde, Augustín
7
2000
Computing equilibrium models using signed formulas. Zbl 0983.03023
Pearce, David; de Guzmán, Inmaculada P.; Valverde, Agustín
2
2000
Reduction theorems for Boolean formulas using \(\Delta\)-trees. Zbl 0998.03006
Gutiérrez, Gloria; de Guzmán, Inma P.; Martínez, Javier; Ojeda-Aciego, Manuel; Valverde, Agustín
2
2000
Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29–October 2, 2000. Proceedings. Zbl 0952.00045
1
2000
A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507
Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P.
1
2000
Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020
de Guzmán, I. P.; Cordero, P.; Enciso, M.
2
1999
Implicates and reduction techniques for temporal logics. Zbl 0927.03034
de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín
1
1998
A reduction-based theorem prover for 3-valued logic. Zbl 0884.03006
Aguilera Venegas, G.; de Guzmán, I. P.; Ojeda Aciego, M.
4
1997
Temporal reasoning over linear discrete time. Zbl 1427.68347
Enciso, Manuel; de Guzmán, Inma P.; Rossi, Carlos
1
1996
Increasing the efficiency of automated theorem proving. Zbl 0827.68100
Aguilera, Gabriel; de Guzmán, Inma P.; Ojeda, Manuel
2
1995
LNint: A temporal logic that combines points and intervals and the absolute and relative approaches. Zbl 0838.03013
Pérez de Guzmán, Immaculada; Rossi, Carlos
1
1995
\(\text{TAS-D}^{++}\): Syntactic trees transformations for automated theorem proving. Zbl 0988.68604
Aguilera, G.; de Guzmán, I. P.; Ojeda, M.
2
1994
Pipelines for divide-and-conquer functions. Zbl 0770.68061
de Guzmán, I. P.; Harrison, P. G.; Medina, E.
1
1993
A new algebraic semantic approach and some adequate connetives for computation with temporal logic over discrete time. Zbl 0790.03017
Burrieza, Alfredo; de Guzmán, Inma P.
3
1992
Structure theorems for alternative \(H^*\)-algebras. Zbl 0551.46037
de Guzman, Inma P.
7
1983
Annihilator alternative algebras. Zbl 0465.46045
de Guzman, I. P.
1
1983
all top 5

Cited by 76 Authors

18 Cordero, Pablo
11 Pérez de Guzmán, Inmaculada
10 Ojeda-Aciego, Manuel
9 Mora, Angel
8 Enciso, Manuel
7 Gutiérrez, Gloria
7 Martínez del Castillo, Javier
6 Cabrera, Inma P.
5 Medina, Jesús
4 Burrieza, Alfredo
4 Muñoz-Velasco, Emilio
3 Ramírez-Poussa, Eloisa
3 Rodríguez Palacios, Angel
3 Valverde, Agustín
3 Vychodil, Vilém
2 Aguilera, Gabriel
2 Calderón Martín, Antonio Jesús
2 Cornejo, Maria Eugenia
2 Cuenca Mira, José Antonio
2 Fariñas del Cerro, Luis
2 Fortes, Inmaculada
2 Herzig, Andreas
2 Imaz, Gonzalo E.
2 López-Rodríguez, Domingo
2 Pearce, David
2 Rodríguez-Jiménez, Jose Manuel
2 Rodríguez-Lorenzo, Estrella
2 Rossi, Carlos
2 Xu, Yang
1 Balbiani, Philippe
1 Benito-Picazo, Fernando
1 Bertet, Karell
1 Betz, Gregor
1 Broughton, Michael
1 Cabalar, Pedro
1 Cabrera García, Miguel
1 Casas Miras, José Manuel
1 Chen, Shuwei
1 Datuashvili, Tamar
1 Díaz, Juan Carlos
1 Draper, Cristina
1 Goranko, Valentin F.
1 Gorlatch, Sergei
1 Guevara, Antonio
1 Guil, Francisco
1 Juarez, Jose M.
1 Ladra González, Manuel
1 Laroussinie, François
1 Lele, Celestin
1 Lengauer, Christian
1 Li, Wenjiang
1 Liu, Jun
1 Ma, Jun
1 Madrid, Nicolás
1 Maffeu, Line Nzoda
1 Marín, Roque L.
1 Martín González, Cándido
1 Martín, Cándido
1 Ndoye, Daouda
1 Nganou, Jean Bernard
1 Odintsov, Sergei P.
1 Ojeda-Hernández, Manuel
1 Pattison, Tim R.
1 Pocs, Jozef
1 Ruan, Da
1 Ruiz-Calviño, Jorge
1 Schneider, Patrik
1 Schnoebelen, Ph
1 Sciavicco, Guido
1 Su, Ezgi Iraz
1 Tarau, Paul
1 Temgoua, Etienne Alomo
1 Triska, Jan
1 Urbanova, Lucie
1 Weber, Derek
1 Zhong, Xiaomei

Citations by Year