Matches in SemOpenAlex for { <https://semopenalex.org/work/W2553103525> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2553103525 endingPage "131" @default.
- W2553103525 startingPage "93" @default.
- W2553103525 abstract "In this work we propose an extension of logic programming, under the stable model semantics, and the action language ℬ𝒞 where rule bodies and causal laws may contain a new kind of literal, that we call causal literal, that allows us to inspect the causal justifications of standard atoms. To this ai m, we extend a recently proposed semantics where each atom belonging to a stable model is associated with a justification in the form of an algebraic expression (which corresponds to a logical proof built with rule labels). In particular, we use causal literals for evaluating and deriving new conclusions from statements like “A has been sufficient to cause B.” We also use the proposed semantics to extend the action language ℬ𝒞 with causal literals and, by some examples, show how this action language is useful for expressing a high level representation of some typical Knowledge Representation examples involving causal knowledge." @default.
- W2553103525 created "2016-11-30" @default.
- W2553103525 creator A5056956560 @default.
- W2553103525 date "2016-11-17" @default.
- W2553103525 modified "2023-10-14" @default.
- W2553103525 title "Towards Deriving Conclusions from Cause-effect Relations" @default.
- W2553103525 cites W1562570268 @default.
- W2553103525 cites W1601726121 @default.
- W2553103525 cites W1672891595 @default.
- W2553103525 cites W1694306392 @default.
- W2553103525 cites W1878225033 @default.
- W2553103525 cites W189303310 @default.
- W2553103525 cites W1914057355 @default.
- W2553103525 cites W2036900631 @default.
- W2553103525 cites W2108911687 @default.
- W2553103525 cites W2141740710 @default.
- W2553103525 cites W2143891888 @default.
- W2553103525 cites W2170655684 @default.
- W2553103525 cites W2506251462 @default.
- W2553103525 cites W3099229524 @default.
- W2553103525 doi "https://doi.org/10.3233/fi-2016-1399" @default.
- W2553103525 hasPublicationYear "2016" @default.
- W2553103525 type Work @default.
- W2553103525 sameAs 2553103525 @default.
- W2553103525 citedByCount "4" @default.
- W2553103525 countsByYear W25531035252016 @default.
- W2553103525 countsByYear W25531035252019 @default.
- W2553103525 countsByYear W25531035252023 @default.
- W2553103525 crossrefType "journal-article" @default.
- W2553103525 hasAuthorship W2553103525A5056956560 @default.
- W2553103525 hasConcept C121332964 @default.
- W2553103525 hasConcept C128838566 @default.
- W2553103525 hasConcept C154945302 @default.
- W2553103525 hasConcept C161301231 @default.
- W2553103525 hasConcept C17744445 @default.
- W2553103525 hasConcept C184337299 @default.
- W2553103525 hasConcept C199360897 @default.
- W2553103525 hasConcept C199539241 @default.
- W2553103525 hasConcept C204321447 @default.
- W2553103525 hasConcept C2776359362 @default.
- W2553103525 hasConcept C2778029271 @default.
- W2553103525 hasConcept C2780791683 @default.
- W2553103525 hasConcept C2780882242 @default.
- W2553103525 hasConcept C41008148 @default.
- W2553103525 hasConcept C62520636 @default.
- W2553103525 hasConcept C80444323 @default.
- W2553103525 hasConcept C94625758 @default.
- W2553103525 hasConceptScore W2553103525C121332964 @default.
- W2553103525 hasConceptScore W2553103525C128838566 @default.
- W2553103525 hasConceptScore W2553103525C154945302 @default.
- W2553103525 hasConceptScore W2553103525C161301231 @default.
- W2553103525 hasConceptScore W2553103525C17744445 @default.
- W2553103525 hasConceptScore W2553103525C184337299 @default.
- W2553103525 hasConceptScore W2553103525C199360897 @default.
- W2553103525 hasConceptScore W2553103525C199539241 @default.
- W2553103525 hasConceptScore W2553103525C204321447 @default.
- W2553103525 hasConceptScore W2553103525C2776359362 @default.
- W2553103525 hasConceptScore W2553103525C2778029271 @default.
- W2553103525 hasConceptScore W2553103525C2780791683 @default.
- W2553103525 hasConceptScore W2553103525C2780882242 @default.
- W2553103525 hasConceptScore W2553103525C41008148 @default.
- W2553103525 hasConceptScore W2553103525C62520636 @default.
- W2553103525 hasConceptScore W2553103525C80444323 @default.
- W2553103525 hasConceptScore W2553103525C94625758 @default.
- W2553103525 hasIssue "1" @default.
- W2553103525 hasLocation W25531035251 @default.
- W2553103525 hasOpenAccess W2553103525 @default.
- W2553103525 hasPrimaryLocation W25531035251 @default.
- W2553103525 hasRelatedWork W1587224678 @default.
- W2553103525 hasRelatedWork W1778728081 @default.
- W2553103525 hasRelatedWork W2047793074 @default.
- W2553103525 hasRelatedWork W2102588965 @default.
- W2553103525 hasRelatedWork W27605384 @default.
- W2553103525 hasRelatedWork W3107474891 @default.
- W2553103525 hasRelatedWork W3116179835 @default.
- W2553103525 hasRelatedWork W3142377258 @default.
- W2553103525 hasRelatedWork W3200411040 @default.
- W2553103525 hasRelatedWork W4250918063 @default.
- W2553103525 hasVolume "147" @default.
- W2553103525 isParatext "false" @default.
- W2553103525 isRetracted "false" @default.
- W2553103525 magId "2553103525" @default.
- W2553103525 workType "article" @default.