Search Results for "ev"

...On top of this, the library supports the simultaneous operation of many EV activities through the efficient use of threads.

Since the method proposed in https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pub is based on meta-programming, it is possible to use existing state-of-the-art software systems that support well-founded and answer-set semantics, which allowed us to start developing this new tool by extending the one that exists related to a debugging approach: Spock, hence the name Cpt. Kirk. Furthermore and more importantly, one direction to explore is to use the technique of reification as described in "metaASP" to obtain the implicants via a saturation technique, and obtaining the prime implicants of provenance formulae by optimization and thus proper minimal justifications.