FRINK Linked Data Fragments server

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

• W2997292022 abstract "Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple possible worlds. Existing ELP solving approaches generally rely on making multiple calls to an ASP solver in order to evaluate the ELP. However, in this paper, we show that there also exists a direct translation from ELPs into non-ground ASP with bounded arity. The resulting ASP program can thus be solved in a single shot. We then implement this encoding method, using recently proposed techniques to handle large, non-ground ASP rules, into the prototype ELP solving system selp, which we present in this paper. This solver exhibits competitive performance on a set of ELP benchmark instances. Under consideration in Theory and Practice of Logic Programming (TPLP)." @default.
• W2997292022 created "2020-01-10" @default.
• W2997292022 creator A5004187658 @default.
• W2997292022 creator A5050387054 @default.
• W2997292022 creator A5006053030 @default.
• W2997292022 date "2020-01-04" @default.
• W2997292022 modified "2023-09-27" @default.
• W2997292022 title "selp: A Single-Shot Epistemic Logic Program Solver" @default.
• W2997292022 cites W1482193060 @default.
• W2997292022 cites W1484403583 @default.
• W2997292022 cites W1493657719 @default.
• W2997292022 cites W1514021129 @default.
• W2997292022 cites W1544757461 @default.
• W2997292022 cites W1586014657 @default.
• W2997292022 cites W165019675 @default.
• W2997292022 cites W1672891595 @default.
• W2997292022 cites W1694306392 @default.
• W2997292022 cites W1986999264 @default.
• W2997292022 cites W2049791401 @default.
• W2997292022 cites W2050890691 @default.
• W2997292022 cites W2064864283 @default.
• W2997292022 cites W2076698873 @default.
• W2997292022 cites W2087432892 @default.
• W2997292022 cites W2091138122 @default.
• W2997292022 cites W2134039900 @default.
• W2997292022 cites W2151485489 @default.
• W2997292022 cites W2157334516 @default.
• W2997292022 cites W2255903435 @default.
• W2997292022 cites W2295164601 @default.
• W2997292022 cites W2345230773 @default.
• W2997292022 cites W2468539056 @default.
• W2997292022 cites W2518299550 @default.
• W2997292022 cites W2555704690 @default.
• W2997292022 cites W2577869962 @default.
• W2997292022 cites W2607115772 @default.
• W2997292022 cites W2617661790 @default.
• W2997292022 cites W2740349328 @default.
• W2997292022 cites W2742047667 @default.
• W2997292022 cites W2796002101 @default.
• W2997292022 cites W2808399616 @default.
• W2997292022 cites W2905529543 @default.
• W2997292022 cites W2913952264 @default.
• W2997292022 cites W2914398864 @default.
• W2997292022 cites W2962726555 @default.
• W2997292022 cites W2962950580 @default.
• W2997292022 cites W2963234253 @default.
• W2997292022 cites W2964023786 @default.
• W2997292022 cites W2986773320 @default.
• W2997292022 cites W2071784417 @default.
• W2997292022 hasPublicationYear "2020" @default.
• W2997292022 type Work @default.
• W2997292022 sameAs 2997292022 @default.
• W2997292022 citedByCount "0" @default.
• W2997292022 crossrefType "posted-content" @default.
• W2997292022 hasAuthorship W2997292022A5004187658 @default.
• W2997292022 hasAuthorship W2997292022A5006053030 @default.
• W2997292022 hasAuthorship W2997292022A5050387054 @default.
• W2997292022 hasConcept C127001435 @default.
• W2997292022 hasConcept C128838566 @default.
• W2997292022 hasConcept C13280743 @default.
• W2997292022 hasConcept C134306372 @default.
• W2997292022 hasConcept C156325763 @default.
• W2997292022 hasConcept C177264268 @default.
• W2997292022 hasConcept C182620335 @default.
• W2997292022 hasConcept C184337299 @default.
• W2997292022 hasConcept C185798385 @default.
• W2997292022 hasConcept C199360897 @default.
• W2997292022 hasConcept C205649164 @default.
• W2997292022 hasConcept C2778770139 @default.
• W2997292022 hasConcept C33923547 @default.
• W2997292022 hasConcept C34388435 @default.
• W2997292022 hasConcept C41008148 @default.
• W2997292022 hasConcept C80444323 @default.
• W2997292022 hasConceptScore W2997292022C127001435 @default.
• W2997292022 hasConceptScore W2997292022C128838566 @default.
• W2997292022 hasConceptScore W2997292022C13280743 @default.
• W2997292022 hasConceptScore W2997292022C134306372 @default.
• W2997292022 hasConceptScore W2997292022C156325763 @default.
• W2997292022 hasConceptScore W2997292022C177264268 @default.
• W2997292022 hasConceptScore W2997292022C182620335 @default.
• W2997292022 hasConceptScore W2997292022C184337299 @default.
• W2997292022 hasConceptScore W2997292022C185798385 @default.
• W2997292022 hasConceptScore W2997292022C199360897 @default.
• W2997292022 hasConceptScore W2997292022C205649164 @default.
• W2997292022 hasConceptScore W2997292022C2778770139 @default.
• W2997292022 hasConceptScore W2997292022C33923547 @default.
• W2997292022 hasConceptScore W2997292022C34388435 @default.
• W2997292022 hasConceptScore W2997292022C41008148 @default.
• W2997292022 hasConceptScore W2997292022C80444323 @default.
• W2997292022 hasLocation W29972920221 @default.
• W2997292022 hasOpenAccess W2997292022 @default.
• W2997292022 hasPrimaryLocation W29972920221 @default.
• W2997292022 hasRelatedWork W1505818550 @default.
• W2997292022 hasRelatedWork W165019675 @default.
• W2997292022 hasRelatedWork W2101585749 @default.
• W2997292022 hasRelatedWork W2394640999 @default.
• W2997292022 hasRelatedWork W2405869186 @default.
• W2997292022 hasRelatedWork W2406975053 @default.
• W2997292022 hasRelatedWork W2571845910 @default.
• W2997292022 hasRelatedWork W2571958538 @default.

• next