Research output per year
Research output per year
Personal profile
Education/Academic qualification
Mathematics, Doctorate, Instituto Superior Técnico
Award Date: 26 Sep 2008
Fingerprint
Dive into the research topics where Ricardo Gonçalves is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 10 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 1 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 1038-1055 18 p.Research output: Contribution to journal › Article
Open Access1 Citation (Scopus) -
Forgetting in Answer Set Programming with Anonymous Cycles
Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 2019, Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Proceedings. Moura Oliveira, P., Novais, P. & Reis, L. P. (eds.). Cham: Springer, p. 552-565 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11805 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Forgetting in Modular Answer Set Programming
Gonçalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 2019, 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence. AAAI Press, p. 2843-2850 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J. & Pührer, J., 1 Mar 2018, In : Artificial Intelligence. 256, p. 68-104 37 p.Research output: Contribution to journal › Article
Open AccessFile9 Citations (Scopus)9 Downloads (Pure) -
Variable Elimination for DLP-Functions
Gonçalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 2018, p. 643-644. 2 p.Research output: Contribution to conference › Abstract