cpt kirk to run in windows online over linux online

We have hosted the application cpt kirk to run in windows online over linux online in order to run this application in our online workstations with Wine or directly.

Quick description about cpt kirk to run in windows online over linux online:

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.

Features:

• Compute why-not provenance models for Answer Set programs.
• Map WnP models with debugging (spock) models.

Audience: Science/Research.

Programming Language: Java.

.