Knowledge compilation using theory prime implicates (0)

by P Marquis
Venue:Algorithms for Defensible and Uncertain Reasoning, in S. Moral, J. Kohlas (Eds), Handbook of Defeasible Reasoning and Uncertainty Management Systems