Follow
Ana Sofia Gomes
Title
Cited by
Cited by
Year
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
622020
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
442011
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
282010
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
172012
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
62019
Transaction Logic with (Complex) Events
AS Gomes, JJ Alferes
arXiv preprint arXiv:1405.3790, 2014
52014
Extending transaction logic with external actions
AS Gomes, JJ Alferes
Theory and Practice in Logic Programming 13 (4-5 Online Supplement), 2013
52013
External transaction logic with automatic compensations
AS Gomes, JJ Alferes
International Workshop on Computational Logic in Multi-Agent Systems, 239-255, 2013
42013
Transaction logic with external actions
AS Gomes, JJ Alferes
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
42011
Railgun: managing large streaming windows under MAD requirements
AS Gomes, J Oliveirinha, P Cardoso, P Bizarro
arXiv preprint arXiv:2106.12626, 2021
32021
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
22014
Combining transactions and automatic repairs
AS Gomes, JJ Alferes
Journal of Logic and Computation 28 (3), 525-550, 2018
12018
A Procedure for an Event-Condition-Transaction Language
AS Gomes, JJ Alferes
International Conference on Web Reasoning and Rule Systems, 113-129, 2015
12015
A procedure for an event-condition-transaction language
AS Gomes, JJ Alferes
International Conference on Web Reasoning and Rule Systems, 113-129, 2015
12015
Transactions in dynamic reactive environments
AS Gomes
12015
Derivation methods for hybrid knowledge bases with rules and ontologies
AS Gomes
FCT-UNL, 2009
12009
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
The system can't perform the operation now. Try again later.
Articles 1–19