Jonas Haldimann

Generalized Safe Conditional Syntax Splitting of Belief Bases

Splitting techniques in knowledge representation help focus on relevant parts of a belief base and reduce the complexity of reasoning generally. In this paper, we propose a generalization of safe conditional syntax splittings that broadens the applicability of splitting postulates for inductive infe