Encoding input.gringo

Name	input.gringo
Class Tree	[Root] Graph Problems (32) Sign Consistency (5) Repair and Prediction (5)
Submitter	Martin Gebser
Author	Martin Gebser
Description
Created	2010-02-23 19:15
Modified	2010-02-23 19:46
Languages	Gringo 2.0.2
Language Features
Compatible Instance Classes	Escherichia coli Heatshock 3 Percent 6 Percent 9 Percent 12 Percent 15 Percent Exponential-Stationary Growth Shift 3 Percent 6 Percent 9 Percent 12 Percent 15 Percent
Input Predicates	edge/2 exp/1 obs_elabel/3 vertex/1
Output Predicates	input/2
Encoding Parameter
Standalone	No
Tags	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
Attributes
Content	% Make unregulated (or self-regulated) vertices inputs input(P,V) :- exp(P), vertex(V), not edge(U,V) : edge(U,V) : U != V. input(P,V) :- exp(P), vertex(V), edge(V,V), obs_elabel(V,V,1).

Actions