Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 70



11
TITLE: A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity
AUTHORS: Guilherme Ramos ; Carlos Caleiro ;
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 BIAS, VOLUME: 1245 CCIS
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
12
TITLE: Infectious semantics and analytic calculi for even more inclusion logics
AUTHORS: Caleiro, C ; Marcelino, S; Filipe, P;
PUBLISHED: 2020, SOURCE: IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) in 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), VOLUME: 2020-November
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
13
TITLE: On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms  Full Text
AUTHORS: Ramos, G ; Boratto, L; Caleiro, C ;
PUBLISHED: 2020, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 57, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
14
TITLE: The robust minimal controllability problem for switched linear continuous-time systems  Full Text
AUTHORS: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro ;
PUBLISHED: 2018, SOURCE: 2018 Annual American Control Conference, ACC 2018 in ACC, VOLUME: 2018-June
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
15
TITLE: Classical Generalized Probabilistic Satisfiability
AUTHORS: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLISHED: 2017, SOURCE: IJCAI
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
16
TITLE: Compositional Meaning in Logic  Full Text
AUTHORS: Caleiro, C ; Vigano, L;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
INDEXED IN: WOS DBLP
17
TITLE: Disjoint Fibring of Non-deterministic Matrices
AUTHORS: Marcelino, S; Caleiro, C ;
PUBLISHED: 2017, SOURCE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, VOLUME: 10388
INDEXED IN: WOS DBLP
18
TITLE: Merging Fragments of Classical Logic
AUTHORS: Caleiro, C ; Marcelino, S; Marcos, J;
PUBLISHED: 2017, SOURCE: 11th International Symposium on Frontiers of Combining Systems (FroCoS) in FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), VOLUME: 10483
INDEXED IN: Scopus WOS DBLP
19
TITLE: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTHORS: Marcelino, S; Caleiro, C ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
20
TITLE: Reputation-based Ranking Systems and their Resistance to Bribery  Full Text
AUTHORS: Saude, J; Ramos, G ; Caleiro, C ; Kar, S;
PUBLISHED: 2017, SOURCE: 17th IEEE International Conference on Data Mining (ICDMW) in 2017 17TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING (ICDM), VOLUME: 2017-November
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
Page 2 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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