Ricardo Gonçalves
Ricardo Gonçalves
Geverifieerd e-mailadres voor fct.unl.pt - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Normative systems represented as hybrid knowledge bases
M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota
International Workshop on Computational Logic in Multi-Agent Systems, 330-346, 2011
402011
Equipollent logical systems
C Caleiro, R Gonçalves
Logica Universalis, 97-109, 2007
382007
Evolving Multi-Context Systems.
R Gonçalves, M Knorr, J Leite
ECAI 263, 375-380, 2014
372014
The Ultimate Guide to Forgetting in Answer Set Programming.
R Gonçalves, M Knorr, J Leite
KR, 135-144, 2016
312016
Parametrized logic programming
R Gonçalves, JJ Alferes
European Workshop on Logics in Artificial Intelligence, 182-194, 2010
252010
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
192016
Evolving bridge rules in evolving multi-context systems
R Gonçalves, M Knorr, J Leite
International Workshop on Computational Logic and Multi-Agent Systems, 52-69, 2014
152014
Behavioral algebraization of logics
C Caleiro, R Gonçalves, M Martins
Studia Logica 91 (1), 63-111, 2009
142009
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
132018
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
132012
An embedding of input-output logic in deontic logic programs
R Gonçalves, JJ Alferes
International Conference on Deontic Logic in Computer Science, 61-75, 2012
102012
On the algebraization of many-sorted logics
C Caleiro, R Gonçalves
International Workshop on Algebraic Development Techniques, 21-36, 2006
102006
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
92017
Behavioral algebraization of da Costa's C-systems
C Caleiro, R Gonçalves
Journal of Applied Non-Classical Logics 19 (2), 127-148, 2009
92009
Specifying and reasoning about normative systems in deontic logic programming.
R Gonçalves, JJ Alferes
AAMAS, 1423-1424, 2012
62012
Forgetting in ASP: the forgotten properties
R Gonçalves, M Knorr, J Leite
European Conference on Logics in Artificial Intelligence, 543-550, 2016
52016
Abstract valuation semantics
C Caleiro, R Gonçalves
Studia Logica 101 (4), 677-712, 2013
52013
Behavioral algebraization of logics
R Gonçalves
Phd Thesis, Instituto Superior Técnico, Technical University of Lisbon, 2008 …, 2008
52008
An algebraic perspective on valuation semantics
C Caleiro, R Gonçalves
Preprint, SQIG-IT and IST-TU Lisbon, 1049-001, 2008
52008
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
42019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20