No photo of Alfredo Gabaldon Royval

Alfredo Gabaldon Royval

  • 67 Citations
  • 4 h-Index
20082013
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
Logic programming Engineering & Materials Science
Multi agent systems Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Deadline Mathematics
Temporal logic Engineering & Materials Science
Norm Mathematics
Reasoning Mathematics
Language Mathematics

Research Output at NOVA 2008 2013

  • 67 Citations
  • 4 h-Index
  • 7 Conference contribution
  • 1 Chapter
  • 1 Article
1 Citation (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 contribution

Deadline
Norm
Reasoning
Language

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

5 Citations (Scopus)

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
3 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

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