Schindler, ChristianRausch , Andreas2023-12-262023-12-262024-01-03978-0-9981331-7-14fad9283-7e53-40ba-ad14-534ce0d62ed2https://hdl.handle.net/10125/107262engAttribution-NonCommercial-NoDerivatives 4.0 InternationalAI-based Methods and Applications for Software Engineeringconstraint learningfirst order logicinductive rule learningsoftware architectureTowards Inductive Learning of Formal Software Architecture RulesConference Paper10.24251/HICSS.2023.876