Opendata, web and dolomites

H2020 projects about "reasoning"

The page lists 144 projects related to the topic "reasoning".

# achronym  title  year 
1 LeanShips Low Energy And Near to zero emissions Ships 2015
2 FLEXILOG Formal lexically informed logics for searching the web 2015
3 Objectivity Making Scientific Inferences More Objective 2015
4 PAL Personal Assistant for healthy Lifestyle (PAL) 2015
5 ENTICE dEcentralized repositories for traNsparent and efficienT vIrtual maChine opErations 2015
6 SARAFun Smart Assembly Robot with Advanced FUNctionalities 2015
7 RobDREAM Optimising Robot Performance while Dreaming 2015
8 RiCORE Risk Based Consenting of Offshore Renewable Energy Projects 2015
9 PAW Automated Program Analysis for Advanced Web Applications 2015
10 DBA Distributed Biological Algorithms 2015
11 BODY-UI Using Embodied Cognition to Create the Next Generations of Body-based User Interfaces 2015
12 ReCRED From Real-world Identities to Privacy-preserving and Attribute-based CREDentials for Device-centric Access Control 2015
13 SCIMOD Scientific Models, Fiction and Imagination 2015
14 EMOTIONS FIRST EMOTIONS FIRST. Feeling reason: the role of emotions in reasoning 2016
15 LOGIVIS The logics of information visualisation 2015
16 ReaDoubt Reasonable Doubt: An epistemological and psychological approach 2015
17 ProLeMAS ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems 2015
18 ETA4B Energy Trusted Advisor for Buildings 2015
19 CAFES Causal Analysis of Feedback Systems 2015
20 VirtualPatients Effective Clinical reasoning in Virtual Patients 2015
21 PreLog Precursors of logical reasoning in human infants 2015
22 e-Awake New Generation ADAS for Enhanced Driving Experience 2015
23 RVT The Reversible Variable Transmission – Visionary Transmission for unprecedented Fuel, CO2 and Cost Savings 2015
24 AVS-ISS Analysis, Verification, and Synthesis for Infinite-State Systems 2015
25 AI4REASON Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 2015
26 SYMCAR Symbolic Computation and Automated Reasoning for Program Analysis 2016
27 INQMINDS The Evolutionary and Developmental Origins of Inquiring Minds: Studies of Causal Reasoning; Curiosity and Executive Control 2015
28 Ada Ada 2020 | Visual Reasoning Support for Healthcare Professionals 2015
29 SEDAL Statistical Learning for Earth Observation Data Analysis. 2015
30 CyberCare Integrated Sensing Architectures and Tools for Health Care 2016
31 SEED Learning to See in a Dynamic World 2016
32 BrainHack BrainHack: Bringing the arts and sciences of brain and neural computer interface together 2016
33 BroadSem Induction of Broad-Coverage Semantic Parsers 2016
34 FOVEDIS Formal specification and verification of distributed data structures 2016
35 NormativeEconomics Reconstructing normative economics on a foundation of mutual advantage 2016
36 hackAIR Collective awareness platform for outdoor air pollution 2016
37 SYSMICS Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. 2016
38 PEPPER Patient Empowerment through Predictive PERsonalised decision support 2016
39 MIREL MIREL - MIning and REasoning with Legal texts 2016
40 ENLIVEN Encouraging Lifelong Learning for an Inclusive and Vibrant Europe 2016
41 PACAS Participatory Architectural Change Management in ATM Systems 2016
42 ProFoundNet Probabilistic Foundations for Networks 2016
43 QuModQu Quantification and modality in the realm of questions 2016
44 JUSECON Legal rights and the political economy of debt and austerity in Europe 2017
45 Degrees of Belief The Nature of Degrees of Belief 2017
46 PtoACons Going from Phenomenal to Access Consciousness: Neurobehavioural correlates of visual consciousness development and its underlying cognitive procesess. 2016
47 ARGUE_WEB Probabilistic Argumentation on the Web 2016
48 LoGIcInMAS Logics and Games for Imperfect Information in Multi-Agent Systems 2016
49 InfTy Infinitary Rewriting for Type Systems 2016
50 CSP-Infinity Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones 2016
51 ROCSAFE Remotely Operated CBRNe Scene Assessment Forensic Examination 2016
52 MetCogCon Metacognition of Concepts 2016
53 THOMAS Mobile dual arm robotic workers with embedded cognition for hybrid and dynamically reconfigurable manufacturing systems 2016
54 MELODIC Multi-cloud Execution-ware for Large-scale Optimized Data-Intensive Computing 2016
55 REFILLS Robotics Enabling Fully-Integrated Logistics Lines for Supermarkets 2017
56 OPENREQ Intelligent Recommendation Decision Technologies for Community-Driven Requirements Engineering 2017
57 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
58 pCPR Personalized cardiopulmonary resuscitation device for emergency teams 2016
59 RACCOON A Rigorous Approach to Consistency in Cloud Databases 2017
60 STRUCTURALISM The Roots of Mathematical Structuralism 2017
61 NANOINFER Intelligent Memories that Perform Inference with the Physics of Nanodevices 2017
62 TIC-AUV Towards Intelligent Cognitive AUVs 2017
63 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
64 SURVANT SURveillance Video Archives iNvestigation assisTant 2017
65 OKHAERS Ontology-based Knowledge Access for the higher education and research sector 2017
66 TIM-Adrastea “Thinking in Images. Herder’s Adrastea from 1801-03 up to nowadays” 2017
67 TreeGraSP Tree rewriting grammars and the syntax-semantics interface:From grammar development to semantic parsing 2017
68 INCRICO The International Criminal Court and the Judicial Function: a Socio-Legal Study of Judicial Perceptions and Practices 2018
69 SAMNets Investigation of adaptive design and rewiring of Survival-Apoptosis-Mitogenic (SAM) signalling transduction network 2017
70 MiLC Monotonicity in Logic and Complexity 2017
71 DeepFace Understanding Deep Face Recognition 2017
72 Domognostics Intelligent Building Automation Diagnostics 2017
73 ToRH A Theory of Reliable Hardware 2017
74 M and M Generalization in Mind and Machine 2017
75 AF-Cyber Logic-based Attribution and Forensics in Cyber Security 2018
76 DNLIBiomed Biomedical Information Synthesis with Deep Natural Language Inference 2017
77 ARS Autonomous Robotic Surgery 2017
78 CerQUIT Certifying Large-scale Quantum Information Technologies 2018
79 vCare Virtual Coaching Activities for Rehabilitation in Elderly 2017
80 EOPEN EOPEN: opEn interOperable Platform for unified access and analysis of Earth observatioN data 2017
81 GREENPATROL Galileo Enhanced Solution for Pest Detection and Control in Greenhouse Fields with Autonomous Service Robots 2017
82 BSP Belief Systems Project 2018
83 CybSPEED Cyber-Physical Systems for PEdagogical Rehabilitation in Special EDucation 2017
84 Easy Reading Easy Reading: A Framework for Personalised Cognitive Accessibility when using Original Digital Content 2018
85 SUITCEYES Smart, User-friendly, Interactive, Tactual, Cognition-Enhancer that Yields Extended Sensosphere - Appropriating sensor technologies, machine learning, gamification and smart haptic interfaces 2018
86 DeepSPIN Deep Learning for Structured Prediction in Natural Language Processing 2018
87 SUEE Strategic Uncertainty in Economic Environments 2018
88 Emedgene An ICT decision support system for clinical interpretation of genomic data, used by geneticists to rapidly and accurately pinpoint unique disease-causing variants 2018
89 EpiLog The Unknown Science: Understanding the Epistemology of Logic through Practice 2018
90 CARBS Compositional Approximate Reasoning via Bialgebraic Semantics 2019
91 DeciGUT A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation 2018
92 DYCODE The Dynamics of Constructive Deliberation 2018
93 FoTran Found in Translation – Natural Language Understanding with Cross-Lingual Grounding 2018
94 Islamic Law Egypt Adjudicating Islamic Family Law in Egypt: Continuity and Rupture 2018
95 VeSPA Verification and Specification through Progress Abstractions 2018
96 SCOUT Supporting Causal Conclusions from Observational Survival Studies 2018
97 SEMSUBSET The Grammar of Inclusion: Exploring the Boundaries of Linguistic Competence 2019
98 GENPARENT Revealing Sources of Gendered Parenthood: A multi-method comparative study of the transition to parenthood in same-sex and different-sex couples 2018
99 MAGNETO Multimedia Analysis and Correlation Engine for Organised Crime Prevention and Investigation 2018
100 FRAPPANT Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 2018
101 ELVER Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems 2018
102 COSMOS COSMOS: Computational Shaping and Modeling of Musical Structures 2019
103 WindiBox A novel shrouded vertical axis wind turbine for power generation in buildings 2018
104 REPAC Repetition, Parallelism and Creativity: An Inquiry into the Construction of Meaning in Ancient Mesopotamian Literature and Erudition 2019
105 DissectingSociety Nineteenth-Century Sociographic Journalism and the Formation of Ethnographic and Sociological Knowledge 2020
106 FastCode The Next 100 Optimizing Compilers 2019
107 sustAGE Smart environments for person-centered sustainable work and well-being 2019
108 ARTICONF smART socIal media eCOsytstem in a blockchaiN Federated environment 2019
109 BIOUNCERTAINTY Deep uncertainties in bioethics: genetic research, preventive medicine, reproductive decisions 2019
110 RECIPES REconciling sCience, Innovation and Precaution through the Engagement of Stakeholders 2019
111 DELPHI Computing Answers to Complex Questions in Broad Domains 2019
112 RADDICS Reliable Data-Driven Decision Making in Cyber-Physical Systems 2019
113 BDE Beyond Distance Estimates: A New Theory of Heuristics for State-Space Search 2019
114 PASS Program Analysis for Safe and Secure Software Evolution 2019
115 CerQuS Certified Quantum Security 2019
116 SYMELS Symbol Elimination in Reliable System Engineering 2019
117 SAMPLING Searching for the Approximation Method used to Perform rationaL inference by INdividuals and Groups 2019
118 SUExp Strategic Uncertainty: An Experimental Investigation 2018
119 IMAGINE IMAGINE – Informing Multi-modal lAnguage Generation wIth world kNowledgE 2019
120 FUN2MODEL From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning 2019
121 LiquidEff LiquidEff: Algebraic Foundations for Liquid Effects 2019
122 ConceptNet Using Network Science to Study Children’s Conceptual Development 2019
123 ALGOCERT Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems 2019
124 SciTEr History and Philosophy of Scientific Thought Experiments and Scientific Practices 2019
125 MathematicsAnalogies Mathematics Analogies 2019
126 WhiteMech White-Box Self-Programming Mechanisms 2019
127 CausalBrain Dynamic directed functional connectivity of causal learning 2019
128 iv4XR Intelligent Verification/Validation for Extended Reality Based Systems 2019
129 CompuLaw Computable Law 2019
130 HyperCOG Hyperconnected Architecture for High Cognitive Production Plants 2019
132 INEVITABLE Optimization and performance improving in metal industry by digital technologies 2019
133 SyNET From Network Verification to Synthesis: Breaking New Ground in Network Automation 2019
134 ARiAT Advanced Reasoning in Arithmetic Theories 2020
135 WELCOME Multiple Intelligent Conversation Agent Services for Reception, Management and Integration of Third Country Nationals in the EU 2020
136 FACTLOG Energy-aware Factory Analytics for Process Industries 2019
137 DemDX Next generation clinical decision-support & education 2019
138 State Silence The Silence of States in International Law 2020
139 ForM-SMArt Formal Methods for Stochastic Models: Algorithms and Applications 2020
140 DEVCOM The Developing Communicator: Pragmatics, Sense Conventions and Non-Literal Uses of Language 2020
141 PARTYOPINION The Informational Role of Political Parties in Citizens’ Opinion Formation 2020
142 PROCESS REASONING Reasoning about processes: a logico-philosophical investigation 2021
143 CAESAR Integrating Safety and Cybersecurity through Stochastic Model Checking 2020
144 VUAD Video Understanding for Autonomous Driving 2020