Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 73



1
TÍTULO: MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS
AUTORES: Caleiro, Carlos ; Marcelino, Sergio;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 89, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
2
TÍTULO: A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery  Full Text
AUTORES: Saúde, J; Ramos, G; Boratto, L; Caleiro, C ;
PUBLICAÇÃO: 2022, FONTE: ACM Transactions on Knowledge Discovery from Data, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTORES: HUGO ALBUQUERQUE; CARLOS CALEIRO ;
PUBLICAÇÃO: 2022, FONTE: The Bulletin of Symbolic Logic, VOLUME: 28, NÚMERO: 4
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: Computational properties of finite PNmatrices
AUTORES: Filipe, Pedro; Marcelino, Sergio; Caleiro, Carlos ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTORES: Marcelino, S; Caleiro, C ; Filipe, P;
PUBLICAÇÃO: 2022, FONTE: International Symposium on Logical Foundations of Computer Science, LFCS 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13137 LNCS
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: Decidability Preservation and Complexity Bounds for Combined Logics  Full Text
AUTORES: Caleiro, Carlos ; Marcelino, Sergio;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 19
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: Axiomatizing non-deterministic many-valued generalized consequence relations  Full Text
AUTORES: Marcelino, S; Caleiro, C ;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
INDEXADO EM: Scopus WOS CrossRef: 15
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: On Axioms and Rexpansions
AUTORES: Carlos Caleiro ; Sérgio Marcelino;
PUBLICAÇÃO: 2021, FONTE: Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
INDEXADO EM: CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: What is a logical theory? On theories containing assertions and denials  Full Text
AUTORES: Blasio, C; Caleiro, C ; Marcos, J;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: A novel similarity measure for group recommender systems with optimal time complexity
AUTORES: Ramos, G ; Caleiro, C ;
PUBLICAÇÃO: 2020, FONTE: 1st International Workshop on Algorithmic Bias in Search and Recommendation, BIAS 2020, held as part of the 42nd European Conference on Information Retrieval, ECIR 2020 in Communications in Computer and Information Science, VOLUME: 1245 CCIS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 8. Total de resultados: 73.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service