203 followers
RT @beman70: New paper alert: Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels | Theory and Practice of Logic Program…
RT @beman70: New paper alert: Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels | Theory and Practice of Logic Program…
New paper alert: Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels | Theory and Practice of Logic Programming | Cambridge Core - https://t.co/8PmbAiggv0 - with Vito Barbara, Nicola Leone, @warasho82, Alessandro Quarta, Francesco Ricca,