Linear Algebraic Computation of Propositional Horn Abduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama. Linear Algebraic Computation of Propositional Horn Abduction. In 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021. pages 240-247, IEEE, 2021. [doi]

This author has not been identified. Look up 'Tuan Nguyen Quoc' in GoogleThis author has not been identified. Look up 'Katsumi Inoue' in GoogleThis author has not been identified. Look up 'Chiaki Sakama' in Google

runs on WebDSL