Instance Class Exponential-Stationary Growth Shift

Class Tree
Description This class contains (samples of) Exponential-Stationary growth shift experimental data, used in the following KR'10 paper:

Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele and Philippe Veber. Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. In Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10), AAAI Press, 2010.

Also compare encodings at: http://asparagus.cs.uni-potsdam.de/encodingclass/show/id/105
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • exp/1
  • obs_vlabel/3
Instances
1 - 1 of 1