Tabulation Proof Procedure for First-Order Residuated Logic Programs: Soundness, Completeness and Optimizations
AuthID
P-004-R2Y
P-004-R2Y
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service