Matches in SemOpenAlex for { <https://semopenalex.org/work/W1964021485> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1964021485 endingPage "19" @default.
- W1964021485 startingPage "1" @default.
- W1964021485 abstract "In this paper, the class of possibilistic nested logic programs is introduced. These possibilistic logic programs allow us to use nested expressions in the bodies and heads of their rules. By considering a possibilistic nested logic program as a possibilistic theory, a construction of a possibilistic logic programing semantics based on answer sets for nested logic programs and the proof theory of possibilistic logic is defined. In order to define a general method for computing the possibilistic answer sets of a possibilistic nested program, the idea of equivalence between possibilistic nested programs is explored. By considering properties of equivalence between possibilistic programs, a process of transforming a possibilistic nested logic program into a possibilistic disjunctive logic program is defined. Given that our approach is an extension of answer set programming, we also explore the concept of strong equivalence between possibilistic nested logic programs. To this end, we introduce the concept of poss SE-models. Therefore, we show that two possibilistic nested logic programs are strong equivalents whenever they have the same poss SE-models. The expressiveness of the possibilistic nested logic programs is illustrated by a scenario from the medical domain. In particular, we exemplify how possibilistic nested logic programs are expressive enough for capturing medical guidelines which are pervaded by vagueness and qualitative information." @default.
- W1964021485 created "2016-06-24" @default.
- W1964021485 creator A5045363362 @default.
- W1964021485 creator A5066470650 @default.
- W1964021485 date "2015-04-01" @default.
- W1964021485 modified "2023-10-17" @default.
- W1964021485 title "Possibilistic nested logic programs and strong equivalence" @default.
- W1964021485 cites W1577536563 @default.
- W1964021485 cites W1606419968 @default.
- W1964021485 cites W1694306392 @default.
- W1964021485 cites W1783796958 @default.
- W1964021485 cites W1985274317 @default.
- W1964021485 cites W2001716794 @default.
- W1964021485 cites W2001805670 @default.
- W1964021485 cites W2011265917 @default.
- W1964021485 cites W2025055641 @default.
- W1964021485 cites W2028582842 @default.
- W1964021485 cites W2040340501 @default.
- W1964021485 cites W2043671500 @default.
- W1964021485 cites W2066287719 @default.
- W1964021485 cites W2067452466 @default.
- W1964021485 cites W2075319556 @default.
- W1964021485 cites W2076698873 @default.
- W1964021485 cites W2085831551 @default.
- W1964021485 cites W2087432892 @default.
- W1964021485 cites W2104448458 @default.
- W1964021485 cites W2111422218 @default.
- W1964021485 cites W2114830586 @default.
- W1964021485 cites W2161403060 @default.
- W1964021485 cites W2162918666 @default.
- W1964021485 cites W2178708778 @default.
- W1964021485 cites W1911943310 @default.
- W1964021485 doi "https://doi.org/10.1016/j.ijar.2015.01.004" @default.
- W1964021485 hasPublicationYear "2015" @default.
- W1964021485 type Work @default.
- W1964021485 sameAs 1964021485 @default.
- W1964021485 citedByCount "3" @default.
- W1964021485 countsByYear W19640214852018 @default.
- W1964021485 countsByYear W19640214852021 @default.
- W1964021485 countsByYear W19640214852023 @default.
- W1964021485 crossrefType "journal-article" @default.
- W1964021485 hasAuthorship W1964021485A5045363362 @default.
- W1964021485 hasAuthorship W1964021485A5066470650 @default.
- W1964021485 hasBestOaLocation W19640214851 @default.
- W1964021485 hasConcept C102993220 @default.
- W1964021485 hasConcept C118615104 @default.
- W1964021485 hasConcept C127001435 @default.
- W1964021485 hasConcept C128838566 @default.
- W1964021485 hasConcept C137912672 @default.
- W1964021485 hasConcept C154945302 @default.
- W1964021485 hasConcept C182620335 @default.
- W1964021485 hasConcept C203659156 @default.
- W1964021485 hasConcept C2780069185 @default.
- W1964021485 hasConcept C33923547 @default.
- W1964021485 hasConcept C41008148 @default.
- W1964021485 hasConcept C42011625 @default.
- W1964021485 hasConcept C58166 @default.
- W1964021485 hasConcept C80444323 @default.
- W1964021485 hasConceptScore W1964021485C102993220 @default.
- W1964021485 hasConceptScore W1964021485C118615104 @default.
- W1964021485 hasConceptScore W1964021485C127001435 @default.
- W1964021485 hasConceptScore W1964021485C128838566 @default.
- W1964021485 hasConceptScore W1964021485C137912672 @default.
- W1964021485 hasConceptScore W1964021485C154945302 @default.
- W1964021485 hasConceptScore W1964021485C182620335 @default.
- W1964021485 hasConceptScore W1964021485C203659156 @default.
- W1964021485 hasConceptScore W1964021485C2780069185 @default.
- W1964021485 hasConceptScore W1964021485C33923547 @default.
- W1964021485 hasConceptScore W1964021485C41008148 @default.
- W1964021485 hasConceptScore W1964021485C42011625 @default.
- W1964021485 hasConceptScore W1964021485C58166 @default.
- W1964021485 hasConceptScore W1964021485C80444323 @default.
- W1964021485 hasFunder F4320321030 @default.
- W1964021485 hasLocation W19640214851 @default.
- W1964021485 hasOpenAccess W1964021485 @default.
- W1964021485 hasPrimaryLocation W19640214851 @default.
- W1964021485 hasRelatedWork W1484234566 @default.
- W1964021485 hasRelatedWork W1496474960 @default.
- W1964021485 hasRelatedWork W1555667134 @default.
- W1964021485 hasRelatedWork W1556363336 @default.
- W1964021485 hasRelatedWork W1598230960 @default.
- W1964021485 hasRelatedWork W1601153438 @default.
- W1964021485 hasRelatedWork W1602726442 @default.
- W1964021485 hasRelatedWork W2016993683 @default.
- W1964021485 hasRelatedWork W2161391467 @default.
- W1964021485 hasRelatedWork W2949422477 @default.
- W1964021485 hasVolume "59" @default.
- W1964021485 isParatext "false" @default.
- W1964021485 isRetracted "false" @default.
- W1964021485 magId "1964021485" @default.
- W1964021485 workType "article" @default.