MOVIOLA: Interpreting Dynamic Logic Programs via Multi-Shot Answer Set Programming
AuthID
P-00P-G7J
P-00P-G7J
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service