João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
22
TITLE: An Integrated System for Geophysical Navigation of Autonomous Underwater Vehicles
AUTHORS: Joao Quintas; Francisco Curado Teixeira; Antonio Pascoal;
PUBLISHED: 2018, SOURCE: 11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles (CAMS) in IFAC PAPERSONLINE, VOLUME: 51, ISSUE: 29
AUTHORS: Joao Quintas; Francisco Curado Teixeira; Antonio Pascoal;
PUBLISHED: 2018, SOURCE: 11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles (CAMS) in IFAC PAPERSONLINE, VOLUME: 51, ISSUE: 29
24
TITLE: On probability and logic
AUTHORS: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLISHED: 2017, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 74, ISSUE: 4
AUTHORS: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLISHED: 2017, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 74, ISSUE: 4
25
TITLE: Decision and optimization problems in the unreliable-circuit logic Full Text
AUTHORS: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLISHED: 2017, SOURCE: Logic Journal of the IGPL, VOLUME: 25, ISSUE: 3
AUTHORS: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLISHED: 2017, SOURCE: Logic Journal of the IGPL, VOLUME: 25, ISSUE: 3
26
TITLE: PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS Full Text
AUTHORS: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLISHED: 2016, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, ISSUE: 4
AUTHORS: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLISHED: 2016, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, ISSUE: 4
27
TITLE: A Roadmap to Decidability
AUTHORS: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 2015, SOURCE: Studies in Universal Logic - The Road to Universal Logic
AUTHORS: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 2015, SOURCE: Studies in Universal Logic - The Road to Universal Logic
28
TITLE: Approximate reasoning about logic circuits with single-fan-out unreliable gates
AUTHORS: Sernadas, A ; Rasga, J; Sernadas, C ; Mateus, P;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 5
AUTHORS: Sernadas, A ; Rasga, J; Sernadas, C ; Mateus, P;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 5
IN MY: 
ORCID | 
ResearcherID
ORCID | ResearcherID29
TITLE: Fibring as Biporting Subsumes Asymmetric Combinations Full Text
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2014, SOURCE: STUDIA LOGICA, VOLUME: 102, ISSUE: 5
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2014, SOURCE: STUDIA LOGICA, VOLUME: 102, ISSUE: 5
IN MY: ORCID | ResearcherID
ORCID | ResearcherID30
TITLE: Craig Interpolation in the Presence of Unreliable Connectives Full Text
AUTHORS: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLISHED: 2014, SOURCE: Logica Universalis, VOLUME: 8, ISSUE: 3-4
AUTHORS: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLISHED: 2014, SOURCE: Logica Universalis, VOLUME: 8, ISSUE: 3-4
