Jaime Penabad - RankMe

24 papers B 1C 2Misc 1Journal 8Unranked 12

Year	Rank	Type	Title / Venue / Authors
2018	B	`conf`	FASILL: Fuzzy Correct Answers and Soundness⋆. FUZZ-IEEE Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
2017	—	`conf`	On Similarity-Based Unfolding. SUM Ginés Moreno, Jaime Penabad, José Antonio Riaza
2017	—	`conf`	Testing properties of fuzzy connectives and truth degrees with the latticemaker tool. SSCI Juan Antonio Guerrero, Felix Mendieta, Ginés Moreno, Jaime Penabad, José Antonio Riaza
2017	J	`jnl`	Thresholded semantic framework for a fully integrated fuzzy logic language. J. Log. Algebraic Methods Program. Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
2016	—	`conf`	A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. RuleML Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
2016	C	`conf`	Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. LOPSTR Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal
2016	J	`jnl`	Tuning Fuzzy Logic Programs with Symbolic Execution. CoRR Ginés Moreno, Jaime Penabad, Germán Vidal
2015	J	`jnl`	Beyond multi-adjoint logic programming. Int. J. Comput. Math. Ginés Moreno, Jaime Penabad, Carlos Vázquez
2014	—	`conf`	A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. PROLE Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
2014	C	`conf`	Fuzzy Logic Rules Modeling Similarity-based Strict Equality. FedCSIS Ginés Moreno, Jaime Penabad, Carlos Vázquez
2014	—	`conf`	Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming. RSCTC Ginés Moreno, Jaime Penabad, Carlos Vázquez
2012	J	`jnl`	Dedekind-MacNeille completion and Cartesian product of multi-adjoint lattices. Int. J. Comput. Math. Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
2012	J	`jnl`	String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ginés Moreno, Pedro J. Morcillo, Jaime Penabad, Carlos Vázquez
2011	—	`conf`	Declarative Traces into Fuzzy Computed Answers. RuleML Europe Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
2011	—	`conf`	Fuzzy Computed Answers Collecting Proof Information. IWANN (2) Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
2010	—	`conf`	A Practical Management of Fuzzy Truth-Degrees Using FLOPER. RuleML Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
2010	Misc	`conf`	Modeling Interpretive Steps into the FLOPER Environment. IC-AI Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
2009	J	`jnl`	An improved reductant calculus using fuzzy partial evaluation techniques. Fuzzy Sets Syst. Pascual Julián, Ginés Moreno, Jaime Penabad
2009	—	`conf`	On the Declarative Semantics of Multi-Adjoint Logic Programs. IWANN (1) Pascual Julián, Ginés Moreno, Jaime Penabad
2007	—	`conf`	Measuring the Interpretive Cost in Fuzzy Logic Computations. WILF Pascual Julián, Ginés Moreno, Jaime Penabad
2006	—	`conf`	Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. PROLE Pascual Julián, Ginés Moreno, Jaime Penabad
2006	J	`jnl`	Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. J. Univers. Comput. Sci. Pascual Julián, Ginés Moreno, Jaime Penabad
2005	J	`jnl`	On fuzzy unfolding: A multi-adjoint approach. Fuzzy Sets Syst. Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
2004	—	`conf`	Unfolding-based Improvements on Fuzzy Logic Programs. PROLE Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad