Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
11
TITLE: Semi-BCI algebras
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
INDEXED IN: 
Scopus
Scopus12
TITLE: Characterizing finite-valuedness
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets Syst., VOLUME: 345
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets Syst., VOLUME: 345
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Plug and Play Negations
AUTHORS: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLISHED: 2018, SOURCE: Trends in Logic, VOLUME: 47
AUTHORS: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLISHED: 2018, SOURCE: Trends in Logic, VOLUME: 47
INDEXED IN: Scopus
Scopus14
TITLE: Reputation-Based Ranking Systems and Their Resistance to Bribery
AUTHORS: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: ICDM
AUTHORS: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: ICDM
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP15
TITLE: Recommendation via matrix completion using Kolmogorov complexity
AUTHORS: Guilherme Ramos; João Saúde; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.06055
AUTHORS: Guilherme Ramos; João Saúde; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.06055
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: Robust reputation-based ranking on multipartite rating networks
AUTHORS: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.00947
AUTHORS: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.00947
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
TITLE: Generalized Probabilistic Satisfiability
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
18
TITLE: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTHORS: Conchinha, B; Basin, DA; Caleiro, C;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Conchinha, B; Basin, DA; Caleiro, C;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: 
WOS DBLP
WOS DBLP IN MY: DBLP
DBLP19
TITLE: Fibring Logics: Past, Present and Future
AUTHORS: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: We Will Show Them! (1)
AUTHORS: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: We Will Show Them! (1)
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP20
TITLE: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTHORS: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2003, SOURCE: J. Log. Lang. Inf., VOLUME: 12, ISSUE: 2
AUTHORS: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2003, SOURCE: J. Log. Lang. Inf., VOLUME: 12, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP