Feynman-Kac-Type Theorems and Gibbs Measures on Path Space