Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
11
TÃTULO: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTORES: Hugo Albuquerque; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: Bull. Symb. Log., VOLUME: 28, NÚMERO: 4
AUTORES: Hugo Albuquerque; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: Bull. Symb. Log., VOLUME: 28, NÚMERO: 4
INDEXADO EM:
DBLP

NO MEU:
DBLP

12
TÃTULO: Computational properties of finite PNmatrices
AUTORES: Pedro Filipe; Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: J. Log. Comput., VOLUME: 32, NÚMERO: 8
AUTORES: Pedro Filipe; Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: J. Log. Comput., VOLUME: 32, NÚMERO: 8
INDEXADO EM:
DBLP

NO MEU:
DBLP

13
TÃTULO: On the index of convergence of a class of Boolean matrices with structural properties
AUTORES: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro;
PUBLICAÇÃO: 2021, FONTE: Int. J. Control, VOLUME: 94, NÚMERO: 6
AUTORES: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro;
PUBLICAÇÃO: 2021, FONTE: Int. J. Control, VOLUME: 94, NÚMERO: 6
INDEXADO EM:
DBLP

NO MEU:
DBLP

14
TÃTULO: What is a logical theory? On theories containing assertions and denials
AUTORES: Carolina Blasio; Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2021, FONTE: Synth., VOLUME: 198, NÚMERO: 22-S
AUTORES: Carolina Blasio; Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2021, FONTE: Synth., VOLUME: 198, NÚMERO: 22-S
INDEXADO EM:
DBLP

NO MEU:
DBLP

15
TÃTULO: Axiomatizing non-deterministic many-valued generalized consequence relations
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2021, FONTE: Synth., VOLUME: 198, NÚMERO: 22-S
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2021, FONTE: Synth., VOLUME: 198, NÚMERO: 22-S
INDEXADO EM:
DBLP

NO MEU:
DBLP

16
TÃTULO: A Robust Reputation-based Group Ranking System and its Resistance to Bribery PDF
AUTORES: João Saúde; Guilherme Ramos; Ludovico Boratto; Carlos Caleiro;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.06223
AUTORES: João Saúde; Guilherme Ramos; Ludovico Boratto; Carlos Caleiro;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.06223
INDEXADO EM:
DBLP
arXiv


NO MEU:
DBLP

17
TÃTULO: A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity
AUTORES: Guilherme Ramos; Carlos Caleiro;
PUBLICAÇÃO: 2020, FONTE: Bias and Social Aspects in Search and Recommendation - First International Workshop, BIAS 2020, Lisbon, Portugal, April 14, 2020, Proceedings, VOLUME: 1245
AUTORES: Guilherme Ramos; Carlos Caleiro;
PUBLICAÇÃO: 2020, FONTE: Bias and Social Aspects in Search and Recommendation - First International Workshop, BIAS 2020, Lisbon, Portugal, April 14, 2020, Proceedings, VOLUME: 1245
INDEXADO EM:
DBLP

NO MEU:
DBLP

18
TÃTULO: On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms
AUTORES: Guilherme Ramos; Ludovico Boratto; Carlos Caleiro;
PUBLICAÇÃO: 2020, FONTE: Inf. Process. Manag., VOLUME: 57, NÚMERO: 2
AUTORES: Guilherme Ramos; Ludovico Boratto; Carlos Caleiro;
PUBLICAÇÃO: 2020, FONTE: Inf. Process. Manag., VOLUME: 57, NÚMERO: 2
INDEXADO EM:
DBLP

NO MEU:
DBLP

19
TÃTULO: Infectious semantics and analytic calculi for even more inclusion logics
AUTORES: Carlos Caleiro; Sérgio Marcelino; Pedro Filipe;
PUBLICAÇÃO: 2020, FONTE: 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020
AUTORES: Carlos Caleiro; Sérgio Marcelino; Pedro Filipe;
PUBLICAÇÃO: 2020, FONTE: 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020
INDEXADO EM:
DBLP

NO MEU:
DBLP

20
TÃTULO: Semi-BCI Algebras
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM:
WOS
