Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 72



11
TITLE: On the index of convergence of a class of Boolean matrices with structural properties
AUTHORS: Ramos, G ; Pequito, S; Caleiro, C ;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF CONTROL, VOLUME: 94, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
12
TITLE: What is a logical theory? On theories containing assertions and denials
AUTHORS: Blasio, C; Caleiro, C ; Marcos, J;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
13
TITLE: A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity
AUTHORS: Guilherme Ramos ; Carlos Caleiro ;
PUBLISHED: 2020, SOURCE: BIAS, VOLUME: 1245 CCIS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP
14
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: 10
IN MY: DBLP
15
TITLE: On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms
AUTHORS: Ramos, G ; Boratto, L; Caleiro, C ;
PUBLISHED: 2020, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 57, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 39
IN MY: DBLP
16
TITLE: The robust minimal controllability problem for switched linear continuous-time systems
AUTHORS: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro ;
PUBLISHED: 2018, SOURCE: ACC, VOLUME: 2018-June
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP
17
TITLE: Classical Generalized Probabilistic Satisfiability
AUTHORS: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLISHED: 2017, SOURCE: IJCAI
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
18
TITLE: Compositional Meaning in Logic
AUTHORS: Caleiro, C ; Viganò, L;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
INDEXED IN: WOS DBLP
IN MY: DBLP
19
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, VOLUME: 10388
INDEXED IN: WOS DBLP
IN MY: DBLP
20
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
IN MY: DBLP
Page 2 of 8. Total results: 72.

footer slogan

Useful Links

Get Help

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