Christian Antić

Set-like Operations on Propositional Logic Programs

Abstract Composition and decomposition of logic programs have been studied extensively in the context of modularity, and decomposing a program along the dependency structure of its atoms — by strata or strongly connected components in datalog, and by splitting sets in the non-mon...