Abstraction over Statelog and Datalog/ASP Answer Sets

[sahil1105]

Develop the PWE analysis on almost 2 dimensions : Time (statelog) and Answer Set such that the same analysis can be used on multiple "states" of a single Answer Set as if they were PWs.

various ways of “slicing” Datalog/Statelog/ASP answers for PWE analysis:
ASP program ⇒ Ans_1, …, Ans_k ⇒ obvious mapping to {PWS}
Statelog program ⇒ P(S, X1, …, Xk) ⇒ map predicate by state P[S]
Combinations thereof ..