Ana Sofia Gomes

According to our database, Ana Sofia Gomes authored at least 18 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

RIFF: Inducing Rules for Fraud Detection from Decision Trees.

João Lucas Martins, João Bravo, Ana Sofia Gomes, Carlos Soares, Pedro Bizarro

CoRR, 2024

RIFF: Inducing Rules for Fraud Detection from Decision Trees.

Lucas Martins, João Bravo, Ana Sofia Gomes, Carlos Soares, Pedro Bizarro

Proceedings of the Rules and Reasoning, 2024

2021

Railgun: managing large streaming windows under MAD requirements.

Ana Sofia Gomes, João Oliveirinha, Pedro Cardoso, Pedro Bizarro

Proc. VLDB Endow., 2021

2020

Railgun: streaming windows for mission critical systems.

João Oliveirinha, Ana Sofia Gomes, Pedro Cardoso, Pedro Bizarro

CoRR, 2020

Interleaved Sequence RNNs for Fraud Detection.

Bernardo Branco, Pedro Abreu, Ana Sofia Gomes, Mariana S. C. Almeida, João Tiago Ascensão, Pedro Bizarro

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

2019

Telco Network Inventory Validation with NoHR.

Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2018

Combining transactions and automatic repairs.

Ana Sofia Gomes, José Júlio Alferes

J. Log. Comput., 2018

2015

How to Combine Event Stream Reasoning with Transactions for the Semantic Web.

Ana Sofia Gomes, José Júlio Alferes

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

A Procedure for an Event-Condition-Transaction Language.

Ana Sofia Gomes, José Júlio Alferes

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

2014

A goal-directed implementation of query answering for hybrid MKNF knowledge bases.

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift

Theory Pract. Log. Program., 2014

Transaction Logic with (Complex) Events.

Ana Sofia Gomes, José Júlio Alferes

CoRR, 2014

2013

Extending Transaction Logic with External Actions.

Ana Sofia Gomes, José Júlio Alferes

Theory Pract. Log. Program., 2013

External Transaction Logic with Automatic Compensations.

Ana Sofia Gomes, José Júlio Alferes

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Normative systems require hybrid knowledge bases.

Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Transaction Logic with External Actions.

Ana Sofia Gomes, José Júlio Alferes

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

A Proposal for Transactions in the Semantic Web.

Ana Sofia Gomes, José Júlio Alferes

Proceedings of the Progress in Artificial Intelligence, 2011

Normative Systems Represented as Hybrid Knowledge Bases.

Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Implementing Query Answering for Hybrid MKNF Knowledge Bases.

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift

Proceedings of the Practical Aspects of Declarative Languages, 2010