Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
11
TÃTULO: Semi-BCI algebras
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: 
Scopus
Scopus12
TÃTULO: Characterizing finite-valuedness
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2018, FONTE: Fuzzy Sets Syst., VOLUME: 345
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2018, FONTE: Fuzzy Sets Syst., VOLUME: 345
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Plug and Play Negations
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
INDEXADO EM: Scopus
Scopus14
TÃTULO: Reputation-Based Ranking Systems and Their Resistance to Bribery
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: ICDM
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: ICDM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP15
TÃTULO: Recommendation via matrix completion using Kolmogorov complexity
AUTORES: Guilherme Ramos; João Saúde; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.06055
AUTORES: Guilherme Ramos; João Saúde; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.06055
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP16
TÃTULO: Robust reputation-based ranking on multipartite rating networks
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00947
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00947
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP17
TÃTULO: Generalized Probabilistic Satisfiability
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
18
TÃTULO: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTORES: Conchinha, B; Basin, DA; Caleiro, C;
PUBLICAÇÃO: 2011, FONTE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
AUTORES: Conchinha, B; Basin, DA; Caleiro, C;
PUBLICAÇÃO: 2011, FONTE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
INDEXADO EM: 
WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP19
TÃTULO: Fibring Logics: Past, Present and Future
AUTORES: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: We Will Show Them! (1)
AUTORES: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: We Will Show Them! (1)
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP20
TÃTULO: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: J. Log. Lang. Inf., VOLUME: 12, NÚMERO: 2
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: J. Log. Lang. Inf., VOLUME: 12, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP