{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:PBEBZO7ZRLPTC5F7G42WSEVD56","short_pith_number":"pith:PBEBZO7Z","schema_version":"1.0","canonical_sha256":"78481cbbf98adf3174bf37356912a3ef9711cd14c783408b7f0be26a20955115","source":{"kind":"arxiv","id":"2302.00496","version":3},"attestation_state":"computed","paper":{"title":"Hybrid Probabilistic Logic Programming: Inference and Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Nitesh Kumar","submitted_at":"2023-02-01T15:07:36Z","abstract_excerpt":"This thesis focuses on advancing probabilistic logic programming (PLP), which combines probability theory for uncertainty and logic programming for relations. The thesis aims to extend PLP to support both discrete and continuous random variables, which is necessary for applications with numeric data. The first contribution is the introduction of context-specific likelihood weighting (CS-LW), a new sampling algorithm that exploits context-specific independencies for computational gains. Next, a new hybrid PLP, DC#, is introduced, which integrates the syntax of Distributional Clauses with Bayesi"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2302.00496","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-02-01T15:07:36Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"78faca98bbe8ffbff8c3c22cc7416d10435f7b4157b5f2bd4ad8c793c4ea891f","abstract_canon_sha256":"7fc25ac19ba6fa0ceb5bc0eb20faadadbabeed6dedef58e477cd66a7cad01555"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:40:34.239741Z","signature_b64":"cpuoEnmpKFBl5RVYvO5KZsra1XBbbOwmZa3n+Q64uPkr/Ju5mEkQ0RBt0OoHBAZ+I2rmKTVp/nlgQuCKXsmBDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78481cbbf98adf3174bf37356912a3ef9711cd14c783408b7f0be26a20955115","last_reissued_at":"2026-07-05T05:40:34.239271Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:40:34.239271Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hybrid Probabilistic Logic Programming: Inference and Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Nitesh Kumar","submitted_at":"2023-02-01T15:07:36Z","abstract_excerpt":"This thesis focuses on advancing probabilistic logic programming (PLP), which combines probability theory for uncertainty and logic programming for relations. The thesis aims to extend PLP to support both discrete and continuous random variables, which is necessary for applications with numeric data. The first contribution is the introduction of context-specific likelihood weighting (CS-LW), a new sampling algorithm that exploits context-specific independencies for computational gains. Next, a new hybrid PLP, DC#, is introduced, which integrates the syntax of Distributional Clauses with Bayesi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.00496","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2302.00496/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2302.00496","created_at":"2026-07-05T05:40:34.239332+00:00"},{"alias_kind":"arxiv_version","alias_value":"2302.00496v3","created_at":"2026-07-05T05:40:34.239332+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.00496","created_at":"2026-07-05T05:40:34.239332+00:00"},{"alias_kind":"pith_short_12","alias_value":"PBEBZO7ZRLPT","created_at":"2026-07-05T05:40:34.239332+00:00"},{"alias_kind":"pith_short_16","alias_value":"PBEBZO7ZRLPTC5F7","created_at":"2026-07-05T05:40:34.239332+00:00"},{"alias_kind":"pith_short_8","alias_value":"PBEBZO7Z","created_at":"2026-07-05T05:40:34.239332+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56","json":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56.json","graph_json":"https://pith.science/api/pith-number/PBEBZO7ZRLPTC5F7G42WSEVD56/graph.json","events_json":"https://pith.science/api/pith-number/PBEBZO7ZRLPTC5F7G42WSEVD56/events.json","paper":"https://pith.science/paper/PBEBZO7Z"},"agent_actions":{"view_html":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56","download_json":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56.json","view_paper":"https://pith.science/paper/PBEBZO7Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2302.00496&json=true","fetch_graph":"https://pith.science/api/pith-number/PBEBZO7ZRLPTC5F7G42WSEVD56/graph.json","fetch_events":"https://pith.science/api/pith-number/PBEBZO7ZRLPTC5F7G42WSEVD56/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56/action/storage_attestation","attest_author":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56/action/author_attestation","sign_citation":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56/action/citation_signature","submit_replication":"https://pith.science/pith/PBEBZO7ZRLPTC5F7G42WSEVD56/action/replication_record"}},"created_at":"2026-07-05T05:40:34.239332+00:00","updated_at":"2026-07-05T05:40:34.239332+00:00"}