Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 55



1
TITLE: Classical Generalized Probabilistic Satisfiability
AUTHORS: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLISHED: 2017, SOURCE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
2
TITLE: Compositional Meaning in Logic  Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
INDEXED IN: WOS
3
TITLE: Disjoint Fibring of Non-deterministic Matrices
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2017, SOURCE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, VOLUME: 10388
INDEXED IN: WOS
4
TITLE: Merging Fragments of Classical Logic
AUTHORS: Caleiro, C ; Marcelino, S; Marcos, J;
PUBLISHED: 2017, SOURCE: 11th International Symposium on Frontiers of Combining Systems (FroCoS) in FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), VOLUME: 10483
INDEXED IN: Scopus WOS
5
TITLE: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 7
INDEXED IN: Scopus WOS
6
TITLE: Reputation-based Ranking Systems and their Resistance to Bribery  Full Text
AUTHORS: Saude, J; Ramos, G ; Caleiro, C ; Kar, S;
PUBLISHED: 2017, SOURCE: 17th IEEE International Conference on Data Mining (ICDMW) in 2017 17TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING (ICDM), VOLUME: 2017-November
INDEXED IN: Scopus WOS CrossRef: 4
7
TITLE: Decidability and complexity of fibred logics without shared connectives  Full Text
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
8
TITLE: An Equation-Based Classical Logic
AUTHORS: Andreia Mordido; Carlos Caleiro ;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015, VOLUME: 9160
INDEXED IN: Scopus WOS
9
TITLE: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics  Full Text
AUTHORS: Carlos Caleiro ; Joao Marcos; Marco Volpe;
PUBLISHED: 2015, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 603
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: A Labeled Deduction System for the Logic UB  Full Text
AUTHORS: Carlos Caleiro ; Luca Vigano; Marco Volpe;
PUBLISHED: 2013, SOURCE: 20th International Symposium on Temporal Representation and Reasoning (TIME) in 2013 20th International Symposium on Temporal Representation and Reasoning (TIME)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 6. Total results: 55.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service