Foundations of Artificial Intelligence (FAI) Group
|
Neuroexplicit Models of Language, Vision, Action (DFG, 2023 - 2028)
Research training group Neuroexplicit Models of Language, Vision, Action, funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).
Foundations of Perspicuous Software Systems (CPEC; DFG, 01/19 - 12/26)
Collaborative research center (Sonderforschungsbereich) Foundations of Perspicuous Software Systems, funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).
Information Density and Linguistic Encoding (Ideal; DFG, 07/18 - 06/26)
Collaborative research center (Sonderforschungsbereich) Information Density and Linguistic Encoding, funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).
Trustworthy Planning and Scheduling with Learning and Explanations (TUPLES; EU, 10/22 -- 09/25)
This project is funded by the European Union (EU) as part of the Horizon Europe programme.
Explaining the Space of Plans (XPP; AFOSR, 07/18 -- 06/23)
This project is conducted jointly with Daniele Magazzeni at King's College London. It is funded by AFOSR (U.S. Air Force Office of Scientific Research).
Star-Topology Decoupled State Space Search (DFG, 05/16 -- 02/22)
This project is funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).
Optimizing Planning Domains (DAAD, 01/17 -- 12/18)
This project is conducted jointly with Carlos Areces at Universidad Nacional de Cordoba, Argentina. It is funded by DAAD (German Academic Exchange Service/Deutscher Akademischer Austauschdienst), and supports travel for research visits between the two locations.
Simulated Network-Penetration Testing (BMBF, 08/16 -- 07/20)
This project is conducted jointly with Michael Backes at CISPA. It is funded by BMBF (Federal Ministry of Education and Research/Bundesministerium fuer Bildung und Forschung).
Critically Constrained Planning via Partial Delete Relaxation (DFG, 01/15 -- 12/16 and 01/17 -- 06/19)
This project is funded by DFG (German Research Foundation/Deutsche Forschungsgemeinschaft).