Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 73



1
TITLE: MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS
AUTHORS: Caleiro, Carlos ; Marcelino, Sergio;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 89, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery  Full Text
AUTHORS: Saúde, J; Ramos, G; Boratto, L; Caleiro, C ;
PUBLISHED: 2022, SOURCE: ACM Transactions on Knowledge Discovery from Data, VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTHORS: HUGO ALBUQUERQUE; CARLOS CALEIRO ;
PUBLISHED: 2022, SOURCE: The Bulletin of Symbolic Logic, VOLUME: 28, ISSUE: 4
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: Computational properties of finite PNmatrices
AUTHORS: Filipe, Pedro; Marcelino, Sergio; Caleiro, Carlos ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
5
TITLE: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTHORS: Marcelino, S; Caleiro, C ; Filipe, P;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: Decidability Preservation and Complexity Bounds for Combined Logics  Full Text
AUTHORS: Caleiro, Carlos ; Marcelino, Sergio;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 19
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: Axiomatizing non-deterministic many-valued generalized consequence relations  Full Text
AUTHORS: Marcelino, S; Caleiro, C ;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
INDEXED IN: Scopus WOS CrossRef: 15
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: On Axioms and Rexpansions
AUTHORS: Carlos Caleiro ; Sérgio Marcelino;
PUBLISHED: 2021, SOURCE: Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
INDEXED IN: CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: What is a logical theory? On theories containing assertions and denials  Full Text
AUTHORS: Blasio, C; Caleiro, C ; Marcos, J;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: A novel similarity measure for group recommender systems with optimal time complexity
AUTHORS: Ramos, G ; Caleiro, C ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 8. Total results: 73.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service