No photo of Ricardo Gonçalves
  • 156 Citations
  • 8 h-Index
20112019

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

Research Output at NOVA

  • 156 Citations
  • 8 h-Index
  • 19 Conference contribution
  • 6 Article
  • 2 Abstract
  • 1 Paper

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 journalArticle

Open Access
  • 1 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 proceedingConference contribution

    Open Access
    File
  • 2 Downloads (Pure)

    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 proceedingConference contribution

    Open Access
    File
  • 3 Downloads (Pure)

    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 journalArticle

    Open Access
    File
  • 8 Citations (Scopus)
    4 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 conferenceAbstract