A Computational Logic Approach to Human Syllogistic Reasoning. AO da Costa, EAD Saldanha, S Hölldobler, M Ragni CogSci, 2017 | 32 | 2017 |
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 | 10 | 2022 |
Syllogistic reasoning under the weak completion semantics AO da Costa, EA Dietz, S Hölldobler, M Ragni Bridging@ IJCAI, 2016 | 6 | 2016 |
Monadic Reasoning using Weak Completion Semantics. AO da Costa, EAD Saldanha, S Hölldobler YSIP, 45-54, 2017 | 5 | 2017 |
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 | 3 | 2022 |
Hypernode Automata E Bartocci, TA Henzinger, D Nickovic, AO da Costa 34th International Conference on Concurrency Theory (CONCUR 2023) 279, 21:1 …, 0 | | |