Matches in SemOpenAlex for { <https://semopenalex.org/work/W4302586585> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4302586585 abstract "In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic. In fact, the name of the new semantics comes from the fact that in the linear-logic formulation every literal (including negative ones) were considered as a resource. In this paper, we propose a query-answering procedure reminiscent of Prolog for answer set programs under this extended semantics as an extension of XSB-resolution for logic programs with negation. We prove formal properties of the proposed procedure. Under consideration for acceptance in TPLP." @default.
- W4302586585 created "2022-10-06" @default.
- W4302586585 creator A5021862093 @default.
- W4302586585 creator A5049720199 @default.
- W4302586585 date "2016-08-04" @default.
- W4302586585 modified "2023-09-25" @default.
- W4302586585 title "Query Answering in Resource-Based Answer Set Semantics" @default.
- W4302586585 doi "https://doi.org/10.48550/arxiv.1608.01604" @default.
- W4302586585 hasPublicationYear "2016" @default.
- W4302586585 type Work @default.
- W4302586585 citedByCount "0" @default.
- W4302586585 crossrefType "posted-content" @default.
- W4302586585 hasAuthorship W4302586585A5021862093 @default.
- W4302586585 hasAuthorship W4302586585A5049720199 @default.
- W4302586585 hasBestOaLocation W43025865851 @default.
- W4302586585 hasConcept C127001435 @default.
- W4302586585 hasConcept C128838566 @default.
- W4302586585 hasConcept C156325763 @default.
- W4302586585 hasConcept C177264268 @default.
- W4302586585 hasConcept C184337299 @default.
- W4302586585 hasConcept C199360897 @default.
- W4302586585 hasConcept C207648694 @default.
- W4302586585 hasConcept C2185349 @default.
- W4302586585 hasConcept C2778029271 @default.
- W4302586585 hasConcept C2780882242 @default.
- W4302586585 hasConcept C28077239 @default.
- W4302586585 hasConcept C41008148 @default.
- W4302586585 hasConcept C80444323 @default.
- W4302586585 hasConcept C81721847 @default.
- W4302586585 hasConcept C89497691 @default.
- W4302586585 hasConceptScore W4302586585C127001435 @default.
- W4302586585 hasConceptScore W4302586585C128838566 @default.
- W4302586585 hasConceptScore W4302586585C156325763 @default.
- W4302586585 hasConceptScore W4302586585C177264268 @default.
- W4302586585 hasConceptScore W4302586585C184337299 @default.
- W4302586585 hasConceptScore W4302586585C199360897 @default.
- W4302586585 hasConceptScore W4302586585C207648694 @default.
- W4302586585 hasConceptScore W4302586585C2185349 @default.
- W4302586585 hasConceptScore W4302586585C2778029271 @default.
- W4302586585 hasConceptScore W4302586585C2780882242 @default.
- W4302586585 hasConceptScore W4302586585C28077239 @default.
- W4302586585 hasConceptScore W4302586585C41008148 @default.
- W4302586585 hasConceptScore W4302586585C80444323 @default.
- W4302586585 hasConceptScore W4302586585C81721847 @default.
- W4302586585 hasConceptScore W4302586585C89497691 @default.
- W4302586585 hasLocation W43025865851 @default.
- W4302586585 hasLocation W43025865852 @default.
- W4302586585 hasLocation W43025865853 @default.
- W4302586585 hasOpenAccess W4302586585 @default.
- W4302586585 hasPrimaryLocation W43025865851 @default.
- W4302586585 hasRelatedWork W1487503742 @default.
- W4302586585 hasRelatedWork W1517132137 @default.
- W4302586585 hasRelatedWork W1558467648 @default.
- W4302586585 hasRelatedWork W1925974257 @default.
- W4302586585 hasRelatedWork W2038225427 @default.
- W4302586585 hasRelatedWork W2059108520 @default.
- W4302586585 hasRelatedWork W2401728195 @default.
- W4302586585 hasRelatedWork W2531238681 @default.
- W4302586585 hasRelatedWork W2623701236 @default.
- W4302586585 hasRelatedWork W2963849301 @default.
- W4302586585 isParatext "false" @default.
- W4302586585 isRetracted "false" @default.
- W4302586585 workType "article" @default.