Ana Sofia Gomes

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 7

Top Topics

Top Venues

Theory Pract. Log. Program.

Proc. VLDB Endow.

Publications

Ana Sofia Gomes, João Oliveirinha, Pedro Cardoso, Pedro Bizarro
Railgun: managing large streaming windows under MAD requirements. Proc. VLDB Endow. 14 (12) (2021)
Ana Sofia Gomes, João Oliveirinha, Pedro Cardoso, Pedro Bizarro
Railgun: managing large streaming windows under MAD requirements. CoRR (2021)
João Oliveirinha, Ana Sofia Gomes, Pedro Cardoso, Pedro Bizarro
Railgun: streaming windows for mission critical systems. CoRR (2020)
Bernardo Branco, Pedro Abreu, Ana Sofia Gomes, Mariana S. C. Almeida, João Tiago Ascensão, Pedro Bizarro
Interleaved Sequence RNNs for Fraud Detection. CoRR (2020)
Bernardo Branco, Pedro Abreu, Ana Sofia Gomes, Mariana S. C. Almeida, João Tiago Ascensão, Pedro Bizarro
Interleaved Sequence RNNs for Fraud Detection. KDD (2020)
Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
Telco Network Inventory Validation with NoHR. LPNMR (2019)
Ana Sofia Gomes, José Júlio Alferes
Combining transactions and automatic repairs. J. Log. Comput. 28 (3) (2018)
Ana Sofia Gomes, José Júlio Alferes
How to Combine Event Stream Reasoning with Transactions for the Semantic Web. RuleML (2015)
Ana Sofia Gomes, José Júlio Alferes
A Procedure for an Event-Condition-Transaction Language. RR (2015)
Ana Sofia Gomes, José Júlio Alferes
Transaction Logic with (Complex) Events. CoRR (2014)
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Theory Pract. Log. Program. 14 (2) (2014)
Ana Sofia Gomes, José Júlio Alferes
External Transaction Logic with Automatic Compensations. CLIMA (2013)
Ana Sofia Gomes, José Júlio Alferes
Extending Transaction Logic with External Actions. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
Normative systems require hybrid knowledge bases. AAMAS (2012)
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases CoRR (2011)
Ana Sofia Gomes, José Júlio Alferes
A Proposal for Transactions in the Semantic Web. EPIA (2011)
Ana Sofia Gomes, José Júlio Alferes
Transaction Logic with External Actions. LPNMR (2011)
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA (2011)
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL (2010)