Seguir
Ana Oliveira da Costa
Título
Citado por
Citado por
Ano
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
102022
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–6