Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
41
TÃTULO: Non-monotonic Temporal Goals
AUTORES: Ricardo Goncalves; Matthias Knorr ; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
AUTORES: Ricardo Goncalves; Matthias Knorr ; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
42
TÃTULO: Decidability and Implementation of Parametrized Logic Programs
AUTORES: Gonçalves, R; Alferes, JJ ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
AUTORES: Gonçalves, R; Alferes, JJ ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
43
TÃTULO: Time is up! - Norms with deadlines in action languages
AUTORES: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
AUTORES: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
44
TÃTULO: Active Video Games and Physical Activity in Overweight Children and Adolescents Systematic Review
AUTORES: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira ;
PUBLICAÇÃO: 2013, FONTE: IEEE 2nd International Conference on Serious Games and Applications for Health (SeGAH) in 2013 IEEE 2ND INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
AUTORES: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira ;
PUBLICAÇÃO: 2013, FONTE: IEEE 2nd International Conference on Serious Games and Applications for Health (SeGAH) in 2013 IEEE 2ND INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
INDEXADO EM: 
Scopus 
WOS
Scopus WOS45
TÃTULO: Active Video Games in Schools to Enhance Children's Physical Activity A Randomized Controlled Trial Protocol
AUTORES: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira; Jose Guilherme;
PUBLICAÇÃO: 2013, FONTE: IEEE 2nd International Conference on Serious Games and Applications for Health (SeGAH) in 2013 IEEE 2ND INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
AUTORES: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira; Jose Guilherme;
PUBLICAÇÃO: 2013, FONTE: IEEE 2nd International Conference on Serious Games and Applications for Health (SeGAH) in 2013 IEEE 2ND INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
INDEXADO EM: WOS
WOS46
TÃTULO: Deontic logic programs
AUTORES: Goncalves, R; Alteres, JJ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 in 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, VOLUME: 2
AUTORES: Goncalves, R; Alteres, JJ;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013 in 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013, VOLUME: 2
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID47
TÃTULO: Time Is Up! - Norms with Deadlines in Action Languages
AUTORES: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
AUTORES: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXADO EM: WOS
WOS48
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
WOS49
TÃTULO: An Embedding of Input-Output Logic in Deontic Logic Programs
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: DEON, VOLUME: 7393 LNAI
AUTORES: Ricardo Gonçalves; José Júlio Alferes ;
PUBLICAÇÃO: 2012, FONTE: DEON, VOLUME: 7393 LNAI
50
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
