Ana Sofia Leal Gomes

  • Departamento de Informática
    Faculdade de Ciências e Tecnologia/UNL
    Campus de Caparica
    2829-516 Caparica

    Portugal

  • Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
20112019

Research activity per year

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

Fingerprint

Dive into the research topics where Ana Sofia Leal Gomes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Telco Network Inventory Validation with NoHR

    Kasalica, V., Gerochristos, I., Alferes, J. J., Gomes, A. S., Knorr, M. & Leite, J., 1 Jan 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Woltran, S. & Lierler, Y. (eds.). Cham: Springer Verlag, p. 18-31 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

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

    1 Citation (Scopus)
  • Combining transactions and automatic repairs

    Gomes, A. S. & Alferes, J. J., 20 Apr 2018, In: Journal Of Logic And Computation. 28, 3, p. 525-550 26 p.

    Research output: Contribution to journalArticlepeer-review

  • External transaction logic with automatic compensations

    Gomes, A. S. & Alferes, J. J., 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, p. 239-255 17 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)
  • A proposal for transactions in the semantic web

    Gomes, A. S. & Alferes, J. J., 2011, Progress in Artificial Intelligence - 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Proceedings. Antunes, L. & Pinto, H. S. (eds.). Berlin, Heidelberg: Springer, p. 690-703 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7026 LNAI).

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

  • Transaction logic with external actions

    Gomes, A. S. & Alferes, J. J., 2011, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. Delgrande, J. P. & Faber, W. (eds.). Berlin, Heidelberg: Springer, p. 272-277 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)