Follow
Ricardo Gonçalves
Ricardo Gonçalves
Department of Computer Science - NOVA School of Science and Technology
Verified email at fct.unl.pt - Homepage
Title
Cited by
Cited by
Year
The ultimate guide to forgetting in answer set programming
R Gonçalves, M Knorr, J Leite
Fifteenth International Conference on the Principles of Knowledge …, 2016
462016
Normative systems represented as hybrid knowledge bases
M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota
Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011
422011
Equipollent logical systems
C Caleiro, R Gonçalves
Logica Universalis: Towards a general theory of logic, 97-109, 2007
392007
Evolving Multi-Context Systems.
R Gonçalves, M Knorr, J Leite
ECAI 263, 375-380, 2014
382014
You can't always forget what you want: on the limits of forgetting in answer set programming
R Gonçalves, M Knorr, J Leite
Proceedings of the Twenty-second European Conference on Artificial …, 2016
352016
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
G Brewka, S Ellmauthaler, R Gonçalves, M Knorr, J Leite, J Pührer
Artificial Intelligence 256, 68-104, 2018
262018
Parametrized logic programming
R Gonçalves, JJ Alferes
Logics in Artificial Intelligence: 12th European Conference, JELIA 2010 …, 2010
252010
When you must forget: Beyond strong persistence when forgetting in answer set programming
R Gonçalves, M Knorr, J Leite, S Woltran
Theory and Practice of Logic Programming 17 (5-6), 837-854, 2017
202017
A syntactic operator for forgetting that satisfies strong persistence
M Berthold, R Gonçalves, M Knorr, J Leite
Theory and Practice of Logic Programming 19 (5-6), 1038-1055, 2019
162019
Behavioral algebraization of logics
C Caleiro, R Gonçalves, M Martins
Studia Logica 91, 63-111, 2009
162009
Normative systems require hybrid knowledge bases
M Alberti, M Knorr, AS Gomes, J Leite, R Gonçalves, M Slota
Proceedings of the 11th International Conference on Autonomous Agents and …, 2012
152012
Evolving bridge rules in evolving multi-context systems
R Gonçalves, M Knorr, J Leite
Computational Logic in Multi-Agent Systems: 15th International Workshop …, 2014
142014
Forgetting in modular answer set programming
R Gonçalves, T Janhunen, M Knorr, J Leite, S Woltran
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2843-2850, 2019
112019
An Embedding of Input-Output Logic in Deontic Logic Programs.
R Gonçalves, JJ Alferes
DEON 7393, 61-75, 2012
112012
On the algebraization of many-sorted logics
C Caleiro, R Gonçalves
Recent Trends in Algebraic Development Techniques: 18th International …, 2007
112007
Behavioral algebraization of da Costa's C-systems
C Caleiro, R Gonçalves
Journal of Applied Non-Classical Logics 19 (2), 127-148, 2009
102009
Non-monotonic temporal goals
R Gonçalves, M Knorr, J Leite, M Slota
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
82013
On the limits of forgetting in answer set programming
R Gonçalves, M Knorr, J Leite, S Woltran
Artificial Intelligence 286, 103307, 2020
72020
Forgetting in ASP: the forgotten properties
R Gonçalves, M Knorr, J Leite
Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016
72016
Specifying and reasoning about normative systems in deontic logic programming.
R Gonçalves, JJ Alferes
AAMAS, 1423-1424, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20