5.4.4 Reasoning with Assumptions and Horn Clauses
This section presents a bottom-up implementation and a top-down implementation for finding conflicts in Horn clause knowledge bases.
foundations of computational agents
This section presents a bottom-up implementation and a top-down implementation for finding conflicts in Horn clause knowledge bases.