مقاله‌های دارای تعهدات انتشار عمومی - Carlos Caleiroبیشتر بدانید
جای دیگری دردسترس نیست: ۶
On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms
G Ramos, L Boratto, C Caleiro
Information Processing & Management 57 (2), 102058, 2020
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Reputation-based ranking systems and their resistance to bribery
J Saúde, G Ramos, C Caleiro, S Kar
2017 IEEE International Conference on Data Mining (ICDM), 1063-1068, 2017
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Computational properties of partial non-deterministic matrices and their logics
S Marcelino, C Caleiro, P Filipe
International Symposium on Logical Foundations of Computer Science, 180-197, 2021
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
A novel similarity measure for group recommender systems with optimal time complexity
G Ramos, C Caleiro
Bias and Social Aspects in Search and Recommendation: First International …, 2020
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
An Abstract Algebraic Logic study of da Costa’s logic and some of its paraconsistent extensions
H Albuquerque, C Caleiro
Bulletin of Symbolic Logic 28 (4), 477-528, 2022
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal, European Commission
On the index of convergence of a class of Boolean matrices with structural properties
G Ramos, S Pequito, C Caleiro
International Journal of Control 94 (6), 1475-1483, 2021
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
جای دیگری دردسترس است: ۲۷
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
C Caleiro, J Marcos, M Volpe
Theoretical Computer Science 603, 84-110, 2015
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Analytic calculi for monadic PNmatrices
C Caleiro, S Marcelino
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Disjoint fibring of non-deterministic matrices
S Marcelino, C Caleiro
International Workshop on Logic, Language, Information, and Computation, 242-255, 2017
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Axiomatizing non-deterministic many-valued generalized consequence relations
S Marcelino, C Caleiro
Synthese 198 (Suppl 22), 5373-5390, 2021
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Characterizing finite-valuedness
C Caleiro, S Marcelino, U Rivieccio
Fuzzy Sets and Systems 345, 113-125, 2018
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
FAST: an efficient decision procedure for deduction and static equivalence
B Conchinha, DA Basin, C Caleiro
22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011
تعهدات: Swiss National Science Foundation
Infectious semantics and analytic calculi for even more inclusion logics
C Caleiro, S Marcelino, P Filipe
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 224-229, 2020
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
On axioms and rexpansions
C Caleiro, S Marcelino
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, 39-69, 2021
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal, European Commission
On the characterization of fibred logics, with applications to conservativity and finite-valuedness
S Marcelino, C Caleiro
Journal of Logic and Computation 27 (7), 2063-2088, 2017
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Decidability and complexity of fibred logics without shared connectives
S Marcelino, C Caleiro
Logic Journal of the IGPL 24 (5), 673-707, 2016
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Generalized probabilistic satisfiability
C Caleiro, F Casal, A Mordido
Electronic Notes in Theoretical Computer Science 332, 39-56, 2017
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
The robust minimal controllability problem for switched linear continuous-time systems
G Ramos, S Pequito, C Caleiro
2018 annual american control conference (ACC), 210-215, 2018
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
What is a logical theory? On theories containing assertions and denials
C Blasio, C Caleiro, J Marcos
Synthese 198 (Suppl 22), 5481-5504, 2021
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
Combining fragments of classical logic: When are interaction principles needed?
C Caleiro, S Marcelino, J Marcos
Soft Computing 23, 2213-2231, 2019
تعهدات: Fundação para a Ciência e a Tecnologia, Portugal
اطلاعات انتشارات و تأمین بودجه به‌طورخودکار توسط برنامه رایانه‌ای تعیین می‌شود.