Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143234675> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2143234675 endingPage "671" @default.
- W2143234675 startingPage "667" @default.
- W2143234675 abstract "Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of well founded models of the normal logic programs obtained by selecting one disjunct from each ground LPAD clause. The paper presents SLGAD resolution that computes the (conditional) probability of a ground query from an LPAD and is based on SLG resolution for normal logic programs. SLGAD is evaluated on classical benchmarks for well founded semantics inference algorithms, namely the stalemate game and the ancestor relation. SLGAD is compared with Cilog2 and SLDNFAD, an algorithm based on SLDNF, on the programs that are modularly acyclic. The results show that SLGAD deals correctly with cyclic programs and, even if it is more expensive than SLDNFAD on problems where SLDNFAD succeeds, is faster than Cilog2 when the query is true in an exponential number of instances." @default.
- W2143234675 created "2016-06-24" @default.
- W2143234675 creator A5086909487 @default.
- W2143234675 date "2008-01-01" @default.
- W2143234675 modified "2023-10-18" @default.
- W2143234675 title "Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics" @default.
- W2143234675 cites W1480296171 @default.
- W2143234675 cites W1514973146 @default.
- W2143234675 cites W2026433347 @default.
- W2143234675 cites W2058110750 @default.
- W2143234675 cites W2084943080 @default.
- W2143234675 cites W2159695887 @default.
- W2143234675 doi "https://doi.org/10.1007/978-3-540-89982-2_54" @default.
- W2143234675 hasPublicationYear "2008" @default.
- W2143234675 type Work @default.
- W2143234675 sameAs 2143234675 @default.
- W2143234675 citedByCount "12" @default.
- W2143234675 countsByYear W21432346752012 @default.
- W2143234675 countsByYear W21432346752013 @default.
- W2143234675 countsByYear W21432346752015 @default.
- W2143234675 crossrefType "book-chapter" @default.
- W2143234675 hasAuthorship W2143234675A5086909487 @default.
- W2143234675 hasConcept C11413529 @default.
- W2143234675 hasConcept C128838566 @default.
- W2143234675 hasConcept C138268822 @default.
- W2143234675 hasConcept C154945302 @default.
- W2143234675 hasConcept C184337299 @default.
- W2143234675 hasConcept C199360897 @default.
- W2143234675 hasConcept C2776214188 @default.
- W2143234675 hasConcept C41008148 @default.
- W2143234675 hasConcept C49937458 @default.
- W2143234675 hasConcept C80444323 @default.
- W2143234675 hasConceptScore W2143234675C11413529 @default.
- W2143234675 hasConceptScore W2143234675C128838566 @default.
- W2143234675 hasConceptScore W2143234675C138268822 @default.
- W2143234675 hasConceptScore W2143234675C154945302 @default.
- W2143234675 hasConceptScore W2143234675C184337299 @default.
- W2143234675 hasConceptScore W2143234675C199360897 @default.
- W2143234675 hasConceptScore W2143234675C2776214188 @default.
- W2143234675 hasConceptScore W2143234675C41008148 @default.
- W2143234675 hasConceptScore W2143234675C49937458 @default.
- W2143234675 hasConceptScore W2143234675C80444323 @default.
- W2143234675 hasLocation W21432346751 @default.
- W2143234675 hasOpenAccess W2143234675 @default.
- W2143234675 hasPrimaryLocation W21432346751 @default.
- W2143234675 hasRelatedWork W1517132137 @default.
- W2143234675 hasRelatedWork W1558467648 @default.
- W2143234675 hasRelatedWork W1587224678 @default.
- W2143234675 hasRelatedWork W1889548941 @default.
- W2143234675 hasRelatedWork W2623701236 @default.
- W2143234675 hasRelatedWork W2739306978 @default.
- W2143234675 hasRelatedWork W2926374695 @default.
- W2143234675 hasRelatedWork W2950173302 @default.
- W2143234675 hasRelatedWork W4297797389 @default.
- W2143234675 hasRelatedWork W83179537 @default.
- W2143234675 isParatext "false" @default.
- W2143234675 isRetracted "false" @default.
- W2143234675 magId "2143234675" @default.
- W2143234675 workType "book-chapter" @default.