Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571300093> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1571300093 endingPage "371" @default.
- W1571300093 startingPage "356" @default.
- W1571300093 abstract "In this paper we study the relationship between Stochastic Satisfiability (SSAT) [20,12] and Extended Hybrid Probabilistic Logic Programs (EHPP) with probabilistic answer set semantics [22]. We show that any instance of SSAT can be modularly translated into an EHPP program with probabilistic answer set semantics. In addition, we prove that there is no modular mapping from EHPP to SSAT. This shows that EHPP is more expressive than SSAT from the knowledge representation point of view. Moreover, we present that the translation in the other way around from a program in EHPP to SSAT is more involved. We show that not every program in EHPP can be translated into an SSAT instance, rather a restricted class of EHPP can be translated into SSAT." @default.
- W1571300093 created "2016-06-24" @default.
- W1571300093 creator A5011227186 @default.
- W1571300093 date "2008-01-01" @default.
- W1571300093 modified "2023-10-17" @default.
- W1571300093 title "On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability" @default.
- W1571300093 cites W1495732641 @default.
- W1571300093 cites W1514973146 @default.
- W1571300093 cites W1766332311 @default.
- W1571300093 cites W1822879401 @default.
- W1571300093 cites W1971164808 @default.
- W1571300093 cites W1980124682 @default.
- W1571300093 cites W2004414305 @default.
- W1571300093 cites W2019851160 @default.
- W1571300093 cites W2028667927 @default.
- W1571300093 cites W2048544655 @default.
- W1571300093 cites W2057361103 @default.
- W1571300093 cites W2068829386 @default.
- W1571300093 cites W2076698873 @default.
- W1571300093 cites W2078843353 @default.
- W1571300093 cites W2084943080 @default.
- W1571300093 cites W2120853830 @default.
- W1571300093 cites W2152131859 @default.
- W1571300093 cites W2152825128 @default.
- W1571300093 doi "https://doi.org/10.1007/978-3-540-87993-0_28" @default.
- W1571300093 hasPublicationYear "2008" @default.
- W1571300093 type Work @default.
- W1571300093 sameAs 1571300093 @default.
- W1571300093 citedByCount "4" @default.
- W1571300093 crossrefType "book-chapter" @default.
- W1571300093 hasAuthorship W1571300093A5011227186 @default.
- W1571300093 hasBestOaLocation W15713000932 @default.
- W1571300093 hasConcept C101468663 @default.
- W1571300093 hasConcept C127001435 @default.
- W1571300093 hasConcept C154945302 @default.
- W1571300093 hasConcept C156325763 @default.
- W1571300093 hasConcept C168773769 @default.
- W1571300093 hasConcept C177264268 @default.
- W1571300093 hasConcept C184337299 @default.
- W1571300093 hasConcept C199360897 @default.
- W1571300093 hasConcept C2777212361 @default.
- W1571300093 hasConcept C41008148 @default.
- W1571300093 hasConcept C49937458 @default.
- W1571300093 hasConcept C6943359 @default.
- W1571300093 hasConcept C80444323 @default.
- W1571300093 hasConceptScore W1571300093C101468663 @default.
- W1571300093 hasConceptScore W1571300093C127001435 @default.
- W1571300093 hasConceptScore W1571300093C154945302 @default.
- W1571300093 hasConceptScore W1571300093C156325763 @default.
- W1571300093 hasConceptScore W1571300093C168773769 @default.
- W1571300093 hasConceptScore W1571300093C177264268 @default.
- W1571300093 hasConceptScore W1571300093C184337299 @default.
- W1571300093 hasConceptScore W1571300093C199360897 @default.
- W1571300093 hasConceptScore W1571300093C2777212361 @default.
- W1571300093 hasConceptScore W1571300093C41008148 @default.
- W1571300093 hasConceptScore W1571300093C49937458 @default.
- W1571300093 hasConceptScore W1571300093C6943359 @default.
- W1571300093 hasConceptScore W1571300093C80444323 @default.
- W1571300093 hasLocation W15713000931 @default.
- W1571300093 hasLocation W15713000932 @default.
- W1571300093 hasOpenAccess W1571300093 @default.
- W1571300093 hasPrimaryLocation W15713000931 @default.
- W1571300093 hasRelatedWork W1571300093 @default.
- W1571300093 hasRelatedWork W1584297074 @default.
- W1571300093 hasRelatedWork W1988666619 @default.
- W1571300093 hasRelatedWork W2160562204 @default.
- W1571300093 hasRelatedWork W2404668260 @default.
- W1571300093 hasRelatedWork W2405257894 @default.
- W1571300093 hasRelatedWork W2895580255 @default.
- W1571300093 hasRelatedWork W3128877167 @default.
- W1571300093 hasRelatedWork W4285600840 @default.
- W1571300093 hasRelatedWork W4300107655 @default.
- W1571300093 isParatext "false" @default.
- W1571300093 isRetracted "false" @default.
- W1571300093 magId "1571300093" @default.
- W1571300093 workType "book-chapter" @default.