Stav dette: Hypergraph Transversal Computation and Related Problems in Logic and AI