Follow
Ana Oliveira da Costa
Title
Cited by
Cited by
Year
A Computational Logic Approach to Human Syllogistic Reasoning.
AO da Costa, EAD Saldanha, S Hölldobler, M Ragni
CogSci, 2017
322017
Flavors of Sequential Information Flow
E Bartocci, T Ferrère, TA Henzinger, D Nickovic, AO Costa
International Conference on Verification, Model Checking, and Abstract …, 2022
92022
Syllogistic reasoning under the weak completion semantics
AO da Costa, EA Dietz, S Hölldobler, M Ragni
Bridging@ IJCAI, 2016
62016
Monadic Reasoning using Weak Completion Semantics.
AO da Costa, EAD Saldanha, S Hölldobler
YSIP, 45-54, 2017
52017
Information-flow interfaces
E Bartocci, T Ferrère, TA Henzinger, D Nickovic, AO da Costa
International Conference on Fundamental Approaches to Software Engineering, 3-22, 2022
32022
Hypernode Automata
E Bartocci, TA Henzinger, D Nickovic, AO da Costa
34th International Conference on Concurrency Theory (CONCUR 2023) 279, 21:1 …, 0
The system can't perform the operation now. Try again later.
Articles 1–6