Instance Class Heatshock

Class Tree	[Root] Graphs (3030) Influence Graphs (2553) Escherichia coli (2003) Heatshock (1001) 12 Percent (200) 15 Percent (200) 3 Percent (200) 6 Percent (200) 9 Percent (200)
Description	This class contains (samples of) Heatshock 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	input.gringo repair_core.gringo repair_config.gringo repair_cardinality.gringo repair_subset.gringo
Output Predicates	exp/1 obs_vlabel/3
Instances 1 - 1 of 1	heatShock_WT_0_100.lp un-/mark all

Actions