Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publications Requiring Validation

1
TITLE: Modular Many-Valued Semantics for combined Logics PDF
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2024, SOURCE: J. Symb. Log., VOLUME: 89, ISSUE: 2
INDEXED IN: DBLP arXiv
IN MY: DBLP
2
TITLE: Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2024, SOURCE: Outstanding Contributions to Logic, VOLUME: 27
INDEXED IN: Scopus
3
TITLE: An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics  Full Text
AUTHORS: Albuquerque, Hugo; Caleiro, Carlos;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Equivalence of finite non-deterministic logical matrices is undecidable
AUTHORS: Carlos Caleiro; Pedro Filipe; Sérgio Marcelino;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.14057
INDEXED IN: DBLP
IN MY: DBLP
5
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
6
TITLE: Some more theorems on structural entailment relations and non-deterministic semantics
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.02952
INDEXED IN: DBLP
IN MY: DBLP
7
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
8
TITLE: A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery
AUTHORS: João Saúde; Guilherme Ramos ; Ludovico Boratto; Carlos Caleiro;
PUBLISHED: 2022, SOURCE: ACM Trans. Knowl. Discov. Data, VOLUME: 16, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
9
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
10
TITLE: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTHORS: Sérgio Marcelino; Carlos Caleiro; Pedro Filipe;
PUBLISHED: 2022, SOURCE: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, VOLUME: 13137
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 10. Total results: 98.

footer slogan

Useful Links

Get Help

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