Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
51
TÃTULO: Recommendation via matrix completion using Kolmogorov complexity PDF
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 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP52
TÃTULO: Robust reputation-based ranking on multipartite rating networks PDF
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 arXiv
DBLP arXiv NO MEU: DBLP
DBLP53
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
54
TÃTULO: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: J. Log. Comput., VOLUME: 27, NÚMERO: 7
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: J. Log. Comput., VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP55
TÃTULO: Compositional Meaning in Logic
AUTORES: Carlos Caleiro; Luca Viganò;
PUBLICAÇÃO: 2017, FONTE: Logica Universalis, VOLUME: 11, NÚMERO: 3
AUTORES: Carlos Caleiro; Luca Viganò;
PUBLICAÇÃO: 2017, FONTE: Logica Universalis, VOLUME: 11, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP56
TÃTULO: Decidability and complexity of fibred logics without shared connectives
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2016, FONTE: Logic Journal of the IGPL, VOLUME: 24, NÚMERO: 5
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2016, FONTE: Logic Journal of the IGPL, VOLUME: 24, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP57
TÃTULO: An equation-based classical logic
AUTORES: Mordido, A; Caleiro, C;
PUBLICAÇÃO: 2015, FONTE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
AUTORES: Mordido, A; Caleiro, C;
PUBLICAÇÃO: 2015, FONTE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID58
TÃTULO: An Equation-Based Classical Logic
AUTORES: Andreia Mordido ; Carlos Caleiro;
PUBLICAÇÃO: 2015, FONTE: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, VOLUME: 9160
AUTORES: Andreia Mordido ; Carlos Caleiro;
PUBLICAÇÃO: 2015, FONTE: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, VOLUME: 9160
59
TÃTULO: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2015, FONTE: Theor. Comput. Sci., VOLUME: 603
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2015, FONTE: Theor. Comput. Sci., VOLUME: 603
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP60
TÃTULO: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics PDF
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1408.3775
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1408.3775
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP