Opendata, web and dolomites
  1. home
  2. trasparenza
  3. open h2020
  4. per topic
  5. deductive

H2020 projects about "deductive"

The page lists 4 projects related to the topic "deductive".

# achronym  title  year 
1 PreLog Precursors of logical reasoning in human infants 2015
2 AI4REASON Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 2015
3 MIDLAND Developing middle-range theories linking land use displacement, intensification and transitions 2016
4 FRAPPANT Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 2018