<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> . <> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10127516> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/dc/terms/title> "Coalgebraic Semantics for Probabilistic Logic Programming."^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/ontology/bibo/abstract> "Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper proposes a coalgebraic semantics on probabilistic logic programming. Programs are modelled as coalgebras for a certain functor F, and two semantics are given in terms of cofree coalgebras. First, the F-coalgebra yields a semantics in terms of derivation trees. Second, by embedding F into another type G, as cofree G-coalgebra we obtain a `possible worlds' interpretation of programs, from which one may recover the usual distribution semantics of probabilistic logic programming. Furthermore, we show that a similar approach can be used to provide a coalgebraic semantics to weighted logic programming."^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/dc/terms/date> "2021" . <https://discovery.ucl.ac.uk/id/document/1311406> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/ontology/bibo/volume> "17" . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/ontology/bibo/issue> "2" . <https://discovery.ucl.ac.uk/id/publication/ext-3b1bcd051e1c0d1cdbcc2d5a4f567073> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> . <https://discovery.ucl.ac.uk/id/publication/ext-3b1bcd051e1c0d1cdbcc2d5a4f567073> <http://xmlns.com/foaf/0.1/name> "Logical Methods in Computer Science"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-3b1bcd051e1c0d1cdbcc2d5a4f567073> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-b925f1d50a3bc1d9e9fae1fcd568a901> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10127516#authors> . <https://discovery.ucl.ac.uk/id/eprint/10127516#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-b925f1d50a3bc1d9e9fae1fcd568a901> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-ffd94e77c4915c49d41a9d830eff042d> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10127516#authors> . <https://discovery.ucl.ac.uk/id/eprint/10127516#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-ffd94e77c4915c49d41a9d830eff042d> . <https://discovery.ucl.ac.uk/id/person/ext-b925f1d50a3bc1d9e9fae1fcd568a901> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> . <https://discovery.ucl.ac.uk/id/person/ext-b925f1d50a3bc1d9e9fae1fcd568a901> <http://xmlns.com/foaf/0.1/givenName> "T"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-b925f1d50a3bc1d9e9fae1fcd568a901> <http://xmlns.com/foaf/0.1/familyName> "Gu"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-b925f1d50a3bc1d9e9fae1fcd568a901> <http://xmlns.com/foaf/0.1/name> "T Gu"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-ffd94e77c4915c49d41a9d830eff042d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> . <https://discovery.ucl.ac.uk/id/person/ext-ffd94e77c4915c49d41a9d830eff042d> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-ffd94e77c4915c49d41a9d830eff042d> <http://xmlns.com/foaf/0.1/familyName> "Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-ffd94e77c4915c49d41a9d830eff042d> <http://xmlns.com/foaf/0.1/name> "F Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311406> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1311406> <http://www.w3.org/2000/01/rdf-schema#label> "Coalgebraic Semantics for Probabilistic Logic Programming. (Text)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311406> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10127516/1/2012.03916.pdf> . <https://discovery.ucl.ac.uk/id/document/1311406> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10127516/1/2012.03916.pdf> . <https://discovery.ucl.ac.uk/id/eprint/10127516/1/2012.03916.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "2012.03916.pdf"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1311407> . <https://discovery.ucl.ac.uk/id/document/1311407> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1311407> <http://www.w3.org/2000/01/rdf-schema#label> "Coalgebraic Semantics for Probabilistic Logic Programming. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1311407> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311407> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311407> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311407> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10127516/2/lightbox.jpg> . <https://discovery.ucl.ac.uk/id/document/1311407> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10127516/2/lightbox.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10127516/2/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1311408> . <https://discovery.ucl.ac.uk/id/document/1311408> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1311408> <http://www.w3.org/2000/01/rdf-schema#label> "Coalgebraic Semantics for Probabilistic Logic Programming. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1311408> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311408> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311408> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311408> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10127516/3/preview.jpg> . <https://discovery.ucl.ac.uk/id/document/1311408> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10127516/3/preview.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10127516/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1311409> . <https://discovery.ucl.ac.uk/id/document/1311409> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1311409> <http://www.w3.org/2000/01/rdf-schema#label> "Coalgebraic Semantics for Probabilistic Logic Programming. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1311409> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311409> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311409> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311409> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10127516/4/medium.jpg> . <https://discovery.ucl.ac.uk/id/document/1311409> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10127516/4/medium.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10127516/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1311410> . <https://discovery.ucl.ac.uk/id/document/1311410> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1311410> <http://www.w3.org/2000/01/rdf-schema#label> "Coalgebraic Semantics for Probabilistic Logic Programming. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1311410> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311410> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311410> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311410> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10127516/5/small.jpg> . <https://discovery.ucl.ac.uk/id/document/1311410> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10127516/5/small.jpg> . <https://discovery.ucl.ac.uk/id/eprint/10127516/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1311411> . <https://discovery.ucl.ac.uk/id/document/1311411> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/1311411> <http://www.w3.org/2000/01/rdf-schema#label> "Coalgebraic Semantics for Probabilistic Logic Programming. (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/1311411> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311411> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311411> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1311406> . <https://discovery.ucl.ac.uk/id/document/1311411> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10127516/6/indexcodes.txt> . <https://discovery.ucl.ac.uk/id/document/1311411> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10127516/6/indexcodes.txt> . <https://discovery.ucl.ac.uk/id/eprint/10127516/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10127516> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10127516/> . <https://discovery.ucl.ac.uk/id/eprint/10127516/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10127516 \n\nCoalgebraic Semantics for Probabilistic Logic Programming.\n\n" . <https://discovery.ucl.ac.uk/id/eprint/10127516/> <http://purl.org/dc/elements/1.1/format> "text/html" . <https://discovery.ucl.ac.uk/id/eprint/10127516/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10127516> .