Research output per year
Research output per year
Search results
-
2019
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 proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
2018
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 journal › Article › peer-review
-
2013
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 proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
2011
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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review
2 Citations (Scopus)