Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382239441> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4382239441 endingPage "6329" @default.
- W4382239441 startingPage "6322" @default.
- W4382239441 abstract "In this paper we introduce a simple way to evaluate epistemic logic programs by means of answer set programming with quantifiers, a recently proposed extension of answer set programming. The method can easily be adapted for most of the many semantics that were proposed for epistemic logic programs. We evaluate the proposed transformation on existing benchmarks using a recently proposed solver for answer set programming with quantifiers, which relies on QBF solvers." @default.
- W4382239441 created "2023-06-28" @default.
- W4382239441 creator A5017101409 @default.
- W4382239441 creator A5050387054 @default.
- W4382239441 date "2023-06-26" @default.
- W4382239441 modified "2023-09-23" @default.
- W4382239441 title "Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers" @default.
- W4382239441 doi "https://doi.org/10.1609/aaai.v37i5.25778" @default.
- W4382239441 hasPublicationYear "2023" @default.
- W4382239441 type Work @default.
- W4382239441 citedByCount "0" @default.
- W4382239441 crossrefType "journal-article" @default.
- W4382239441 hasAuthorship W4382239441A5017101409 @default.
- W4382239441 hasAuthorship W4382239441A5050387054 @default.
- W4382239441 hasBestOaLocation W43822394411 @default.
- W4382239441 hasConcept C104317684 @default.
- W4382239441 hasConcept C127001435 @default.
- W4382239441 hasConcept C128838566 @default.
- W4382239441 hasConcept C156325763 @default.
- W4382239441 hasConcept C177264268 @default.
- W4382239441 hasConcept C182620335 @default.
- W4382239441 hasConcept C184337299 @default.
- W4382239441 hasConcept C185592680 @default.
- W4382239441 hasConcept C199360897 @default.
- W4382239441 hasConcept C204241405 @default.
- W4382239441 hasConcept C2778029271 @default.
- W4382239441 hasConcept C2778770139 @default.
- W4382239441 hasConcept C41008148 @default.
- W4382239441 hasConcept C55493867 @default.
- W4382239441 hasConcept C80444323 @default.
- W4382239441 hasConceptScore W4382239441C104317684 @default.
- W4382239441 hasConceptScore W4382239441C127001435 @default.
- W4382239441 hasConceptScore W4382239441C128838566 @default.
- W4382239441 hasConceptScore W4382239441C156325763 @default.
- W4382239441 hasConceptScore W4382239441C177264268 @default.
- W4382239441 hasConceptScore W4382239441C182620335 @default.
- W4382239441 hasConceptScore W4382239441C184337299 @default.
- W4382239441 hasConceptScore W4382239441C185592680 @default.
- W4382239441 hasConceptScore W4382239441C199360897 @default.
- W4382239441 hasConceptScore W4382239441C204241405 @default.
- W4382239441 hasConceptScore W4382239441C2778029271 @default.
- W4382239441 hasConceptScore W4382239441C2778770139 @default.
- W4382239441 hasConceptScore W4382239441C41008148 @default.
- W4382239441 hasConceptScore W4382239441C55493867 @default.
- W4382239441 hasConceptScore W4382239441C80444323 @default.
- W4382239441 hasIssue "5" @default.
- W4382239441 hasLocation W43822394411 @default.
- W4382239441 hasOpenAccess W4382239441 @default.
- W4382239441 hasPrimaryLocation W43822394411 @default.
- W4382239441 hasRelatedWork W1511110679 @default.
- W4382239441 hasRelatedWork W1535706669 @default.
- W4382239441 hasRelatedWork W1626176828 @default.
- W4382239441 hasRelatedWork W2036349108 @default.
- W4382239441 hasRelatedWork W2091719738 @default.
- W4382239441 hasRelatedWork W2115128204 @default.
- W4382239441 hasRelatedWork W2157541508 @default.
- W4382239441 hasRelatedWork W2160562204 @default.
- W4382239441 hasRelatedWork W2888937828 @default.
- W4382239441 hasRelatedWork W2592609194 @default.
- W4382239441 hasVolume "37" @default.
- W4382239441 isParatext "false" @default.
- W4382239441 isRetracted "false" @default.
- W4382239441 workType "article" @default.