ASP Competition 2011: Participants/Aalto_lp2diffz3

lp2diffz3

Association

Aalto University, Department of Information and Computer Science

Description

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:

Participants

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 z3 originates from Microsoft.

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