Matches in SemOpenAlex for { <https://semopenalex.org/work/W2211916015> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2211916015 endingPage "291" @default.
- W2211916015 startingPage "286" @default.
- W2211916015 abstract "In this paper, we extend the progression semantics for first-order disjunctive logic programs and show that it coincides with the stable model semantics. Based on it, we further show how disjunctive answer set programming is related to Satisfiability Modulo Theories." @default.
- W2211916015 created "2016-06-24" @default.
- W2211916015 creator A5066608665 @default.
- W2211916015 creator A5086664284 @default.
- W2211916015 date "2011-08-04" @default.
- W2211916015 modified "2023-09-26" @default.
- W2211916015 title "Progression Semantics for Disjunctive Logic Programs" @default.
- W2211916015 cites W1507973825 @default.
- W2211916015 cites W1770842667 @default.
- W2211916015 cites W2005957522 @default.
- W2211916015 cites W2022846948 @default.
- W2211916015 cites W2076698873 @default.
- W2211916015 cites W2082367267 @default.
- W2211916015 cites W2130489957 @default.
- W2211916015 cites W2130548742 @default.
- W2211916015 cites W2134039900 @default.
- W2211916015 cites W2172538317 @default.
- W2211916015 cites W2295882966 @default.
- W2211916015 doi "https://doi.org/10.1609/aaai.v25i1.7843" @default.
- W2211916015 hasPublicationYear "2011" @default.
- W2211916015 type Work @default.
- W2211916015 sameAs 2211916015 @default.
- W2211916015 citedByCount "7" @default.
- W2211916015 countsByYear W22119160152012 @default.
- W2211916015 countsByYear W22119160152013 @default.
- W2211916015 countsByYear W22119160152014 @default.
- W2211916015 countsByYear W22119160152015 @default.
- W2211916015 countsByYear W22119160152016 @default.
- W2211916015 countsByYear W22119160152019 @default.
- W2211916015 crossrefType "journal-article" @default.
- W2211916015 hasAuthorship W2211916015A5066608665 @default.
- W2211916015 hasAuthorship W2211916015A5086664284 @default.
- W2211916015 hasBestOaLocation W22119160151 @default.
- W2211916015 hasConcept C118615104 @default.
- W2211916015 hasConcept C127001435 @default.
- W2211916015 hasConcept C128838566 @default.
- W2211916015 hasConcept C156325763 @default.
- W2211916015 hasConcept C164155591 @default.
- W2211916015 hasConcept C168773769 @default.
- W2211916015 hasConcept C177264268 @default.
- W2211916015 hasConcept C182620335 @default.
- W2211916015 hasConcept C184337299 @default.
- W2211916015 hasConcept C199360897 @default.
- W2211916015 hasConcept C207648694 @default.
- W2211916015 hasConcept C2987117450 @default.
- W2211916015 hasConcept C33923547 @default.
- W2211916015 hasConcept C41008148 @default.
- W2211916015 hasConcept C54732982 @default.
- W2211916015 hasConcept C58041814 @default.
- W2211916015 hasConcept C80444323 @default.
- W2211916015 hasConcept C89497691 @default.
- W2211916015 hasConcept C9672783 @default.
- W2211916015 hasConceptScore W2211916015C118615104 @default.
- W2211916015 hasConceptScore W2211916015C127001435 @default.
- W2211916015 hasConceptScore W2211916015C128838566 @default.
- W2211916015 hasConceptScore W2211916015C156325763 @default.
- W2211916015 hasConceptScore W2211916015C164155591 @default.
- W2211916015 hasConceptScore W2211916015C168773769 @default.
- W2211916015 hasConceptScore W2211916015C177264268 @default.
- W2211916015 hasConceptScore W2211916015C182620335 @default.
- W2211916015 hasConceptScore W2211916015C184337299 @default.
- W2211916015 hasConceptScore W2211916015C199360897 @default.
- W2211916015 hasConceptScore W2211916015C207648694 @default.
- W2211916015 hasConceptScore W2211916015C2987117450 @default.
- W2211916015 hasConceptScore W2211916015C33923547 @default.
- W2211916015 hasConceptScore W2211916015C41008148 @default.
- W2211916015 hasConceptScore W2211916015C54732982 @default.
- W2211916015 hasConceptScore W2211916015C58041814 @default.
- W2211916015 hasConceptScore W2211916015C80444323 @default.
- W2211916015 hasConceptScore W2211916015C89497691 @default.
- W2211916015 hasConceptScore W2211916015C9672783 @default.
- W2211916015 hasIssue "1" @default.
- W2211916015 hasLocation W22119160151 @default.
- W2211916015 hasOpenAccess W2211916015 @default.
- W2211916015 hasPrimaryLocation W22119160151 @default.
- W2211916015 hasRelatedWork W114547669 @default.
- W2211916015 hasRelatedWork W1565705080 @default.
- W2211916015 hasRelatedWork W2125406856 @default.
- W2211916015 hasRelatedWork W2135819447 @default.
- W2211916015 hasRelatedWork W2211916015 @default.
- W2211916015 hasRelatedWork W2623765780 @default.
- W2211916015 hasRelatedWork W2953068149 @default.
- W2211916015 hasRelatedWork W2964282976 @default.
- W2211916015 hasRelatedWork W2980564926 @default.
- W2211916015 hasRelatedWork W2788904436 @default.
- W2211916015 hasVolume "25" @default.
- W2211916015 isParatext "false" @default.
- W2211916015 isRetracted "false" @default.
- W2211916015 magId "2211916015" @default.
- W2211916015 workType "article" @default.