Given: temporal logic calculus…event calculus partial process model…events, fluents, time scenarios/narratives…happens, holds, initially Find: (more) complete model …initiates, terminates B E H NM ILP Problem: Induction of Process Models that extends the partial model and explains the given narratives and scenarios wrt.
{}