Opendata, web and dolomites
H2020 projects about "formalisms"
The page lists 8 projects related to the topic "formalisms".
| # | |||
|---|---|---|---|
| 1 | ARGUE_WEB | Probabilistic Argumentation on the Web | 2016 |
| 2 | InfTy | Infinitary Rewriting for Type Systems | 2016 |
| 3 | INTERCOGAM | Information Theoretic Evaluation of Random Content Generation in Games | 2016 |
| 4 | COBOM | Convective Boundary Mixing in Stars | 2018 |
| 5 | DeciGUT | A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation | 2018 |
| 6 | DECODER | DEveloper COmpanion for Documented and annotatEd code Reference | 2019 |
| 7 | DYNASNET | Dynamics and Structure of Networks | 2019 |
| 8 | ATLANTIC | Advanced theoretical network for modeling light matter interactIon | 2019 |