Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
1
TITLE: Labelled proof systems for existential reasoning Full Text
AUTHORS: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL
AUTHORS: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL
2
TITLE: Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics Full Text
AUTHORS: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA
AUTHORS: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA
3
TITLE: Bounded model checking distributed temporal logic
AUTHORS: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, ISSUE: 5
AUTHORS: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, ISSUE: 5
5
TITLE: Event-Based Time-Stamped Claim Logic
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
6
TITLE: Violence detection in video game metadata using ConvLSTM
AUTHORS: Correia, HA; Brito, JH;
PUBLISHED: 2021, SOURCE: 9th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2021 in SeGAH 2021 - 2021 IEEE 9th International Conference on Serious Games and Applications for Health
AUTHORS: Correia, HA; Brito, JH;
PUBLISHED: 2021, SOURCE: 9th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2021 in SeGAH 2021 - 2021 IEEE 9th International Conference on Serious Games and Applications for Health
INDEXED IN: 
Scopus
Scopus7
TITLE: Schema Complexity in Propositional-Based Logics Full Text
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
8
TITLE: Consumer expectations at Caldas da Felgueira Termas & SPA: An overview (1999-2017) [As expectativas dos consumidores das Caldas da Felgueira: Uma análise temporal (1999-2017)]
AUTHORS: Ramos, AB; de Carvalho, CSM; Antunes, J;
PUBLISHED: 2021, SOURCE: Journal of Tourism and Development, VOLUME: 36, ISSUE: 2
AUTHORS: Ramos, AB; de Carvalho, CSM; Antunes, J;
PUBLISHED: 2021, SOURCE: Journal of Tourism and Development, VOLUME: 36, ISSUE: 2
INDEXED IN: Scopus
Scopus10
TITLE: The robust minimal controllability problem Full Text
AUTHORS: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos;
PUBLISHED: 2017, SOURCE: AUTOMATICA, VOLUME: 82
AUTHORS: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos;
PUBLISHED: 2017, SOURCE: AUTOMATICA, VOLUME: 82
