Stable and Supported Semantics in Continuous Vector Spaces

Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo

Abstract: We introduce a novel approach for the computation of stable and supported models of normal logic programs in continuous vector spaces by a gradient-based search method. Specifically, the applicatio...