Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 70



21
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
IN MY: DBLP
22
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
23
TITLE: Decidability and complexity of fibred logics without shared connectives
AUTHORS: Marcelino, S; Caleiro, C ;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: DBLP
24
TITLE: An Equation-Based Classical Logic
AUTHORS: Mordido, A ; Caleiro, C ;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, VOLUME: 9160
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
25
TITLE: An equation-based classical logic
AUTHORS: Andreia Mordido; Carlos Caleiro ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, VOLUME: 9160
INDEXED IN: Scopus
26
TITLE: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
AUTHORS: Caleiro, C ; Marcos, J; Volpe, M;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 603
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: DBLP
27
TITLE: A Labeled Deduction System for the Logic UB
AUTHORS: Caleiro, C ; Viganò, L; Volpe, M;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP
28
TITLE: Abstract Valuation Semantics
AUTHORS: Caleiro, C ; Gonçalves, R;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
29
TITLE: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators  Full Text
AUTHORS: Carlos Caleiro ; Luca Viganò; Marco Volpe;
PUBLISHED: 2013, SOURCE: Logica Universalis, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
30
TITLE: Symbolic Probabilistic Analysis of Off-Line Guessing
AUTHORS: Bruno Conchinha; David A Basin; Carlos Caleiro ;
PUBLISHED: 2013, SOURCE: ESORICS, VOLUME: 8134 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
Page 3 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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