No photo of Ricardo Gonçalves
  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20092020

Research activity per year

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

Search results

  • 2019

    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 contributionpeer-review

    Open Access
    File
    1 Citation (Scopus)
    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 contributionpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • 2017

    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 contributionpeer-review

    Open Access
    4 Citations (Scopus)
  • 2016

    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 contributionpeer-review

    5 Citations (Scopus)
  • Inconsistency Management in Reactive Multi-context Systems

    Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J. & Puehrer, J., 2016, LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016). Michael, L. & Kakas, A. (eds.). Cham: Springer International Publishing, p. 529-535 7 p. (Lecture Notes in Computer Science; vol. 10021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    3 Citations (Scopus)
    3 Downloads (Pure)
  • On Some Properties of Forgetting in ASP

    Gonçalves, R., Knorr, M. & Leite, J., 2016, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16). CEUR-WS.org, Vol. 1626.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • The ultimate guide to forgetting in answer set programming

    Gonçalves, R., Knorr, M. & Leite, J., 2016, Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016. Delgrande, J., Baral, C. & Wolter, F. (eds.). AAAI Press, p. 135-144 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    23 Citations (Scopus)
  • You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming

    Goncalves, R., Knorr, M. & Leite, J., 2016, 22nd European Conference on Artificial Intelligence (ECAI 2016). Kaminka, G. A., Fox, M., Bouquet, P., Hullermeier, E., Dignum, V., Dignum, F. & VanHarmelen, F. (eds.). Amsterdam: IOS Press, p. 957-965 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    18 Citations (Scopus)
  • 2015

    Minimal change in evolving multi-context systems

    Gonçalves, R., Knorr, M. & Leite, J., 2015, EPIA 2015: Progress in Artificial Intelligence. Pereira, F., Machado, P., Costa, E. & Cardoso, A. (eds.). Cham: Springer-Verlag, p. 611-623 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)
  • 2014

    Evolving Bridge Rules in Evolving Multi-Context Systems

    Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 1 Jan 2014, Lecture Notes in Computer Science. Bulling, N., van, D. T. LWN., Villata, S., Jamroga, W. & Vasconcelos, W. (eds.). Springer, Vol. 8624. p. 52-69

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Citations (Scopus)
  • Evolving Multi-Context Systems

    Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 1 Jan 2014, Frontiers in Artificial Intelligence and Applications. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). {IOS} Press, Vol. 263. p. 375--380

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    22 Citations (Scopus)
  • On Efficient Evolving Multi-Context Systems

    Knorr, M., Gonçalves, R. & Leite, J. A. C. P., 2014, PRICAI 2014: Trends in Artificial Intelligence: 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings. Pham, DN. & Park, S. (eds.). Springer International Publishing, p. 284-296 (Lecture Notes in Artificial Intelligence; vol. 8862).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Citations (Scopus)
  • On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)

    Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 2014, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014). Ellmauthaler, S. & Pührer, J. (eds.). Universitat Leipzig, p. 47-53

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Towards Efficient Evolving Multi-Context Systems (Preliminary Report)

    Knorr, M., Gonçalves, R. & Leite, J. A. C. P., 2014, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014). Ellmauthaler, S. & Pührer, J. (eds.). Universitat Leipzig, p. 39-45

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2013

    Decidability and implementation of parametrized logic programs

    Gonçalves, R. & Alferes, J. J., 22 Oct 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. & Son, T. C. (eds.). Berlin, Heidelberg: Springer Verlag, p. 361-373 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • Time is up! - Norms with deadlines in action languages

    Knorr, M., Gabaldon, A., Gonçalves, R., Leite, J. & Slota, M., 30 Oct 2013, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. Leite, J., Son, T. C., Torroni, P., van der Torre, L. & Woltran, S. (eds.). Berlin, Heidelberg: Springer Verlag, p. 223-238 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8143 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)
  • 2012

    An embedding of input-output logic in deontic logic programs

    Gonçalves, R. & Alferes, J. J., 15 Aug 2012, Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings. Ågotnes, T., Broersen, J. & Elgesem, D. (eds.). Berlin, Heidelberg: Springer Verlag, p. 61-75 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7393 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Citations (Scopus)
  • 2011

    Normative systems represented as hybrid knowledge bases

    Alberti, M., Gomes, A. S., Gonçalves, R., Leite, J. & Slota, M., 28 Sep 2011, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings. Leite, J., Torroni, P., Agotnes, T., Boella, G. & VanDerTorre, L. (eds.). Berlin, Heidelberg: Springer-Verlag, p. 330-346 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6814 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    25 Citations (Scopus)
  • Parametrized equilibrium logic

    Gonçalves, R. & Alferes, J. J., 13 May 2011, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. Delgrande, J. P. & Faber, W. (eds.). Springer Verlag, p. 236-241 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6645 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • 2009

    Algebraic valuations as behavioral logical matrices

    Caleiro, C. & Gonçalves, R., 2009, Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Proceedings. Ono, H., Kanazawa, M. & de, Q. R. (eds.). Berlin / Heidelberg: Springer, Vol. 5514/2009. p. 13-25 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5514 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.