Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287907441> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4287907441 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.
- W4287907441 created "2022-07-26" @default.
- W4287907441 creator A5004187658 @default.
- W4287907441 creator A5050387054 @default.
- W4287907441 creator A5006053030 @default.
- W4287907441 date "2020-01-04" @default.
- W4287907441 modified "2023-09-29" @default.
- W4287907441 title "selp: A Single-Shot Epistemic Logic Program Solver" @default.
- W4287907441 doi "https://doi.org/10.48550/arxiv.2001.01089" @default.
- W4287907441 hasPublicationYear "2020" @default.
- W4287907441 type Work @default.
- W4287907441 citedByCount "0" @default.
- W4287907441 crossrefType "posted-content" @default.
- W4287907441 hasAuthorship W4287907441A5004187658 @default.
- W4287907441 hasAuthorship W4287907441A5006053030 @default.
- W4287907441 hasAuthorship W4287907441A5050387054 @default.
- W4287907441 hasBestOaLocation W42879074411 @default.
- W4287907441 hasConcept C127001435 @default.
- W4287907441 hasConcept C128838566 @default.
- W4287907441 hasConcept C13280743 @default.
- W4287907441 hasConcept C134306372 @default.
- W4287907441 hasConcept C156325763 @default.
- W4287907441 hasConcept C177264268 @default.
- W4287907441 hasConcept C182620335 @default.
- W4287907441 hasConcept C184337299 @default.
- W4287907441 hasConcept C185798385 @default.
- W4287907441 hasConcept C199360897 @default.
- W4287907441 hasConcept C205649164 @default.
- W4287907441 hasConcept C2778770139 @default.
- W4287907441 hasConcept C33923547 @default.
- W4287907441 hasConcept C34388435 @default.
- W4287907441 hasConcept C41008148 @default.
- W4287907441 hasConcept C80444323 @default.
- W4287907441 hasConceptScore W4287907441C127001435 @default.
- W4287907441 hasConceptScore W4287907441C128838566 @default.
- W4287907441 hasConceptScore W4287907441C13280743 @default.
- W4287907441 hasConceptScore W4287907441C134306372 @default.
- W4287907441 hasConceptScore W4287907441C156325763 @default.
- W4287907441 hasConceptScore W4287907441C177264268 @default.
- W4287907441 hasConceptScore W4287907441C182620335 @default.
- W4287907441 hasConceptScore W4287907441C184337299 @default.
- W4287907441 hasConceptScore W4287907441C185798385 @default.
- W4287907441 hasConceptScore W4287907441C199360897 @default.
- W4287907441 hasConceptScore W4287907441C205649164 @default.
- W4287907441 hasConceptScore W4287907441C2778770139 @default.
- W4287907441 hasConceptScore W4287907441C33923547 @default.
- W4287907441 hasConceptScore W4287907441C34388435 @default.
- W4287907441 hasConceptScore W4287907441C41008148 @default.
- W4287907441 hasConceptScore W4287907441C80444323 @default.
- W4287907441 hasLocation W42879074411 @default.
- W4287907441 hasLocation W42879074412 @default.
- W4287907441 hasOpenAccess W4287907441 @default.
- W4287907441 hasPrimaryLocation W42879074411 @default.
- W4287907441 hasRelatedWork W1598230960 @default.
- W4287907441 hasRelatedWork W1756530980 @default.
- W4287907441 hasRelatedWork W2016993683 @default.
- W4287907441 hasRelatedWork W2036349108 @default.
- W4287907441 hasRelatedWork W2157541508 @default.
- W4287907441 hasRelatedWork W2160562204 @default.
- W4287907441 hasRelatedWork W2174399230 @default.
- W4287907441 hasRelatedWork W2888937828 @default.
- W4287907441 hasRelatedWork W2949422477 @default.
- W4287907441 hasRelatedWork W2592609194 @default.
- W4287907441 isParatext "false" @default.
- W4287907441 isRetracted "false" @default.
- W4287907441 workType "article" @default.