Matches in SemOpenAlex for { <https://semopenalex.org/work/W3042087013> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3042087013 abstract "[Gelfond and Lifschitz, 1991] introduced simple disjunctive logic programs and defined the answer set semantics called GL-semantics. We observed that the requirement of GL-semantics, i.e., an answer set should be a minimal model of the GL-reduct may be too strong and exclude some answer sets that would be reasonably acceptable. To address this, we present a novel and more permissive semantics, called determining inference semantics." @default.
- W3042087013 created "2020-07-16" @default.
- W3042087013 creator A5018193643 @default.
- W3042087013 creator A5082178480 @default.
- W3042087013 date "2020-07-01" @default.
- W3042087013 modified "2023-09-27" @default.
- W3042087013 title "Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract)" @default.
- W3042087013 doi "https://doi.org/10.24963/ijcai.2020/703" @default.
- W3042087013 hasPublicationYear "2020" @default.
- W3042087013 type Work @default.
- W3042087013 sameAs 3042087013 @default.
- W3042087013 citedByCount "1" @default.
- W3042087013 countsByYear W30420870132023 @default.
- W3042087013 crossrefType "proceedings-article" @default.
- W3042087013 hasAuthorship W3042087013A5018193643 @default.
- W3042087013 hasAuthorship W3042087013A5082178480 @default.
- W3042087013 hasBestOaLocation W30420870131 @default.
- W3042087013 hasConcept C111012933 @default.
- W3042087013 hasConcept C127001435 @default.
- W3042087013 hasConcept C128838566 @default.
- W3042087013 hasConcept C154945302 @default.
- W3042087013 hasConcept C156325763 @default.
- W3042087013 hasConcept C177264268 @default.
- W3042087013 hasConcept C184337299 @default.
- W3042087013 hasConcept C199360897 @default.
- W3042087013 hasConcept C207648694 @default.
- W3042087013 hasConcept C2776214188 @default.
- W3042087013 hasConcept C2987117450 @default.
- W3042087013 hasConcept C3746660 @default.
- W3042087013 hasConcept C41008148 @default.
- W3042087013 hasConcept C58041814 @default.
- W3042087013 hasConcept C69177213 @default.
- W3042087013 hasConcept C80444323 @default.
- W3042087013 hasConcept C89497691 @default.
- W3042087013 hasConceptScore W3042087013C111012933 @default.
- W3042087013 hasConceptScore W3042087013C127001435 @default.
- W3042087013 hasConceptScore W3042087013C128838566 @default.
- W3042087013 hasConceptScore W3042087013C154945302 @default.
- W3042087013 hasConceptScore W3042087013C156325763 @default.
- W3042087013 hasConceptScore W3042087013C177264268 @default.
- W3042087013 hasConceptScore W3042087013C184337299 @default.
- W3042087013 hasConceptScore W3042087013C199360897 @default.
- W3042087013 hasConceptScore W3042087013C207648694 @default.
- W3042087013 hasConceptScore W3042087013C2776214188 @default.
- W3042087013 hasConceptScore W3042087013C2987117450 @default.
- W3042087013 hasConceptScore W3042087013C3746660 @default.
- W3042087013 hasConceptScore W3042087013C41008148 @default.
- W3042087013 hasConceptScore W3042087013C58041814 @default.
- W3042087013 hasConceptScore W3042087013C69177213 @default.
- W3042087013 hasConceptScore W3042087013C80444323 @default.
- W3042087013 hasConceptScore W3042087013C89497691 @default.
- W3042087013 hasLocation W30420870131 @default.
- W3042087013 hasOpenAccess W3042087013 @default.
- W3042087013 hasPrimaryLocation W30420870131 @default.
- W3042087013 hasRelatedWork W1520666456 @default.
- W3042087013 hasRelatedWork W1565705080 @default.
- W3042087013 hasRelatedWork W1601169590 @default.
- W3042087013 hasRelatedWork W1605891696 @default.
- W3042087013 hasRelatedWork W2086560466 @default.
- W3042087013 hasRelatedWork W2114696493 @default.
- W3042087013 hasRelatedWork W2125406856 @default.
- W3042087013 hasRelatedWork W2211916015 @default.
- W3042087013 hasRelatedWork W2964282976 @default.
- W3042087013 hasRelatedWork W3042087013 @default.
- W3042087013 isParatext "false" @default.
- W3042087013 isRetracted "false" @default.
- W3042087013 magId "3042087013" @default.
- W3042087013 workType "article" @default.