Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
31
TITLE: Time is up! - Norms with deadlines in action languages
AUTHORS: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLISHED: 2013, SOURCE: 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
32
TITLE: Active Video Games and Physical Activity in Overweight Children and Adolescents Systematic Review
AUTHORS: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira;
PUBLISHED: 2013, SOURCE: 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)
AUTHORS: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira;
PUBLISHED: 2013, SOURCE: 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)
INDEXED IN: 
Scopus 
WOS
Scopus WOS33
TITLE: Active Video Games in Schools to Enhance Children's Physical Activity A Randomized Controlled Trial Protocol
AUTHORS: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira; Jose Guilherme;
PUBLISHED: 2013, SOURCE: 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)
AUTHORS: Joao do Carmo; Ricardo Goncalves; Rui Batalau; Antonio L Palmeira; Jose Guilherme;
PUBLISHED: 2013, SOURCE: 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)
INDEXED IN: WOS
WOS34
TITLE: Deontic logic programs
AUTHORS: Goncalves, R; Alteres, JJ;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Goncalves, R; Alteres, JJ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID35
TITLE: Time Is Up! - Norms with Deadlines in Action Languages
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXED IN: WOS
WOS36
TITLE: Decidability and Implementation of Parametrized Logic Programs
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2013, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2013, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
37
TITLE: Abstract Valuation Semantics
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2013, SOURCE: Studia Logica, VOLUME: 101, ISSUE: 4
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2013, SOURCE: Studia Logica, VOLUME: 101, ISSUE: 4
INDEXED IN: 
DBLP
DBLP38
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
WOS39
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
ORCID40
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
