Context-Aware Applications -- Quasi-Classical Model Semantics for Logic Programs - A