Ana Oliveira da Costa

 
  • Project Assistant, MSc
  • TU Wien
  • Institute of Computer Engineering
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Room: HA 03 09
  • Email: ana.costa [at] tuwien.ac.at
  • Github:@anaolicosta

Research Interests

Interface theory, hyperproperties.

Current Position


Education

  • MSc: European Masters Program in Computational Logic (Technische Universität Dresden, Free University of Bozen - Bolzano, Technische Universität Wien)
  • Master thesis: Puzzling Ignorance: A Modal Epistemic Tour
  • BA: Computer Science (Universidade do Minho)

Publications

  1. Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni: A Computational Logic Approach to Human Syllogistic Reasoning. CogSci 2017
  2. Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler: Monadic Reasoning using Weak Completion Semantics. YSIP 2017: 45-54
  3. Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni: Syllogistic Reasoning under the Weak Completion Semantics. Bridging@IJCAI 2016: 5-19