ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.850
Training and Guiding AI Agents with Ethical Rules
Dauer: 48 Monate, Fördersumme: € 799.570
The interplay between cognition and ecology in extractive foraging behaviours
Dauer: 96 Monate, Fördersumme: € 1.599.840
Knowledge-infused Deep Learning for Natural Language Processing
Dauer: 96 Monate, Fördersumme: € 1.567.440
Scalable Reasoning in Knowledge Graphs
Dauer: 96 Monate, Fördersumme: € 1.600.000
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
Dauer: 48 Monate, Fördersumme: € 566.900