Inman P. de Guzmán

34 papers B 6C 1Misc 3Journal 16Unranked 8

Year	Rank	Type	Title / Venue / Authors
2009	J	`jnl`	Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math. Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
2008	J	`jnl`	Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math. Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
2008	J	`jnl`	Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discret. Appl. Math. Pablo Cordero, Ángel Mora, Inman P. de Guzmán, Manuel Enciso
2004	—	`conf`	A/D Case: A New Heart for FD3. ICEIS (1) Ángel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
2003	J	`jnl`	A functional approach for temporal × modal logics. Acta Informatica Alfredo Burrieza, Inman P. de Guzmán
2003	J	`jnl`	Restricted ideals and the groupability property. Tools for temporal reasoning. Kybernetika Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán
2002	—	`conf`	A Temporal × Modal Approach to the Definability of Properties of Functions. FroCoS Alfredo Burrieza, Inman P. de Guzmán
2002	J	`jnl`	Bases for closed sets of implicants and implicates in temporal logic. Acta Informatica Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
2002	C	`conf`	Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
2002	J	`jnl`	Preface. Stud Logica Manuel Ojeda-Aciego, Gerhard Brewka, Inman P. de Guzmán, Luís Moniz Pereira
2002	—	`conf`	Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2002	Misc	`conf`	Restricted Delta-Trees in Multiple-Valued Logics. AIMSA Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2002	—	`conf`	SL IBERAMIA Pablo Cordero, Manuel Enciso, Ángel Mora, Inman P. de Guzmán
2002	J	`jnl`	Satisfiability Testing for Boolean Formulas Using Delta-trees. Stud Logica Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
2001	J	`jnl`	Reductions for non-clausal theorem proving. Theor. Comput. Sci. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
2000	B	`conf`	A Tableau Calculus for Equilibrium Entailment. TABLEAUX David Pearce, Inman P. de Guzmán, Agustín Valverde
2000	J	`jnl`	A temporal negative normal form which preserves implicants and implicates. J. Appl. Non Class. Logics Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
2000	—	`conf`	Computing Equilibrium Models Using Signed Formulas. Computational Logic David Pearce, Inman P. de Guzmán, Agustín Valverde
2000	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings JELIA Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira
2000	B	`conf`	Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
1999	J	`jnl`	Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1999	Misc	`conf`	Multiple-Valued Tableaux with delta-reductions. IC-AI Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1999	Misc	`conf`	Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA Inman P. de Guzmán, Pablo Cordero, Manuel Enciso
1998	B	`conf`	Implicates and Reduction Techniques for Temporal Logics. JELIA Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1998	J	`jnl`	Reducing signed propositional formulas. Soft Comput. Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1996	—	`conf`	Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
1996	B	`conf`	Temporal Reasoning over Linear Discrete Time. JELIA Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
1995	J	`jnl`	A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Acta Informatica Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1995	J	`jnl`	Increasing the efficiency of automated theorem proving. J. Appl. Non Class. Logics Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
1994	—	`conf`	A Temporal Logic for Program Specification. GULP-PRODE (2) Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
1994	B	`conf`	TAS-D JELIA Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
1994	—	`conf`	TAS-D++ vs tablas semanticas. GULP-PRODE (2) Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego
1993	J	`jnl`	Pipelines for Divide-and-Conquer Functions. Comput. J. Inman P. de Guzmán, Peter G. Harrison, E. Medina
1992	J	`jnl`	A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. J. Appl. Non Class. Logics Alfredo Burrieza, Inman P. de Guzmán