M. Ojeda Aciego
AuthID: R-006-JJ0
1
TITLE: On the notions of residuated-based coherence and bilattice-based consistence
AUTHORS: Damasio, CV ; Madrid, N; Ojeda Aciego, M;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Damasio, CV ; Madrid, N; Ojeda Aciego, M;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: 
Scopus
Scopus2
TITLE: ON FIXED-POINTS OF MULTIVALUED FUNCTIONS ON COMPLETE LATTICES AND THEIR APPLICATION TO GENERALIZED LOGIC PROGRAMS Full Text
AUTHORS: Umberto Straccia; Manuel Ojeda Aciego; Carlos V Damasio ;
PUBLISHED: 2009, SOURCE: SIAM JOURNAL ON COMPUTING, VOLUME: 38, ISSUE: 5
AUTHORS: Umberto Straccia; Manuel Ojeda Aciego; Carlos V Damasio ;
PUBLISHED: 2009, SOURCE: SIAM JOURNAL ON COMPUTING, VOLUME: 38, ISSUE: 5
3
TITLE: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
AUTHORS: Burrieza, A; Munoz Velasco, E; Ojeda Aciego, M;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
AUTHORS: Burrieza, A; Munoz Velasco, E; Ojeda Aciego, M;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
INDEXED IN: 
WOS
WOS4
TITLE: Tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations Full Text
AUTHORS: Carlos Viegas Damasio ; Jesus Medina; Manuel Ojeda Aciego;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Fuzzy Systems in 2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5
AUTHORS: Carlos Viegas Damasio ; Jesus Medina; Manuel Ojeda Aciego;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Fuzzy Systems in 2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5
