Jonas Philipp Haldimann

Conditional Syntax Splitting for Non-monotonic Inference Operators

Syntax splitting is a property of inductive inference operators that ensures we can restrict our attention to parts of the conditional belief base that share atoms with a given query. To apply syntax splitting, a conditional belief base needs to consist of syntactically disjoint conditionals. This r…