lp2sat2minisat

<<TableOfContents: execution failed [list index out of range] (see also the log)>>

Association

Aalto University, Department of Information and Computer Science

Description

Our approach is based on translating an answer set program into a set of propositional clauses and then computing stable models for the program indirectly by finding models for the translation. The second version of the translator (a.k.a lp2sat2) incorporates an improved translation based on ranking constraints that were used to translate answer set programs into difference logic. Overall, the computation takes place in the following steps:

Acknowledgments

The grounder gringo has been developed at the University of Potsdam, Germany. Patrik Simons from Neotide Ltd is the author of the smodels system. The back-end solver Minisat originates from Chalmers University of Technology.

Participants