Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088535933> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3088535933 endingPage "847" @default.
- W3088535933 startingPage "834" @default.
- W3088535933 abstract "Abstract We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics built upon the Answer Set Programming system clingo. The input language of eclingo uses the syntax extension capabilities of clingo to define subjective literals that, as usual in epistemic logic programs, allow for checking the truth of a regular literal in all or in some of the answer sets of a program. The eclingo solving process follows a guess and check strategy. It first generates potential truth values for subjective literals and, in a second step, it checks the obtained result with respect to the cautious and brave consequences of the program. This process is implemented using the multi-shot functionalities of clingo. We have also implemented some optimisations, aiming at reducing the search space and, therefore, increasing eclingo ’s efficiency in some scenarios. Finally, we compare the efficiency of eclingo with two state-of-the-art solvers for epistemic logic programs on a pair of benchmark scenarios and show that eclingo generally outperforms their obtained results." @default.
- W3088535933 created "2020-10-01" @default.
- W3088535933 creator A5025285679 @default.
- W3088535933 creator A5028323744 @default.
- W3088535933 creator A5056956560 @default.
- W3088535933 creator A5058467603 @default.
- W3088535933 creator A5070528616 @default.
- W3088535933 date "2020-09-22" @default.
- W3088535933 modified "2023-10-18" @default.
- W3088535933 title "eclingo : A Solver for Epistemic Logic Programs" @default.
- W3088535933 cites W1986999264 @default.
- W3088535933 cites W2076698873 @default.
- W3088535933 cites W2468539056 @default.
- W3088535933 cites W2962950580 @default.
- W3088535933 cites W2963234253 @default.
- W3088535933 cites W3099574573 @default.
- W3088535933 cites W3142178029 @default.
- W3088535933 doi "https://doi.org/10.1017/s1471068420000228" @default.
- W3088535933 hasPublicationYear "2020" @default.
- W3088535933 type Work @default.
- W3088535933 sameAs 3088535933 @default.
- W3088535933 citedByCount "10" @default.
- W3088535933 countsByYear W30885359332020 @default.
- W3088535933 countsByYear W30885359332021 @default.
- W3088535933 countsByYear W30885359332022 @default.
- W3088535933 countsByYear W30885359332023 @default.
- W3088535933 crossrefType "journal-article" @default.
- W3088535933 hasAuthorship W3088535933A5025285679 @default.
- W3088535933 hasAuthorship W3088535933A5028323744 @default.
- W3088535933 hasAuthorship W3088535933A5056956560 @default.
- W3088535933 hasAuthorship W3088535933A5058467603 @default.
- W3088535933 hasAuthorship W3088535933A5070528616 @default.
- W3088535933 hasBestOaLocation W30885359332 @default.
- W3088535933 hasConcept C102993220 @default.
- W3088535933 hasConcept C107247716 @default.
- W3088535933 hasConcept C127001435 @default.
- W3088535933 hasConcept C128838566 @default.
- W3088535933 hasConcept C13280743 @default.
- W3088535933 hasConcept C154945302 @default.
- W3088535933 hasConcept C156325763 @default.
- W3088535933 hasConcept C168773769 @default.
- W3088535933 hasConcept C177264268 @default.
- W3088535933 hasConcept C182620335 @default.
- W3088535933 hasConcept C184337299 @default.
- W3088535933 hasConcept C185798385 @default.
- W3088535933 hasConcept C199360897 @default.
- W3088535933 hasConcept C203659156 @default.
- W3088535933 hasConcept C205649164 @default.
- W3088535933 hasConcept C2778770139 @default.
- W3088535933 hasConcept C2780882242 @default.
- W3088535933 hasConcept C41008148 @default.
- W3088535933 hasConcept C46274116 @default.
- W3088535933 hasConcept C60048249 @default.
- W3088535933 hasConcept C80444323 @default.
- W3088535933 hasConceptScore W3088535933C102993220 @default.
- W3088535933 hasConceptScore W3088535933C107247716 @default.
- W3088535933 hasConceptScore W3088535933C127001435 @default.
- W3088535933 hasConceptScore W3088535933C128838566 @default.
- W3088535933 hasConceptScore W3088535933C13280743 @default.
- W3088535933 hasConceptScore W3088535933C154945302 @default.
- W3088535933 hasConceptScore W3088535933C156325763 @default.
- W3088535933 hasConceptScore W3088535933C168773769 @default.
- W3088535933 hasConceptScore W3088535933C177264268 @default.
- W3088535933 hasConceptScore W3088535933C182620335 @default.
- W3088535933 hasConceptScore W3088535933C184337299 @default.
- W3088535933 hasConceptScore W3088535933C185798385 @default.
- W3088535933 hasConceptScore W3088535933C199360897 @default.
- W3088535933 hasConceptScore W3088535933C203659156 @default.
- W3088535933 hasConceptScore W3088535933C205649164 @default.
- W3088535933 hasConceptScore W3088535933C2778770139 @default.
- W3088535933 hasConceptScore W3088535933C2780882242 @default.
- W3088535933 hasConceptScore W3088535933C41008148 @default.
- W3088535933 hasConceptScore W3088535933C46274116 @default.
- W3088535933 hasConceptScore W3088535933C60048249 @default.
- W3088535933 hasConceptScore W3088535933C80444323 @default.
- W3088535933 hasIssue "6" @default.
- W3088535933 hasLocation W30885359331 @default.
- W3088535933 hasLocation W30885359332 @default.
- W3088535933 hasOpenAccess W3088535933 @default.
- W3088535933 hasPrimaryLocation W30885359331 @default.
- W3088535933 hasRelatedWork W1535706669 @default.
- W3088535933 hasRelatedWork W1630259549 @default.
- W3088535933 hasRelatedWork W2036349108 @default.
- W3088535933 hasRelatedWork W2157541508 @default.
- W3088535933 hasRelatedWork W2160562204 @default.
- W3088535933 hasRelatedWork W2888937828 @default.
- W3088535933 hasRelatedWork W3047051242 @default.
- W3088535933 hasRelatedWork W3088535933 @default.
- W3088535933 hasRelatedWork W4286783806 @default.
- W3088535933 hasRelatedWork W2592609194 @default.
- W3088535933 hasVolume "20" @default.
- W3088535933 isParatext "false" @default.
- W3088535933 isRetracted "false" @default.
- W3088535933 magId "3088535933" @default.
- W3088535933 workType "article" @default.