Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122876137> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2122876137 endingPage "373" @default.
- W2122876137 startingPage "362" @default.
- W2122876137 abstract "Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete absence of negation does not weaken the language as both forms (classical and as-failure) can be intuitively simulated in the language. The semantics of the language is based on the preference between alternatives, yielding both a skeptical and a credulous approach. In this paper we demonstrate how OCLPs can be translated to semi-negative logic programs such that, depending on the transformation, the answer sets of the latter correspond with the skeptical or credulous answer sets of the former. By providing such a mapping, we have a mechanism for implementing OCLP using an answer set solver like smodels or dlv." @default.
- W2122876137 created "2016-06-24" @default.
- W2122876137 creator A5082496615 @default.
- W2122876137 date "2003-09-01" @default.
- W2122876137 modified "2023-09-23" @default.
- W2122876137 title "An Ordered Choice Logic Programming Front-End for Answer Set Solvers" @default.
- W2122876137 cites W144853445 @default.
- W2122876137 cites W1483545604 @default.
- W2122876137 cites W1514825935 @default.
- W2122876137 cites W1520957705 @default.
- W2122876137 cites W1565029141 @default.
- W2122876137 cites W1577996097 @default.
- W2122876137 cites W1672891595 @default.
- W2122876137 cites W1750970660 @default.
- W2122876137 cites W1780708643 @default.
- W2122876137 cites W1965188714 @default.
- W2122876137 cites W2058658036 @default.
- W2122876137 cites W2092211394 @default.
- W2122876137 cites W2124627636 @default.
- W2122876137 cites W2406579977 @default.
- W2122876137 cites W55050080 @default.
- W2122876137 cites W73864267 @default.
- W2122876137 cites W96077417 @default.
- W2122876137 hasPublicationYear "2003" @default.
- W2122876137 type Work @default.
- W2122876137 sameAs 2122876137 @default.
- W2122876137 citedByCount "2" @default.
- W2122876137 crossrefType "proceedings-article" @default.
- W2122876137 hasAuthorship W2122876137A5082496615 @default.
- W2122876137 hasConcept C105795698 @default.
- W2122876137 hasConcept C111472728 @default.
- W2122876137 hasConcept C127001435 @default.
- W2122876137 hasConcept C128838566 @default.
- W2122876137 hasConcept C138885662 @default.
- W2122876137 hasConcept C156325763 @default.
- W2122876137 hasConcept C177264268 @default.
- W2122876137 hasConcept C182620335 @default.
- W2122876137 hasConcept C18296254 @default.
- W2122876137 hasConcept C184337299 @default.
- W2122876137 hasConcept C194146651 @default.
- W2122876137 hasConcept C199360897 @default.
- W2122876137 hasConcept C2185349 @default.
- W2122876137 hasConcept C2778770139 @default.
- W2122876137 hasConcept C2781249084 @default.
- W2122876137 hasConcept C33923547 @default.
- W2122876137 hasConcept C41008148 @default.
- W2122876137 hasConcept C80444323 @default.
- W2122876137 hasConceptScore W2122876137C105795698 @default.
- W2122876137 hasConceptScore W2122876137C111472728 @default.
- W2122876137 hasConceptScore W2122876137C127001435 @default.
- W2122876137 hasConceptScore W2122876137C128838566 @default.
- W2122876137 hasConceptScore W2122876137C138885662 @default.
- W2122876137 hasConceptScore W2122876137C156325763 @default.
- W2122876137 hasConceptScore W2122876137C177264268 @default.
- W2122876137 hasConceptScore W2122876137C182620335 @default.
- W2122876137 hasConceptScore W2122876137C18296254 @default.
- W2122876137 hasConceptScore W2122876137C184337299 @default.
- W2122876137 hasConceptScore W2122876137C194146651 @default.
- W2122876137 hasConceptScore W2122876137C199360897 @default.
- W2122876137 hasConceptScore W2122876137C2185349 @default.
- W2122876137 hasConceptScore W2122876137C2778770139 @default.
- W2122876137 hasConceptScore W2122876137C2781249084 @default.
- W2122876137 hasConceptScore W2122876137C33923547 @default.
- W2122876137 hasConceptScore W2122876137C41008148 @default.
- W2122876137 hasConceptScore W2122876137C80444323 @default.
- W2122876137 hasLocation W21228761371 @default.
- W2122876137 hasOpenAccess W2122876137 @default.
- W2122876137 hasPrimaryLocation W21228761371 @default.
- W2122876137 hasRelatedWork W1493799155 @default.
- W2122876137 hasRelatedWork W1554100114 @default.
- W2122876137 hasRelatedWork W1561664582 @default.
- W2122876137 hasRelatedWork W1757790192 @default.
- W2122876137 hasRelatedWork W1983128223 @default.
- W2122876137 hasRelatedWork W2010291760 @default.
- W2122876137 hasRelatedWork W2097626996 @default.
- W2122876137 hasRelatedWork W2167505882 @default.
- W2122876137 hasRelatedWork W2399487384 @default.
- W2122876137 hasRelatedWork W2401728195 @default.
- W2122876137 hasRelatedWork W2540298533 @default.
- W2122876137 hasRelatedWork W2949956002 @default.
- W2122876137 hasRelatedWork W2963676309 @default.
- W2122876137 hasRelatedWork W2965093858 @default.
- W2122876137 hasRelatedWork W2980564926 @default.
- W2122876137 hasRelatedWork W3088535933 @default.
- W2122876137 hasRelatedWork W31976332 @default.
- W2122876137 hasRelatedWork W3214151432 @default.
- W2122876137 hasRelatedWork W53832566 @default.
- W2122876137 hasRelatedWork W248618342 @default.
- W2122876137 isParatext "false" @default.
- W2122876137 isRetracted "false" @default.
- W2122876137 magId "2122876137" @default.
- W2122876137 workType "article" @default.