Matches in SemOpenAlex for { <https://semopenalex.org/work/W2256199958> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2256199958 endingPage "204" @default.
- W2256199958 startingPage "191" @default.
- W2256199958 abstract "We revise some results in Argumentation-based Logic Programming under the umbrella of Satisfiability Modulo CHR (SMCHR), specifically considering Defeasible Logic Programming (DeLP). Strict and defeasible rules in DeLP can be cast to SMCHR rules, which act as conflict “disentanglers” and implement the Theory part. At the same time, we inherit several built-in theory solvers, as SAT, unification, or linear arithmetic ones, which implement the Satisfiability-modulo part. Moreover, we show how to deal with possibilistic extensions of DeLP, i.e., Possibilistic-DeLP, where certainty scores describing the possibility of some events are associated with rules." @default.
- W2256199958 created "2016-06-24" @default.
- W2256199958 creator A5058495604 @default.
- W2256199958 date "2015-01-01" @default.
- W2256199958 modified "2023-10-11" @default.
- W2256199958 title "Defeasible Logic Programming in Satisfiability Modulo CHR" @default.
- W2256199958 cites W1480865297 @default.
- W2256199958 cites W1536718957 @default.
- W2256199958 cites W1578957392 @default.
- W2256199958 cites W1965317505 @default.
- W2256199958 cites W1970198086 @default.
- W2256199958 cites W1980425590 @default.
- W2256199958 cites W2037950528 @default.
- W2256199958 cites W2069176561 @default.
- W2256199958 cites W2074571730 @default.
- W2256199958 cites W2079333278 @default.
- W2256199958 cites W2104126268 @default.
- W2256199958 cites W2159569510 @default.
- W2256199958 cites W2162918666 @default.
- W2256199958 cites W2256199958 @default.
- W2256199958 cites W4234159174 @default.
- W2256199958 doi "https://doi.org/10.1007/978-3-319-24309-2_15" @default.
- W2256199958 hasPublicationYear "2015" @default.
- W2256199958 type Work @default.
- W2256199958 sameAs 2256199958 @default.
- W2256199958 citedByCount "1" @default.
- W2256199958 countsByYear W22561999582015 @default.
- W2256199958 crossrefType "book-chapter" @default.
- W2256199958 hasAuthorship W2256199958A5058495604 @default.
- W2256199958 hasConcept C111472728 @default.
- W2256199958 hasConcept C11413529 @default.
- W2256199958 hasConcept C118615104 @default.
- W2256199958 hasConcept C128838566 @default.
- W2256199958 hasConcept C138885662 @default.
- W2256199958 hasConcept C140843580 @default.
- W2256199958 hasConcept C154945302 @default.
- W2256199958 hasConcept C156884757 @default.
- W2256199958 hasConcept C164155591 @default.
- W2256199958 hasConcept C168773769 @default.
- W2256199958 hasConcept C193856179 @default.
- W2256199958 hasConcept C199360897 @default.
- W2256199958 hasConcept C33923547 @default.
- W2256199958 hasConcept C41008148 @default.
- W2256199958 hasConcept C54732982 @default.
- W2256199958 hasConcept C65059942 @default.
- W2256199958 hasConcept C80444323 @default.
- W2256199958 hasConcept C94375191 @default.
- W2256199958 hasConcept C96146094 @default.
- W2256199958 hasConceptScore W2256199958C111472728 @default.
- W2256199958 hasConceptScore W2256199958C11413529 @default.
- W2256199958 hasConceptScore W2256199958C118615104 @default.
- W2256199958 hasConceptScore W2256199958C128838566 @default.
- W2256199958 hasConceptScore W2256199958C138885662 @default.
- W2256199958 hasConceptScore W2256199958C140843580 @default.
- W2256199958 hasConceptScore W2256199958C154945302 @default.
- W2256199958 hasConceptScore W2256199958C156884757 @default.
- W2256199958 hasConceptScore W2256199958C164155591 @default.
- W2256199958 hasConceptScore W2256199958C168773769 @default.
- W2256199958 hasConceptScore W2256199958C193856179 @default.
- W2256199958 hasConceptScore W2256199958C199360897 @default.
- W2256199958 hasConceptScore W2256199958C33923547 @default.
- W2256199958 hasConceptScore W2256199958C41008148 @default.
- W2256199958 hasConceptScore W2256199958C54732982 @default.
- W2256199958 hasConceptScore W2256199958C65059942 @default.
- W2256199958 hasConceptScore W2256199958C80444323 @default.
- W2256199958 hasConceptScore W2256199958C94375191 @default.
- W2256199958 hasConceptScore W2256199958C96146094 @default.
- W2256199958 hasLocation W22561999581 @default.
- W2256199958 hasOpenAccess W2256199958 @default.
- W2256199958 hasPrimaryLocation W22561999581 @default.
- W2256199958 hasRelatedWork W151947385 @default.
- W2256199958 hasRelatedWork W2098238158 @default.
- W2256199958 hasRelatedWork W2118735566 @default.
- W2256199958 hasRelatedWork W2380969826 @default.
- W2256199958 hasRelatedWork W2481680351 @default.
- W2256199958 hasRelatedWork W2810795263 @default.
- W2256199958 hasRelatedWork W2957245060 @default.
- W2256199958 hasRelatedWork W2964084085 @default.
- W2256199958 hasRelatedWork W2969415202 @default.
- W2256199958 hasRelatedWork W4243507758 @default.
- W2256199958 isParatext "false" @default.
- W2256199958 isRetracted "false" @default.
- W2256199958 magId "2256199958" @default.
- W2256199958 workType "book-chapter" @default.