Value Encounter Modeling—Formalization and Application | AMiner