• 98 Citations
  • 5 h-Index
20112018
If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Mathematics, Doctorate, Instituto Superior Técnico

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.

  • 11 Similar Profiles
Semantics Engineering & Materials Science
Logic programming Engineering & Materials Science
Answer Set Programming Mathematics
Logic Programs Mathematics
Deontic Logic Mathematics
Logic Mathematics
Ontology Engineering & Materials Science
Operator Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output at NOVA 2011 2018

  • 98 Citations
  • 5 h-Index
  • 17 Conference contribution
  • 5 Article
  • 2 Abstract
  • 1 Paper
4 Citations (Scopus)

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

Knowledge representation
Computational complexity
Semantics
knowledge
semantics

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

persistence
programme
2 Citations (Scopus)

Iterative variable elimination in ASP

Knorr, M., Gonçalves, R. & Leite, J., 2017, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Proceedings. Springer Verlag, Vol. 10423 LNAI. p. 643-656 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10423 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Answer Set Programming
Invariance
Elimination
Atoms
Operator
2 Citations (Scopus)

When you must forget: Beyond strong persistence when forgetting in answer set programming

Gonçalves, R., Knorr, M., Leite, J. & Woltran, S., 1 Sep 2017, In : Theory and Practice of Logic Programming. 17, 5-6, p. 837-854 18 p.

Research output: Contribution to journalArticle

Answer Set Programming
Persistence
Atoms
Computational complexity
Computational Complexity
3 Citations (Scopus)

Forgetting in ASP: The Forgotten Properties

Goncalves, R., Knorr, M. & Leite, J., 2016, LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016). Michael, L. & Kakas, A. (eds.). Cham: Springer International Publishing, p. 543-550 (Lecture Notes in Computer Science; vol. 10021).

Research output: Chapter in Book/Report/Conference proceedingConference contribution