Inmaculada Perez de Guzmán

Inman P. de Guzmán

	2011
j24		Angel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero: Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math. 88(9): 1860-1868 (2011)
c23		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez: Specification and inference of fuzzy attributes. FOCI 2011: 107-114
c22		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez: An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. IWANN (2) 2011: 412-420
	2010
j23		Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco: Analyzing completeness of axiomatic functional systems for temporal × modal logics. Math. Log. Q. 56(1): 89-102 (2010)
	2009
j22		Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math. 86(10&11): 1696-1706 (2009)
c21		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán: A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. IWANN (1) 2009: 261-269
	2008
j21		Pablo Cordero, Angel Mora, Inman P. de Guzmán, Manuel Enciso: Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discrete Applied Mathematics 156(6): 911-923 (2008)
j20		Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math. 85(3&4): 371-383 (2008)
	2006
j19		Angel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán: A new closure algorithm based in logic: SLFD-Closure versus classical closures. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 10(31): 31-40 (2006)
c20		Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco: MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. IBERAMIA-SBIA 2006: 602-611
	2005
j18		Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero: Generalizations of lattices via non-deterministic operators. Discrete Mathematics 295(1-3): 107-141 (2005)
	2004
j17		Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi: Una forma normal temporal independiente del método de deducción. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 8(23): 27-45 (2004)
j16		Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán: A New Algebraic Tool for Automatic Theorem Provers. Ann. Math. Artif. Intell. 42(4): 369-398 (2004)
j15		Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán: Formalization of UML state machines using temporal logic. Software and System Modeling 3(1): 31-54 (2004)
c19		Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero: A/D Case: A New Heart for FD3. ICEIS (1) 2004: 482-490
c18		Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán: A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. SBIA 2004: 31-40
	2003
j14		Alfredo Burrieza, Inman P. de Guzmán: A functional approach for temporal × modal logics. Acta Inf. 39(2): 71-96 (2003)
c17		Angel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán: An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. CAEPIA 2003: 136-146
	2002
j13		Pablo Cordero, Manuel Enciso, Inman P. de Guzmán: Bases for closed sets of implicants and implicates in temporal logic. Acta Inf. 38(9): 599-619 (2002)
j12		Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán: From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Reports on Mathematical Logic 36: 3-53 (2002)
j11		Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira: Preface. Studia Logica 72(1): 3-5 (2002)
j10		Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde: Satisfiability Testing for Boolean Formulas Using Delta-trees. Studia Logica 72(1): 85-112 (2002)
c16		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees in Multiple-Valued Logics. AIMSA 2002: 223-232
c15		Alfredo Burrieza, Inman P. de Guzmán: A Temporal × Modal Approach to the Definability of Properties of Functions. FroCoS 2002: 239-254
c14		Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán: SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150
c13		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA 2002: 161-171
c12		Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME 2002: 146-153
	2001
j9		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reductions for non-clausal theorem proving. Theor. Comput. Sci. 266(1-2): 81-112 (2001)
	2000
j8		Inman P. de Guzmán, Manuel Enciso, Pablo Cordero: A temporal negative normal form which preserves implicants and implicates. Journal of Applied Non-Classical Logics 10(3-4): 243-272 (2000)
c11		David Pearce, Inman P. de Guzmán, Agustín Valverde: Computing Equilibrium Models Using Signed Formulas. Computational Logic 2000: 688-702
c10		Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde: Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA 2000: 179-192
c9		David Pearce, Inman P. de Guzmán, Agustín Valverde: A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367
e1		Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Lecture Notes in Computer Science 1919, Springer 2000, isbn 3-540-41131-3
	1999
j7		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. 27(1-4): 3-23 (1999)
c8		Inman P. de Guzmán, Pablo Cordero, Manuel Enciso: Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA 1999: 193-207
c7		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Multiple-Valued Tableaux with delta-reductions. IC-AI 1999: 177-183
	1998
j6		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Reducing signed propositional formulas. Soft Comput. 2(4): 157-166 (1998)
c6		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323
	1996
c5		Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego: Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE 1996: 561-566
c4		Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: Temporal Reasoning over Linear Discrete Time. JELIA 1996: 303-319
	1995
j5		Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde: A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Acta Inf. 32(1): 61-78 (1995)
j4		Inmaculada Perez de Guzmán, Carlos Rossi: LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches. Logic Journal of the IGPL 3(5): 745-764 (1995)
j3		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego: Increasing the efficiency of automated theorem proving. Journal of Applied Non-Classical Logics 5(1): 9-29 (1995)
	1994
c3		Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: A Temporal Logic for Program Specification. GULP-PRODE (2) 1994: 309-323
c2		Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego: TAS-D++ vs tablas semanticas. GULP-PRODE (2) 1994: 438-439
c1		Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego: TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. JELIA 1994: 198-216
	1993
j2		Inman P. de Guzmán, Peter G. Harrison, E. Medina: Pipelines for Divide-and-Conquer Functions. Comput. J. 36(3): 254-268 (1993)
	1992
j1		Alfredo Burrieza, Inman P. de Guzmán: A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. Journal of Applied Non-Classical Logics 2(2): 181-200 (1992)

Coauthor Index

Colors in the list of coauthors

Last update Fri May 24 09:48:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page