| Interleaved sequence rnns for fraud detection B Branco, P Abreu, AS Gomes, MSC Almeida, JT Ascensão, P Bizarro Proceedings of the 26th ACM SIGKDD international conference on knowledge …, 2020 | 82 | 2020 |
| Normative systems represented as hybrid knowledge bases M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011 | 44 | 2011 |
| Implementing query answering for hybrid MKNF knowledge bases AS Gomes, JJ Alferes, T Swift International Symposium on Practical Aspects of Declarative Languages, 25-39, 2010 | 28 | 2010 |
| Normative systems require hybrid knowledge bases M Alberti, M Knorr, AS Gomes, J Leite, R Gonçalves, M Slota Proceedings of the 11th International Conference on Autonomous Agents and …, 2012 | 19 | 2012 |
| Telco network inventory validation with nohr V Kasalica, I Gerochristos, JJ Alferes, AS Gomes, M Knorr, J Leite Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019 | 6 | 2019 |
| Transaction Logic with (Complex) Events AS Gomes, JJ Alferes arXiv preprint arXiv:1405.3790, 2014 | 5 | 2014 |
| Extending transaction logic with external actions AS Gomes, JJ Alferes Theory and Practice in Logic Programming 13 (4-5 Online Supplement), 2013 | 5 | 2013 |
| External transaction logic with automatic compensations AS Gomes, JJ Alferes International Workshop on Computational Logic in Multi-Agent Systems, 239-255, 2013 | 4 | 2013 |
| Transaction logic with external actions AS Gomes, JJ Alferes International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 4 | 2011 |
| Railgun: managing large streaming windows under MAD requirements AS Gomes, J Oliveirinha, P Cardoso, P Bizarro arXiv preprint arXiv:2106.12626, 2021 | 3 | 2021 |
| A goal-directed implementation of query answering for hybrid MKNF knowledge bases AS Gomes, JJ Alferes, T Swift Theory and Practice of Logic Programming 14 (2), 239-264, 2014 | 2 | 2014 |
| Combining transactions and automatic repairs AS Gomes, JJ Alferes Journal of Logic and Computation 28 (3), 525-550, 2018 | 1 | 2018 |
| A Procedure for an Event-Condition-Transaction Language AS Gomes, JJ Alferes International Conference on Web Reasoning and Rule Systems, 113-129, 2015 | 1 | 2015 |
| A procedure for an event-condition-transaction language AS Gomes, JJ Alferes International Conference on Web Reasoning and Rule Systems, 113-129, 2015 | 1 | 2015 |
| Transactions in Dynamic Reactive Environments AS Gomes Universidade Nova de Lisboa, 2015 | 1 | 2015 |
| Derivation methods for hybrid knowledge bases with rules and ontologies AS Gomes PQDT-Global, 2009 | 1 | 2009 |
| How to Combine Event Stream Reasoning with Transactions for the Semantic Web AS Gomes, JJ Alferes International Symposium on Rules and Rule Markup Languages for the Semantic …, 2015 | | 2015 |
| A proposal for transactions in the semantic web AS Gomes, JJ Alferes Portuguese Conference on Artificial Intelligence, 690-703, 2011 | | 2011 |
| External Transaction Logic: reasoning and executing transactions involving external domains AS Gomes, JJ Alferes | | |
Jose Julio AlferesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
