Smodels-IE

Name of the team:

Smodels-IE

Affiliation:

University of Bath, Department of Computer Science, KR&R Group

Description of the system:

We're using the grounder GrinGo from the University of Potsdam's Potassco collection ( http://potassco.sourceforge.net/ ) and smodels-IE ( http://www.cs.bath.ac.uk/~mjb/solvers/ ). Smodels-IE is a version of Helsinki Univerisity of Technology's smodels solver ( http://www.tcs.hut.fi/Software/smodels/ ) patched to improve the cache behaviour of the data structures. All software is available under Free Software licences.

The encodings used are those found on University of Potsdam's Asparagus site ( http://asp.haiti.cs.uni-potsdam.de/ ) unmodified so that the results can be compared more easily. All of the support scripts and formatting tools are also available ( http://www.cs.bath.ac.uk/~mjb/asp/ ). The same grounder/solver pair are used for all benchmarks (apart from GrammarBasedInformationExtraction and StrategicCompanies which, for reasons of expressive power, no solution was submitted), running with the default options.