Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
51
TITLE: METHODOLOGY FOR CREATING A COMPETENCES CERTIFICATION CORRELATION MATRIX
AUTHORS: Ricardo Baptista ; Ricardo Goncalves; Antonio Coelho ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: 6th International Conference on Education, Research and Innovation (ICERI) in 6TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2013)
AUTHORS: Ricardo Baptista ; Ricardo Goncalves; Antonio Coelho ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: 6th International Conference on Education, Research and Innovation (ICERI) in 6TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2013)
INDEXED IN: 
WOS
WOS52
TITLE: An embedding of input-output logic in deontic logic programs
AUTHORS: Goncalves, R; Alferes, JJ ;
PUBLISHED: 2012, SOURCE: 11th International Conference on Deontic Logic in Computer Science, DEON 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7393 LNAI
AUTHORS: Goncalves, R; Alferes, JJ ;
PUBLISHED: 2012, SOURCE: 11th International Conference on Deontic Logic in Computer Science, DEON 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7393 LNAI
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID53
TITLE: An Embedding of Input-Output Logic in Deontic Logic Programs
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science - Deontic Logic in Computer Science
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science - Deontic Logic in Computer Science
54
TITLE: Normative Systems Represented as Hybrid Knowledge Bases Full Text
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
55
TITLE: Parametrized Equilibrium Logic Full Text
AUTHORS: Ricardo Goncalves; Jose Julio Alferes ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
AUTHORS: Ricardo Goncalves; Jose Julio Alferes ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: ORCID
ORCID56
TITLE: Parametrized Equilibrium Logic
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2011, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2011, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
57
TITLE: Mosquito Surveys and West Nile Virus Screening in Two Different Areas of Southern Portugal, 2004-2007
AUTHORS: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLISHED: 2010, SOURCE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, ISSUE: 7
AUTHORS: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLISHED: 2010, SOURCE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, ISSUE: 7
58
TITLE: Parametrized Logic Programming
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
59
TITLE: Behavioral Algebraization of Logics Full Text
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLISHED: 2009, SOURCE: Studia Logica, VOLUME: 91, ISSUE: 1
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLISHED: 2009, SOURCE: Studia Logica, VOLUME: 91, ISSUE: 1
60
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
