fasb web application

% example encoding
a :- not b. b :- not a.
c;d :- b.
e.

a b ~c
~a ~b ~d 

• answer sets facet-inducing atoms uncertainty reductions conditional probabilities