Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance heatShock_WT_108_06.lp

Name	heatShock_WT_108_06.lp
Classes	[Root]    Graphs (3030)    Influence Graphs (2553)    Escherichia coli (2003)      Heatshock (1001)      6 Percent (200)
Submitter	Martin Gebser
Author	Mihail Ivanchev and Sven Thiele
Description
Created	2010-02-23 20:46
Modified	2010-02-23 20:46
Languages	Facts
Language Features
Compatible Encodings	input.gringo repair_core.gringo repair_config.gringo repair_cardinality.gringo repair_subset.gringo
Output Predicates	exp/1 obs_vlabel/3
Tags:	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
Attributes
Content	obs_vlabel("heatShock_WT",b0551,-1). obs_vlabel("heatShock_WT",b1866,1). obs_vlabel("heatShock_WT",b4430,1). obs_vlabel("heatShock_WT",b1531,-1). obs_vlabel("heatShock_WT",b0015,-1). obs_vlabel("heatShock_WT",b4172,-1). obs_vlabel("heatShock_WT",b1228,1). obs_vlabel("heatShock_WT",b1419,-1). obs_vlabel("heatShock_WT",b3839,1). obs_vlabel("heatShock_WT",b4521,-1). obs_vlabel("heatShock_WT",b4109,1). obs_vlabel("heatShock_WT",b0956,-1). obs_vlabel("heatShock_WT",b0355,-1). obs_vlabel("heatShock_WT",b1306,-1). obs_vlabel("heatShock_WT",b1889,1). obs_vlabel("heatShock_WT",b1279,-1). obs_vlabel("heatShock_WT",b1904,1). obs_vlabel("heatShock_WT",b4446,-1). obs_vlabel("heatShock_WT",b1602,1). obs_vlabel("heatShock_WT",b3347,1). obs_vlabel("heatShock_WT",b0492,-1). obs_vlabel("heatShock_WT",b0336,1). obs_vlabel("heatShock_WT",b0895,-1). obs_vlabel("heatShock_WT",b2424,1). obs_vlabel("heatShock_WT",b2495,1). obs_vlabel("heatShock_WT",b1307,-1). obs_vlabel("heatShock_WT",b0631,-1). obs_vlabel("heatShock_WT",b2023,1). obs_vlabel("heatShock_WT",b3616,-1). obs_vlabel("heatShock_WT",b1983,1). obs_vlabel("heatShock_WT",b4112,1). obs_vlabel("heatShock_WT",b4143,-1). obs_vlabel("heatShock_WT",b2937,1). obs_vlabel("heatShock_WT",b1246,1). obs_vlabel("heatShock_WT",b2104,1). obs_vlabel("heatShock_WT",b2114,1). obs_vlabel("heatShock_WT",b1044,1). obs_vlabel("heatShock_WT",b3725,-1). obs_vlabel("heatShock_WT",b4035,1). obs_vlabel("heatShock_WT",b1987,1). obs_vlabel("heatShock_WT",b2188,1). obs_vlabel("heatShock_WT",b2445,-1). obs_vlabel("heatShock_WT",b3203,1). obs_vlabel("heatShock_WT",b0772,1). obs_vlabel("heatShock_WT",b1685,1). obs_vlabel("heatShock_WT",b2096,1). obs_vlabel("heatShock_WT",b2343,-1). obs_vlabel("heatShock_WT",b1937,1). obs_vlabel("heatShock_WT",b4341,1). obs_vlabel("heatShock_WT",b3994,1). exp("heatShock_WT").