welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name

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

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.