M. Ojeda Aciego
AuthID: R-006-JJ0
1
TÃTULO: On the notions of residuated-based coherence and bilattice-based consistence
AUTORES: Damasio, CV ; Madrid, N; Ojeda Aciego, M;
PUBLICAÇÃO: 2011, FONTE: 9th International Workshop on Fuzzy Logic and Applications, WILF 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6857 LNAI
AUTORES: Damasio, CV ; Madrid, N; Ojeda Aciego, M;
PUBLICAÇÃO: 2011, FONTE: 9th International Workshop on Fuzzy Logic and Applications, WILF 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6857 LNAI
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: ON FIXED-POINTS OF MULTIVALUED FUNCTIONS ON COMPLETE LATTICES AND THEIR APPLICATION TO GENERALIZED LOGIC PROGRAMS Full Text
AUTORES: Umberto Straccia; Manuel Ojeda Aciego; Carlos V Damasio ;
PUBLICAÇÃO: 2009, FONTE: SIAM JOURNAL ON COMPUTING, VOLUME: 38, NÚMERO: 5
AUTORES: Umberto Straccia; Manuel Ojeda Aciego; Carlos V Damasio ;
PUBLICAÇÃO: 2009, FONTE: SIAM JOURNAL ON COMPUTING, VOLUME: 38, NÚMERO: 5
3
TÃTULO: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
AUTORES: Burrieza, A; Munoz Velasco, E; Ojeda Aciego, M;
PUBLICAÇÃO: 2008, FONTE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
AUTORES: Burrieza, A; Munoz Velasco, E; Ojeda Aciego, M;
PUBLICAÇÃO: 2008, FONTE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
INDEXADO EM: 
WOS
WOS4
TÃTULO: Tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations Full Text
AUTORES: Carlos Viegas Damasio ; Jesus Medina; Manuel Ojeda Aciego;
PUBLICAÇÃO: 2006, FONTE: IEEE International Conference on Fuzzy Systems in 2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5
AUTORES: Carlos Viegas Damasio ; Jesus Medina; Manuel Ojeda Aciego;
PUBLICAÇÃO: 2006, FONTE: IEEE International Conference on Fuzzy Systems in 2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5
