From: Repairing Boolean logical models from time-series data using Answer Set Programming
Function | Repairs used |
---|---|
\(\lnot A \wedge \lnot B\) | n |
\(\lnot A \wedge B\) | n |
\(A \wedge \lnot B\) | n |
\(A \vee B\) | s |
\(\lnot A \vee B\) | s,n |
\(A \vee \lnot B\) | s,n |
\(\lnot A \vee \lnot B\) | s,n |
A | r |
B | r |
\(\lnot A\) | r,n |
\(\lnot B\) | r,n |
\((A \vee B) \wedge (\lnot A \vee \lnot B)\) | – |
\((A \wedge B) \vee (\lnot A \wedge \lnot B)\) | – |
true | – |
false | – |