Folgen
Ana Oliveira da Costa
Ana Oliveira da Costa
Bestätigte E-Mail-Adresse bei ist.ac.at
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6