FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3080497637> ?p ?o ?g. }

• W3080497637 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 application of the immediate consequence operator of a program reduct can be computed in a vector space. To do this, Herbrand interpretations of a propositional program are embedded as 0-1 vectors in $mathbb{R}^N$ and program reducts are represented as matrices in $mathbb{R}^{N times N}$. Using these representations we prove that the underlying semantics of a normal logic program is captured through matrix multiplication and a differentiable operation. As supported and stable models of a normal logic program can now be seen as fixed points in a continuous space, non-monotonic deduction can be performed using an optimisation process such as Newton's method. We report the results of several experiments using synthetically generated programs that demonstrate the feasibility of the approach and highlight how different parameter values can affect the behaviour of the system." @default.
• W3080497637 created "2020-09-01" @default.
• W3080497637 creator A5002143669 @default.
• W3080497637 creator A5039295194 @default.
• W3080497637 creator A5046462940 @default.
• W3080497637 creator A5058916144 @default.
• W3080497637 date "2020-07-01" @default.
• W3080497637 modified "2023-09-27" @default.
• W3080497637 title "Stable and Supported Semantics in Continuous Vector Spaces" @default.
• W3080497637 cites W1580831253 @default.
• W3080497637 cites W1672891595 @default.
• W3080497637 cites W1766332311 @default.
• W3080497637 cites W1903938722 @default.
• W3080497637 cites W1968513265 @default.
• W3080497637 cites W1969965298 @default.
• W3080497637 cites W2011124182 @default.
• W3080497637 cites W2063499502 @default.
• W3080497637 cites W2108911687 @default.
• W3080497637 cites W2407673450 @default.
• W3080497637 cites W2427182019 @default.
• W3080497637 cites W2737086355 @default.
• W3080497637 cites W2775300540 @default.
• W3080497637 cites W2786776430 @default.
• W3080497637 cites W2804987818 @default.
• W3080497637 cites W2808141891 @default.
• W3080497637 cites W2898098713 @default.
• W3080497637 cites W2898807104 @default.
• W3080497637 cites W2948209403 @default.
• W3080497637 cites W2962924847 @default.
• W3080497637 cites W2964031560 @default.
• W3080497637 cites W2970132321 @default.
• W3080497637 cites W2997359684 @default.
• W3080497637 cites W3011613428 @default.
• W3080497637 cites W3073208685 @default.
• W3080497637 cites W2071784417 @default.
• W3080497637 doi "https://doi.org/10.24963/kr.2020/7" @default.
• W3080497637 hasPublicationYear "2020" @default.
• W3080497637 type Work @default.
• W3080497637 sameAs 3080497637 @default.
• W3080497637 citedByCount "4" @default.
• W3080497637 countsByYear W30804976372021 @default.
• W3080497637 countsByYear W30804976372022 @default.
• W3080497637 crossrefType "proceedings-article" @default.
• W3080497637 hasAuthorship W3080497637A5002143669 @default.
• W3080497637 hasAuthorship W3080497637A5039295194 @default.
• W3080497637 hasAuthorship W3080497637A5046462940 @default.
• W3080497637 hasAuthorship W3080497637A5058916144 @default.
• W3080497637 hasBestOaLocation W30804976371 @default.
• W3080497637 hasConcept C104317684 @default.
• W3080497637 hasConcept C106487976 @default.
• W3080497637 hasConcept C11413529 @default.
• W3080497637 hasConcept C118615104 @default.
• W3080497637 hasConcept C13336665 @default.
• W3080497637 hasConcept C134306372 @default.
• W3080497637 hasConcept C136119220 @default.
• W3080497637 hasConcept C158448853 @default.
• W3080497637 hasConcept C159985019 @default.
• W3080497637 hasConcept C17020691 @default.
• W3080497637 hasConcept C184337299 @default.
• W3080497637 hasConcept C185592680 @default.
• W3080497637 hasConcept C192562407 @default.
• W3080497637 hasConcept C199360897 @default.
• W3080497637 hasConcept C202444582 @default.
• W3080497637 hasConcept C202615002 @default.
• W3080497637 hasConcept C33923547 @default.
• W3080497637 hasConcept C41008148 @default.
• W3080497637 hasConcept C45374587 @default.
• W3080497637 hasConcept C55493867 @default.
• W3080497637 hasConcept C72169020 @default.
• W3080497637 hasConcept C80444323 @default.
• W3080497637 hasConcept C86339819 @default.
• W3080497637 hasConceptScore W3080497637C104317684 @default.
• W3080497637 hasConceptScore W3080497637C106487976 @default.
• W3080497637 hasConceptScore W3080497637C11413529 @default.
• W3080497637 hasConceptScore W3080497637C118615104 @default.
• W3080497637 hasConceptScore W3080497637C13336665 @default.
• W3080497637 hasConceptScore W3080497637C134306372 @default.
• W3080497637 hasConceptScore W3080497637C136119220 @default.
• W3080497637 hasConceptScore W3080497637C158448853 @default.
• W3080497637 hasConceptScore W3080497637C159985019 @default.
• W3080497637 hasConceptScore W3080497637C17020691 @default.
• W3080497637 hasConceptScore W3080497637C184337299 @default.
• W3080497637 hasConceptScore W3080497637C185592680 @default.
• W3080497637 hasConceptScore W3080497637C192562407 @default.
• W3080497637 hasConceptScore W3080497637C199360897 @default.
• W3080497637 hasConceptScore W3080497637C202444582 @default.
• W3080497637 hasConceptScore W3080497637C202615002 @default.
• W3080497637 hasConceptScore W3080497637C33923547 @default.
• W3080497637 hasConceptScore W3080497637C41008148 @default.
• W3080497637 hasConceptScore W3080497637C45374587 @default.
• W3080497637 hasConceptScore W3080497637C55493867 @default.
• W3080497637 hasConceptScore W3080497637C72169020 @default.
• W3080497637 hasConceptScore W3080497637C80444323 @default.
• W3080497637 hasConceptScore W3080497637C86339819 @default.
• W3080497637 hasLocation W30804976371 @default.
• W3080497637 hasLocation W30804976372 @default.
• W3080497637 hasOpenAccess W3080497637 @default.
• W3080497637 hasPrimaryLocation W30804976371 @default.
• W3080497637 hasRelatedWork W1497478518 @default.
• W3080497637 hasRelatedWork W1499261285 @default.

• next