welcome: please sign in

Revision 3 as of 2011-05-22 08:18:48

Clear message
location: Participants / Aalto_lp2sat2minisat



Aalto University, Department of Information and Computer Science


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:


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.