welcome: please sign in
location: Participants / Aalto_lp2diffz3



Aalto University, Department of Information and Computer Science


Our approach is based on translating an answer set program into a theory in difference logic and then computing stable models for the program indirectly by finding models for the translation. 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 z3 originates from Microsoft.

ASP Competition 2011: Participants/Aalto_lp2diffz3 (last edited 2011-05-23 13:21:23 by CarmenSantoro)