Գրեք սա: Hypergraph Transversal Computation and Related Problems in Logic and AI