Ana Sofia Leal Gomes

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

    Portugal

  • 0 Citations
  • 0 h-Index
20182019
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.

  • 11 Similar Profiles
Repair Mathematics
Transactions Mathematics
Mutation Medicine & Life Sciences
Telecommunication Engineering & Materials Science
DNA Medicine & Life Sciences
Telecommunications Mathematics
Knowledge Base Mathematics
Data storage equipment Engineering & Materials Science

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

Research Output at NOVA 2018 2019

  • 1 Conference contribution
  • 1 Article

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 contribution

Telecommunication
Telecommunications
Data storage equipment
Reasoning
Change Management

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 journalArticle

Repair
Transactions
Logic
Logic programming
Internal