Carlos Caleiro

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 37

Top Topics

Computational Properties

Negative Impact

Revision Operators

Classical Logic

Top Venues

Theor. Comput. Sci.

Publications

Carlos Caleiro, Sérgio Marcelino
Modular Many-Valued Semantics for combined Logics. J. Symb. Log. 89 (2) (2024)
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
Some more theorems on structural entailment relations and non-deterministic semantics. CoRR (2023)
Pedro Filipe, Carlos Caleiro, Sérgio Marcelino
Monadicity of Non-deterministic Logical Matrices is Undecidable. NCL (2022)
Sérgio Marcelino, Carlos Caleiro, Pedro Filipe
Computational Properties of Partial Non-deterministic Matrices and Their Logics. LFCS (2022)
Carlos Caleiro, Sérgio Marcelino
Modular many-valued semantics for combined logics. CoRR (2022)
Hugo Albuquerque, Carlos Caleiro
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS. Bull. Symb. Log. 28 (4) (2022)
João Saúde, Guilherme Ramos, Ludovico Boratto, Carlos Caleiro
A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery. ACM Trans. Knowl. Discov. Data 16 (2) (2022)
Pedro Filipe, Sérgio Marcelino, Carlos Caleiro
Computational properties of finite PNmatrices. J. Log. Comput. 32 (8) (2022)
Carolina Blasio, Carlos Caleiro, João Marcos
What is a logical theory? On theories containing assertions and denials. Synth. 198 (22-S) (2021)
Sérgio Marcelino, Carlos Caleiro
Axiomatizing non-deterministic many-valued generalized consequence relations. Synth. 198 (22-S) (2021)
Guilherme Ramos, Sérgio Pequito, Carlos Caleiro
On the index of convergence of a class of Boolean matrices with structural properties. Int. J. Control 94 (6) (2021)
Carlos Caleiro, Sérgio Marcelino, Pedro Filipe
Infectious semantics and analytic calculi for even more inclusion logics. ISMVL (2020)
Guilherme Ramos, Carlos Caleiro
A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity. BIAS (2020)
João Saúde, Guilherme Ramos, Ludovico Boratto, Carlos Caleiro
A Robust Reputation-based Group Ranking System and its Resistance to Bribery. CoRR (2020)
Guilherme Ramos, Ludovico Boratto, Carlos Caleiro
On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms. Inf. Process. Manag. 57 (2) (2020)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. Theor. Comput. Sci. 781 (2019)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
Semi-BCI Algebras. J. Multiple Valued Log. Soft Comput. 32 (1-2) (2019)
Carlos Caleiro, Sérgio Marcelino
Analytic Calculi for Monadic PNmatrices. WoLLIC (2019)
Andreia Mordido, Carlos Caleiro
Probabilistic logic over equations and domain restrictions. Math. Struct. Comput. Sci. 29 (6) (2019)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Combining fragments of classical logic: When are interaction principles needed? Soft Comput. 23 (7) (2019)
Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
Semi-BCI Algebras. CoRR (2018)
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
Characterizing finite-valuedness. Fuzzy Sets Syst. 345 (2018)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Combining fragments of classical logic: When are interaction principles needed? CoRR (2018)
Guilherme Ramos, Sérgio Pequito, Carlos Caleiro
The robust minimal controllability problem for switched linear continuous-time systems. ACC (2018)
Sérgio Marcelino, Carlos Caleiro
On the characterization of fibred logics, with applications to conservativity and finite-valuedness. J. Log. Comput. 27 (7) (2017)
Sérgio Marcelino, Carlos Caleiro
Disjoint Fibring of Non-deterministic Matrices. WoLLIC (2017)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Merging Fragments of Classical Logic. FroCoS (2017)
Carlos Caleiro, Luca Viganò
Compositional Meaning in Logic. Logica Universalis 11 (3) (2017)
Guilherme Ramos, João Saúde, Carlos Caleiro, Soummya Kar
Recommendation via matrix completion using Kolmogorov complexity. CoRR (2017)
Carlos Caleiro, Sérgio Marcelino, João Marcos
Merging fragments of classical logic. CoRR (2017)
João Saúde, Guilherme Ramos, Carlos Caleiro, Soummya Kar
Reputation-Based Ranking Systems and Their Resistance to Bribery. ICDM (2017)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Classical Generalized Probabilistic Satisfiability. IJCAI (2017)
João Saúde, Guilherme Ramos, Carlos Caleiro, Soummya Kar
Robust reputation-based ranking on multipartite rating networks. CoRR (2017)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Generalized Probabilistic Satisfiability. LSFA (2016)
Sérgio Marcelino, Carlos Caleiro
Decidability and complexity of fibred logics without shared connectives. Log. J. IGPL 24 (5) (2016)
Andreia Mordido, Carlos Caleiro
An Equation-Based Classical Logic. WoLLIC (2015)
Carlos Caleiro, João Marcos, Marco Volpe
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theor. Comput. Sci. 603 (2015)
Carlos Caleiro, João Marcos, Marco Volpe
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. CoRR (2014)
Carlos Caleiro, Luca Viganò, Marco Volpe
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis 7 (1) (2013)
Carlos Caleiro, Ricardo Gonçalves
Abstract Valuation Semantics. Stud Logica 101 (4) (2013)
Bruno Conchinha, David A. Basin, Carlos Caleiro
Symbolic Probabilistic Analysis of Off-Line Guessing. ESORICS (2013)
Carlos Caleiro, Luca Viganò, Marco Volpe
A Labeled Deduction System for the Logic UB. TIME (2013)
Marco Volpe, João Marcos, Carlos Caleiro
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. WoLLIC (2012)
Carlos Caleiro, João Marcos
Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay. J. Multiple Valued Log. Soft Comput. 19 (1-3) (2012)
Bruno Conchinha, David A. Basin, Carlos Caleiro
FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. RTA (2011)
Carlos Caleiro, Paula Gouveia, Jaime Ramos
Hierarchical logical consequence. Log. J. IGPL 19 (4) (2011)
David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412 (31) (2011)
Carlos Caleiro, Ricardo Gonçalves
Towards a Behavioral Algebraic Theory of Logical Valuations. Fundam. Informaticae 106 (2-4) (2011)
Carlos Caleiro, João Marcos
Two Many Values: An Algorithmic Outlook on Suszko's Thesis. ISMVL (2010)
Bruno Conchinha, David A. Basin, Carlos Caleiro
Efficient Decision Procedures for Message Deducibility and Static Equivalence. Formal Aspects in Security and Trust (2010)
David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. 19 (6) (2009)
Carlos Caleiro, Ricardo Gonçalves
Behavioral algebraization of da Costa's C-systems. J. Appl. Non Class. Logics 19 (2) (2009)
Bruno Montalto, Carlos Caleiro
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Carlos Caleiro, Ricardo Gonçalves
Algebraic Valuations as Behavioral Logical Matrices. WoLLIC (2009)
Carlos Caleiro, João Marcos
Classic-Like Analytic Tableaux for Finite-Valued Logics. WoLLIC (2009)
Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins
Behavioral Algebraization of Logics. Stud Logica 91 (1) (2009)
David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME (2008)
Carlos Caleiro, Jaime Ramos
Combining Classical and Intuitionistic Implications. FroCoS (2007)
Carlos Caleiro, Jaime Ramos
From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1 (1) (2007)
Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Quantum Institutions. Essays Dedicated to Joseph A. Goguen (2006)
Carlos Caleiro, Luca Viganò, David A. Basin
On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci. 367 (1-2) (2006)
Carlos Caleiro, Ricardo Gonçalves
On the Algebraization of Many-Sorted Logics. WADT (2006)
Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
Fibring Logics: Past, Present and Future. We Will Show Them! (1) (2005)
Carlos Caleiro, Luca Viganò, David A. Basin
Deconstructing Alice and Bob. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)
Carlos Caleiro, Luca Viganò, David A. Basin
Metareasoning about Security Protocols using Distributed Temporal Logic. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
Carlos Caleiro, Luca Viganò, David A. Basin
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Log. J. IGPL 13 (6) (2005)
Carlos Caleiro, Jaime Ramos
Cryptomorphisms at Work. WADT (2004)
Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. 12 (2) (2003)
Carlos Caleiro, Paula Gouveia, Jaime Ramos
Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT (2002)
Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
Combining Logics: Parchments Revisited. WADT (2001)
Hans-Dieter Ehrich, Carlos Caleiro
Specifying Communication in Distributed Information Systems. Acta Informatica 36 (8) (2000)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Fibring of Logics as a Categorial Construction. J. Log. Comput. 9 (2) (1999)
Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
Parameterisation of Logics. WADT (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski
Categorial Fibring of Logics with Terms and Binding Operators. FroCoS (1998)
Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Denotational Semantics of Object Specification. Acta Informatica 35 (9) (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST (1997)
Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
A Linear Temporal Logic Approach to Objects with Transactions. AMAST (1997)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Synchronization of Logics. Stud Logica 59 (1) (1997)
Carlos Caleiro, Gunter Saake, Amílcar Sernadas
Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. 22 (5/6) (1996)