Implementing Query Answering for Hybrid MKNF Knowledge Bases. - Ana Sofia Gomes; José Júlio Alferes; Terrance Swift (PADL, 2010)

Normative Systems Represented as Hybrid Knowledge Bases. - Marco Alberti 001; Ana Sofia Gomes; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2011)

A Proposal for Transactions in the Semantic Web. - Ana Sofia Gomes; José Júlio Alferes (EPIA, 2011)

Transaction Logic with External Actions. - Ana Sofia Gomes; José Júlio Alferes (LPNMR, 2011)

Normative systems require hybrid knowledge bases. - Marco Alberti 001; Matthias Knorr 001; Ana Sofia Gomes; João Leite 001; Ricardo Gonçalves 001; Martin Slota (AAMAS, 2012)

External Transaction Logic with Automatic Compensations. - Ana Sofia Gomes; José Júlio Alferes (CLIMA, 2013)

Extending Transaction Logic with External Actions. - Ana Sofia Gomes; José Júlio Alferes (Theory Pract. Log. Program., 2013)

Transaction Logic with (Complex) Events. - Ana Sofia Gomes; José Júlio Alferes (CoRR, 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)

A Procedure for an Event-Condition-Transaction Language. - Ana Sofia Gomes; José Júlio Alferes (RR, 2015)

How to Combine Event Stream Reasoning with Transactions for the Semantic Web. - Ana Sofia Gomes; José Júlio Alferes (RuleML, 2015)

Combining transactions and automatic repairs. - Ana Sofia Gomes; José Júlio Alferes (J. Log. Comput., 2018)

Telco Network Inventory Validation with NoHR. - Vedran Kasalica; Ioannis Gerochristos; José Júlio Alferes; Ana Sofia Gomes; Matthias Knorr 001; João Leite 001 (LPNMR, 2019)

Interleaved Sequence RNNs for Fraud Detection. - Bernardo Branco; Pedro Abreu; Ana Sofia Gomes; Mariana S. C. Almeida; João Tiago Ascensão; Pedro Bizarro (KDD, 2020)

Railgun: streaming windows for mission critical systems. - João Oliveirinha; Ana Sofia Gomes; Pedro Cardoso; Pedro Bizarro (CoRR, 2020)

Railgun: managing large streaming windows under MAD requirements. - Ana Sofia Gomes; João Oliveirinha; Pedro Cardoso; Pedro Bizarro (Proc. VLDB Endow., 2021)

RIFF: Inducing Rules for Fraud Detection from Decision Trees. - Lucas Martins; João Bravo; Ana Sofia Gomes; Carlos Soares; Pedro Bizarro (RuleML+RR, 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)