Aeros(CASP): Advancing Certification and Safety Through Commonsense Reasoning-Based Constraint Answer Set Programming
2025 Regional Student Conferences ; 2025 ; Multiple Locations
2025 Regional Student Conferences ; Chapter : 14
2025-01-01
Conference paper
Electronic Resource
English
Engineering Index Backfile | 1928
|Der Aeros-Gegenspannungsanalysator
TIBKAT | 1981
|The German Aeronomy Satellite Aeros
NTIS | 1973
|Engineering Index Backfile | 1928
|