Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
51
TÃTULO: Decidability and Implementation of Parametrized Logic Programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
52
TÃTULO: Abstract Valuation Semantics
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2013, FONTE: Studia Logica, VOLUME: 101, NÚMERO: 4
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2013, FONTE: Studia Logica, VOLUME: 101, NÚMERO: 4
INDEXADO EM: 
DBLP
DBLP53
TÃTULO: METHODOLOGY FOR CREATING A COMPETENCES CERTIFICATION CORRELATION MATRIX
AUTORES: Ricardo Baptista ; Ricardo Goncalves; Antonio Coelho ; Carlos Vaz de Carvalho;
PUBLICAÇÃO: 2013, FONTE: 6th International Conference on Education, Research and Innovation (ICERI) in 6TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2013)
AUTORES: Ricardo Baptista ; Ricardo Goncalves; Antonio Coelho ; Carlos Vaz de Carvalho;
PUBLICAÇÃO: 2013, FONTE: 6th International Conference on Education, Research and Innovation (ICERI) in 6TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI 2013)
INDEXADO EM: 
WOS
WOS54
TÃTULO: An embedding of input-output logic in deontic logic programs
AUTORES: Goncalves, R; Alferes, JJ ;
PUBLICAÇÃO: 2012, FONTE: 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
AUTORES: Goncalves, R; Alferes, JJ ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID55
TÃTULO: An Embedding of Input-Output Logic in Deontic Logic Programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science - Deontic Logic in Computer Science
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: Lecture Notes in Computer Science - Deontic Logic in Computer Science
56
TÃTULO: Normative Systems Represented as Hybrid Knowledge Bases Full Text
AUTORES: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2011, FONTE: 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
57
TÃTULO: Parametrized Equilibrium Logic Full Text
AUTORES: Ricardo Goncalves; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
AUTORES: Ricardo Goncalves; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: ORCID
ORCID58
TÃTULO: Parametrized Equilibrium Logic
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2011, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2011, FONTE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
59
TÃTULO: Mosquito Surveys and West Nile Virus Screening in Two Different Areas of Southern Portugal, 2004-2007
AUTORES: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLICAÇÃO: 2010, FONTE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, NÚMERO: 7
AUTORES: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLICAÇÃO: 2010, FONTE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, NÚMERO: 7
60
TÃTULO: Parametrized Logic Programming
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2010, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2010, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
