{"data":{"id":"10.48550/arxiv.1807.00614","type":"dois","attributes":{"doi":"10.48550/arxiv.1807.00614","prefix":"10.48550","suffix":"arxiv.1807.00614","identifiers":[{"identifier":"1807.00614","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1807.00614"}],"creators":[{"name":"Martires, Pedro Zuidberg Dos","nameType":"Personal","givenName":"Pedro Zuidberg Dos","familyName":"Martires","affiliation":[],"nameIdentifiers":[]},{"name":"Dries, Anton","nameType":"Personal","givenName":"Anton","familyName":"Dries","affiliation":[],"nameIdentifiers":[]},{"name":"De Raedt, Luc","nameType":"Personal","givenName":"Luc","familyName":"De Raedt","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming"}],"publisher":"arXiv","container":{},"publicationYear":2018,"subjects":[{"lang":"en","subject":"Artificial Intelligence (cs.AI)","subjectScheme":"arXiv"},{"lang":"en","subject":"Logic in Computer Science (cs.LO)","subjectScheme":"arXiv"},{"lang":"en","subject":"Programming Languages (cs.PL)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"}],"contributors":[],"dates":[{"date":"2018-07-02T12:04:59Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2018-07-03T00:16:48Z","dateType":"Updated","dateInformation":"v1"},{"date":"2018-07-12T13:34:35Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2018-07-13T00:08:33Z","dateType":"Updated","dateInformation":"v2"},{"date":"2018-07","dateType":"Available","dateInformation":"v1"},{"date":"2018","dateType":"Issued"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"2","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"In probabilistic reasoning, the traditionally discrete domain has been elevated to the hybrid domain encompassing additionally continuous random variables. Inference in the hybrid domain, however, usually necessitates to condone trade-offs on either the inference on discrete or continuous random variables. We introduce a novel approach based on weighted model integration and algebraic model counting that circumvents these trade-offs. We then show how it supports knowledge compilation and exact probabilistic inference. Moreover, we introduce the hybrid probabilistic logic programming language HAL-ProbLog, an extension of ProbLog, to which we apply our inference approach.","descriptionType":"Abstract"},{"description":"8 pages, 2 figures, StarAI","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xODA3LjAwNjE0PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MTgwNy4wMDYxNDwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5NYXJ0aXJlcywgUGVkcm8gWnVpZGJlcmcgRG9zPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5QZWRybyBadWlkYmVyZyBEb3M8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+TWFydGlyZXM8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+RHJpZXMsIEFudG9uPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5BbnRvbjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5EcmllczwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5EZSBSYWVkdCwgTHVjPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5MdWM8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+RGUgUmFlZHQ8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPktub3dsZWRnZSBDb21waWxhdGlvbiB3aXRoIENvbnRpbnVvdXMgUmFuZG9tIFZhcmlhYmxlcyBhbmQgaXRzIEFwcGxpY2F0aW9uIGluIEh5YnJpZCBQcm9iYWJpbGlzdGljIExvZ2ljIFByb2dyYW1taW5nPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPmFyWGl2PC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDE4PC9wdWJsaWNhdGlvblllYXI+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJhclhpdiI+QXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UgKGNzLkFJKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPkxvZ2ljIGluIENvbXB1dGVyIFNjaWVuY2UgKGNzLkxPKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPlByb2dyYW1taW5nIExhbmd1YWdlcyAoY3MuUEwpPC9zdWJqZWN0PgogICAgPHN1YmplY3Qgc3ViamVjdFNjaGVtZT0iRmllbGRzIG9mIFNjaWVuY2UgYW5kIFRlY2hub2xvZ3kgKEZPUykiPkZPUzogQ29tcHV0ZXIgYW5kIGluZm9ybWF0aW9uIHNjaWVuY2VzPC9zdWJqZWN0PgogIDwvc3ViamVjdHM+CiAgPGRhdGVzPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxOC0wNy0wMlQxMjowNDo1OVo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAxOC0wNy0wM1QwMDoxNjo0OFo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYyIj4yMDE4LTA3LTEyVDEzOjM0OjM1WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYyIj4yMDE4LTA3LTEzVDAwOjA4OjMzWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTgtMDc8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlByZXByaW50Ij5BcnRpY2xlPC9yZXNvdXJjZVR5cGU+CiAgPHZlcnNpb24+MjwvdmVyc2lvbj4KICA8cmlnaHRzTGlzdD4KICAgIDxyaWdodHMgcmlnaHRzVVJJPSJodHRwOi8vYXJ4aXYub3JnL2xpY2Vuc2VzL25vbmV4Y2x1c2l2ZS1kaXN0cmliLzEuMC8iPmFyWGl2Lm9yZyBwZXJwZXR1YWwsIG5vbi1leGNsdXNpdmUgbGljZW5zZTwvcmlnaHRzPgogIDwvcmlnaHRzTGlzdD4KICA8ZGVzY3JpcHRpb25zPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iQWJzdHJhY3QiPkluIHByb2JhYmlsaXN0aWMgcmVhc29uaW5nLCB0aGUgdHJhZGl0aW9uYWxseSBkaXNjcmV0ZSBkb21haW4gaGFzIGJlZW4gZWxldmF0ZWQgdG8gdGhlIGh5YnJpZCBkb21haW4gZW5jb21wYXNzaW5nIGFkZGl0aW9uYWxseSBjb250aW51b3VzIHJhbmRvbSB2YXJpYWJsZXMuIEluZmVyZW5jZSBpbiB0aGUgaHlicmlkIGRvbWFpbiwgaG93ZXZlciwgdXN1YWxseSBuZWNlc3NpdGF0ZXMgdG8gY29uZG9uZSB0cmFkZS1vZmZzIG9uIGVpdGhlciB0aGUgaW5mZXJlbmNlIG9uIGRpc2NyZXRlIG9yIGNvbnRpbnVvdXMgcmFuZG9tIHZhcmlhYmxlcy4gV2UgaW50cm9kdWNlIGEgbm92ZWwgYXBwcm9hY2ggYmFzZWQgb24gd2VpZ2h0ZWQgbW9kZWwgaW50ZWdyYXRpb24gYW5kIGFsZ2VicmFpYyBtb2RlbCBjb3VudGluZyB0aGF0IGNpcmN1bXZlbnRzIHRoZXNlIHRyYWRlLW9mZnMuIFdlIHRoZW4gc2hvdyBob3cgaXQgc3VwcG9ydHMga25vd2xlZGdlIGNvbXBpbGF0aW9uIGFuZCBleGFjdCBwcm9iYWJpbGlzdGljIGluZmVyZW5jZS4gTW9yZW92ZXIsIHdlIGludHJvZHVjZSB0aGUgaHlicmlkIHByb2JhYmlsaXN0aWMgbG9naWMgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgSEFMLVByb2JMb2csIGFuIGV4dGVuc2lvbiBvZiBQcm9iTG9nLCB0byB3aGljaCB3ZSBhcHBseSBvdXIgaW5mZXJlbmNlIGFwcHJvYWNoLjwvZGVzY3JpcHRpb24+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJPdGhlciI+OCBwYWdlcywgMiBmaWd1cmVzLCBTdGFyQUk8L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/1807.00614","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-01T21:18:18.000Z","registered":"2022-03-01T21:18:19.000Z","published":"2018","updated":"2022-03-01T21:18:19.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1807.00614","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}