Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
21
TITLE: Inconsistency Management in Reactive Multi-context Systems
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gon Calves; Matthias Knorr; Joao Leite; Joerg Puehrer;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gon Calves; Matthias Knorr; Joao Leite; Joerg Puehrer;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXED IN: 
WOS
WOS22
TITLE: Forgetting in ASP: The Forgotten Properties
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXED IN: WOS
WOS23
TITLE: Minimal Change in Evolving Multi-Context Systems
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273
INDEXED IN: WOS
WOS24
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
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
Scopus CrossRef25
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
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
Scopus WOS26
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
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
Scopus IN MY: 
ORCID
ORCID27
TITLE: Abstract Valuation Semantics Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 4
28
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
AUTHORS: Alferes, JJ ; Goncalves, R; Leite, J ;
PUBLISHED: 2013, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 23, ISSUE: 1-2
29
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
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
30
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
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
Scopus WOS DBLP IN MY: ORCID
ORCID