No photo of Alfredo Gabaldon Royval

Alfredo Gabaldon Royval

  • 68 Citations
  • 4 h-Index
20082013

Research output per year

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

Fingerprint Dive into the research topics where Alfredo Gabaldon Royval is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles

Research Output at NOVA

  • 68 Citations
  • 4 h-Index
  • 7 Conference contribution
  • 1 Chapter
  • 1 Article

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 contribution

  • 1 Citation (Scopus)

    Evolving Logic Programs with Temporal Operators

    Royval, A. G., Leite, J. A. C. P. & Alferes, J. J. A., 1 Jan 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond. Balduccini, M. & Son, T. (eds.). Berlin Heidelberg: Springer, p. 193-212 (LNCS/LNAI; no. 6565).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Making Golog Norm Compliant

    Royval, A. G., 1 Jan 2011, LNAI. Leite, J., Torroni, P., Agotnes, T., Boella, G. & van, D. T. L. (eds.). Springer, Vol. 6814. p. 275-292

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

    Open Access
    5 Citations (Scopus)

    Synthesizing advanced transaction models using the situation calculus

    Royval, A. G., 1 Jan 2010, In : Journal Of Intelligent Information Systems. 35, NA, p. 157-212

    Research output: Contribution to journalArticle

    Open Access
    3 Citations (Scopus)

    Activity Recognition with Intended Actions

    Royval, A. G., 1 Jan 2009, NONE. AAAI Press, p. 1696-1701

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