Inman P. de Guzmán

Publication Activity (10 Years)

Years Active: 1992-2009
Publications (10 Years): 0

Publications

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) (2009)
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) (2008)
Pablo Cordero, Angel Mora, Inman P. de Guzmán, Manuel Enciso
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discret. Appl. Math. 156 (6) (2008)
Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
A/D Case: A New Heart for FD3. ICEIS (1) (2004)
Alfredo Burrieza, Inman P. de Guzmán
A functional approach for temporal × modal logics. Acta Informatica 39 (2) (2003)
Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán
Restricted ideals and the groupability property. Tools for temporal reasoning. Kybernetika 39 (5) (2003)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Restricted Delta-Trees in Multiple-Valued Logics. AIMSA (2002)
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME (2002)
Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira
Preface. Stud Logica 72 (1) (2002)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA (2002)
Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán
Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA (2002)
Alfredo Burrieza, Inman P. de Guzmán
A Temporal × Modal Approach to the Definability of Properties of Functions. FroCoS (2002)
Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
Bases for closed sets of implicants and implicates in temporal logic. Acta Informatica 38 (9) (2002)
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. Stud Logica 72 (1) (2002)
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) (2001)
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)
David Pearce, Inman P. de Guzmán, Agustín Valverde
Computing Equilibrium Models Using Signed Formulas. Computational Logic (2000)
David Pearce, Inman P. de Guzmán, Agustín Valverde
A Tableau Calculus for Equilibrium Entailment. TABLEAUX (2000)
Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
A temporal negative normal form which preserves implicants and implicates. J. Appl. Non Class. Logics 10 (3-4) (2000)
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) (1999)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Multiple-Valued Tableaux with delta-reductions. IC-AI (1999)
Inman P. de Guzmán, Pablo Cordero, Manuel Enciso
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA (1999)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Reducing signed propositional formulas. Soft Comput. 2 (4) (1998)
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Implicates and Reduction Techniques for Temporal Logics. JELIA (1998)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
Temporal Reasoning over Linear Discrete Time. JELIA (1996)
Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE (1996)
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 Informatica 32 (1) (1995)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
Increasing the efficiency of automated theorem proving. J. Appl. Non Class. Logics 5 (1) (1995)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
A Temporal Logic for Program Specification. GULP-PRODE (2) (1994)
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
: Syntactic Trees Transformations for Automated Theorem Proving. JELIA (1994)
Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego
TAS-D++ vs tablas semanticas. GULP-PRODE (2) (1994)
Inman P. de Guzmán, Peter G. Harrison, E. Medina
Pipelines for Divide-and-Conquer Functions. Comput. J. 36 (3) (1993)
Alfredo Burrieza, Inman P. de Guzmán
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. J. Appl. Non Class. Logics 2 (2) (1992)