Carlos Caleiro

42 papers and 229 indexed citations i.

Carlos Caleiro has authored 42 papers that have received a total of 229 indexed citations. This includes 32 papers in Computational Theory and Mathematics, 30 papers in Artificial Intelligence and 11 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (25 papers), Advanced Algebra and Logic (21 papers) and Logic, programming, and type systems (17 papers). Carlos Caleiro is often cited by papers focused on Logic, Reasoning, and Knowledge (25 papers), Advanced Algebra and Logic (21 papers) and Logic, programming, and type systems (17 papers) and collaborates with scholars based in Portugal, Switzerland and Brazil. Carlos Caleiro's co-authors include David Basin, Luca Viganò, João Marcos, Cristina Sernadas and Ricardo Gonçalves and has published in prestigious journals such as Fuzzy Sets and Systems, International Journal of Control and Information Processing & Management.