31
TITLE: Evolving bridge rules in evolving multi-context systems
AUTHORS: Gonçalves, R; Knorr, M; Leite, J ;
PUBLISHED: 2014, SOURCE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
32
TITLE: Evolving Multi-Context Systems
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: Scopus WOS
IN MY: ORCID
33
TITLE: On Efficient Evolving Multi-Context Systems
AUTHORS: Matthias Knorr; Ricardo Goncalves; Joao Leite;
PUBLISHED: 2014, SOURCE: 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) in PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, VOLUME: 8862
INDEXED IN: Scopus WOS
IN MY: ORCID
34
TITLE: Evolving bridge rules in evolving multi-context systems
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2014, SOURCE: 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8624 LNAI
INDEXED IN: Scopus
IN MY: ORCID
35
TITLE: Abstract Valuation Semantics  Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
36
TITLE: Equivalence of defeasible normative systems
AUTHORS: Alferes, JJ ; Goncalves, R; Leite, J ;
PUBLISHED: 2013, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 23, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
37
TITLE: Non-monotonic Temporal Goals
AUTHORS: Ricardo Goncalves; Matthias Knorr ; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
38
TITLE: Decidability and Implementation of Parametrized Logic Programs
AUTHORS: Ricardo Goncalves; Jose Julio Alferes ;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
39
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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
40
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)
INDEXED IN: Scopus WOS
Page 4 of 6. Total results: 60.