Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
31
TÃTULO: Combining fragments of classical logic: When are interaction principles needed? PDF
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.05879
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.05879
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP32
TÃTULO: Plug and Play Negations
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
INDEXADO EM: 
Scopus
Scopus33
TÃTULO: Merging Fragments of Classical Logic
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP34
TÃTULO: Reputation-Based Ranking Systems and Their Resistance to Bribery
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Data Mining, ICDM 2017, New Orleans, LA, USA, November 18-21, 2017
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Data Mining, ICDM 2017, New Orleans, LA, USA, November 18-21, 2017
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP35
TÃTULO: Disjoint Fibring of Non-deterministic Matrices
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP36
TÃTULO: Merging fragments of classical logic PDF
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.08689
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.08689
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP37
TÃTULO: Recommendation via matrix completion using Kolmogorov complexity PDF
AUTORES: Guilherme Ramos; João Saúde; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.06055
AUTORES: Guilherme Ramos; João Saúde; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.06055
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP38
TÃTULO: Robust reputation-based ranking on multipartite rating networks PDF
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00947
AUTORES: João Saúde; Guilherme Ramos; Carlos Caleiro; Soummya Kar;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.00947
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP39
TÃTULO: Generalized Probabilistic Satisfiability
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
40
TÃTULO: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: J. Log. Comput., VOLUME: 27, NÚMERO: 7
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: J. Log. Comput., VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP