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