Linear Algebraic Computation of Propositional Horn Abduction.

Tuan Nguyen Quoc Katsumi Inoue Chiaki Sakama

Published in: ICTAI (2021)

Keyphrases

propositional logic
knowledge compilation
linear algebra
horn clauses
propositional knowledge base
square root
gauss seidel
np hard
belief revision
linear systems
multi valued
query language
background knowledge
modal logic
linear constraints