BibTeX records: Ana Sofia Gomes

download as .bib file

@article{DBLP:journals/pvldb/GomesOCB21,
  author       = {Ana Sofia Gomes and
                  Jo{\~{a}}o Oliveirinha and
                  Pedro Cardoso and
                  Pedro Bizarro},
  title        = {Railgun: managing large streaming windows under {MAD} requirements},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {14},
  number       = {12},
  pages        = {3069--3082},
  year         = {2021},
  url          = {http://www.vldb.org/pvldb/vol14/p3069-bizarro.pdf},
  doi          = {10.14778/3476311.3476384},
  timestamp    = {Thu, 21 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/GomesOCB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2106-12626,
  author       = {Ana Sofia Gomes and
                  Jo{\~{a}}o Oliveirinha and
                  Pedro Cardoso and
                  Pedro Bizarro},
  title        = {Railgun: managing large streaming windows under {MAD} requirements},
  journal      = {CoRR},
  volume       = {abs/2106.12626},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.12626},
  eprinttype    = {arXiv},
  eprint       = {2106.12626},
  timestamp    = {Wed, 30 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-12626.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kdd/BrancoAGAAB20,
  author       = {Bernardo Branco and
                  Pedro Abreu and
                  Ana Sofia Gomes and
                  Mariana S. C. Almeida and
                  Jo{\~{a}}o Tiago Ascens{\~{a}}o and
                  Pedro Bizarro},
  editor       = {Rajesh Gupta and
                  Yan Liu and
                  Jiliang Tang and
                  B. Aditya Prakash},
  title        = {Interleaved Sequence RNNs for Fraud Detection},
  booktitle    = {{KDD} '20: The 26th {ACM} {SIGKDD} Conference on Knowledge Discovery
                  and Data Mining, Virtual Event, CA, USA, August 23-27, 2020},
  pages        = {3101--3109},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3394486.3403361},
  doi          = {10.1145/3394486.3403361},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kdd/BrancoAGAAB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2002-05988,
  author       = {Bernardo Branco and
                  Pedro Abreu and
                  Ana Sofia Gomes and
                  Mariana S. C. Almeida and
                  Jo{\~{a}}o Tiago Ascens{\~{a}}o and
                  Pedro Bizarro},
  title        = {Interleaved Sequence RNNs for Fraud Detection},
  journal      = {CoRR},
  volume       = {abs/2002.05988},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.05988},
  eprinttype    = {arXiv},
  eprint       = {2002.05988},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-05988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2009-00361,
  author       = {Jo{\~{a}}o Oliveirinha and
                  Ana Sofia Gomes and
                  Pedro Cardoso and
                  Pedro Bizarro},
  title        = {Railgun: streaming windows for mission critical systems},
  journal      = {CoRR},
  volume       = {abs/2009.00361},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.00361},
  eprinttype    = {arXiv},
  eprint       = {2009.00361},
  timestamp    = {Wed, 16 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-00361.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/KasalicaGAGKL19,
  author       = {Vedran Kasalica and
                  Ioannis Gerochristos and
                  Jos{\'{e}} J{\'{u}}lio Alferes and
                  Ana Sofia Gomes and
                  Matthias Knorr and
                  Jo{\~{a}}o Leite},
  editor       = {Marcello Balduccini and
                  Yuliya Lierler and
                  Stefan Woltran},
  title        = {Telco Network Inventory Validation with NoHR},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 15th International
                  Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11481},
  pages        = {18--31},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-20528-7\_2},
  doi          = {10.1007/978-3-030-20528-7\_2},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/KasalicaGAGKL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/GomesA18,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  title        = {Combining transactions and automatic repairs},
  journal      = {J. Log. Comput.},
  volume       = {28},
  number       = {3},
  pages        = {525--550},
  year         = {2018},
  url          = {https://doi.org/10.1093/logcom/exv006},
  doi          = {10.1093/LOGCOM/EXV006},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/GomesA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rr/GomesA15,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {Balder ten Cate and
                  Alessandra Mileo},
  title        = {A Procedure for an Event-Condition-Transaction Language},
  booktitle    = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
                  2015, Berlin, Germany, August 4-5, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9209},
  pages        = {113--129},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22002-4\_10},
  doi          = {10.1007/978-3-319-22002-4\_10},
  timestamp    = {Sat, 09 Apr 2022 12:41:08 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/GomesA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ruleml/GomesA15,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {Nick Bassiliades and
                  Georg Gottlob and
                  Fariba Sadri and
                  Adrian Paschke and
                  Dumitru Roman},
  title        = {How to Combine Event Stream Reasoning with Transactions for the Semantic
                  Web},
  booktitle    = {Rule Technologies: Foundations, Tools, and Applications - 9th International
                  Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9202},
  pages        = {258--273},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21542-6\_17},
  doi          = {10.1007/978-3-319-21542-6\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/GomesA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/GomesAS14,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes and
                  Terrance Swift},
  title        = {A goal-directed implementation of query answering for hybrid {MKNF}
                  knowledge bases},
  journal      = {Theory Pract. Log. Program.},
  volume       = {14},
  number       = {2},
  pages        = {239--264},
  year         = {2014},
  url          = {https://doi.org/10.1017/S1471068412000439},
  doi          = {10.1017/S1471068412000439},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GomesAS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/GomesA14,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  title        = {Transaction Logic with (Complex) Events},
  journal      = {CoRR},
  volume       = {abs/1405.3790},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.3790},
  eprinttype    = {arXiv},
  eprint       = {1405.3790},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GomesA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/GomesA13,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  title        = {Extending Transaction Logic with External Actions},
  journal      = {Theory Pract. Log. Program.},
  volume       = {13},
  number       = {4-5-Online-Supplement},
  year         = {2013},
  url          = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013020.pdf},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GomesA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/GomesA13,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {Jo{\~{a}}o Leite and
                  Tran Cao Son and
                  Paolo Torroni and
                  Leon van der Torre and
                  Stefan Woltran},
  title        = {External Transaction Logic with Automatic Compensations},
  booktitle    = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
                  {CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8143},
  pages        = {239--255},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40624-9\_15},
  doi          = {10.1007/978-3-642-40624-9\_15},
  timestamp    = {Fri, 09 Apr 2021 18:38:27 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/GomesA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aamas/AlbertiKGLGS12,
  author       = {Marco Alberti and
                  Matthias Knorr and
                  Ana Sofia Gomes and
                  Jo{\~{a}}o Leite and
                  Ricardo Gon{\c{c}}alves and
                  Martin Slota},
  editor       = {Wiebe van der Hoek and
                  Lin Padgham and
                  Vincent Conitzer and
                  Michael Winikoff},
  title        = {Normative systems require hybrid knowledge bases},
  booktitle    = {International Conference on Autonomous Agents and Multiagent Systems,
                  {AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
  pages        = {1425--1426},
  publisher    = {{IFAAMAS}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2344040},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aamas/AlbertiKGLGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/clima/AlbertiGGLS11,
  author       = {Marco Alberti and
                  Ana Sofia Gomes and
                  Ricardo Gon{\c{c}}alves and
                  Jo{\~{a}}o Leite and
                  Martin Slota},
  editor       = {Jo{\~{a}}o Leite and
                  Paolo Torroni and
                  Thomas {\AA}gotnes and
                  Guido Boella and
                  Leon van der Torre},
  title        = {Normative Systems Represented as Hybrid Knowledge Bases},
  booktitle    = {Computational Logic in Multi-Agent Systems - 12th International Workshop,
                  {CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6814},
  pages        = {330--346},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22359-4\_23},
  doi          = {10.1007/978-3-642-22359-4\_23},
  timestamp    = {Tue, 07 May 2024 20:13:36 +0200},
  biburl       = {https://dblp.org/rec/conf/clima/AlbertiGGLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/epia/GomesA11,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {Luis Antunes and
                  Helena Sofia Pinto},
  title        = {A Proposal for Transactions in the Semantic Web},
  booktitle    = {Progress in Artificial Intelligence, 15th Portuguese Conference on
                  Artificial Intelligence, {EPIA} 2011, Lisbon, Portugal, October 10-13,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7026},
  pages        = {690--703},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24769-9\_50},
  doi          = {10.1007/978-3-642-24769-9\_50},
  timestamp    = {Sun, 02 Oct 2022 16:00:30 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/GomesA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/GomesA11,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes},
  editor       = {James P. Delgrande and
                  Wolfgang Faber},
  title        = {Transaction Logic with External Actions},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 11th International
                  Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6645},
  pages        = {272--277},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20895-9\_31},
  doi          = {10.1007/978-3-642-20895-9\_31},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GomesA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1103-3949,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes and
                  Terrance Swift},
  title        = {A Goal-Directed Implementation of Query Answering for Hybrid {MKNF}
                  Knowledge Bases},
  journal      = {CoRR},
  volume       = {abs/1103.3949},
  year         = {2011},
  url          = {http://arxiv.org/abs/1103.3949},
  eprinttype    = {arXiv},
  eprint       = {1103.3949},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1103-3949.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/GomesAS10,
  author       = {Ana Sofia Gomes and
                  Jos{\'{e}} J{\'{u}}lio Alferes and
                  Terrance Swift},
  editor       = {Manuel Carro and
                  Ricardo Pe{\~{n}}a},
  title        = {Implementing Query Answering for Hybrid {MKNF} Knowledge Bases},
  booktitle    = {Practical Aspects of Declarative Languages, 12th International Symposium,
                  {PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5937},
  pages        = {25--39},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11503-5\_4},
  doi          = {10.1007/978-3-642-11503-5\_4},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/GomesAS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.