{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PS4ERKNZ2EY25HDAJBZUFLYY4B","short_pith_number":"pith:PS4ERKNZ","canonical_record":{"source":{"id":"1806.08298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-21T15:46:33Z","cross_cats_sorted":[],"title_canon_sha256":"8add11237ec95641d435e424dfc9b9fe330abba432bc299f20a35b77fe320ef6","abstract_canon_sha256":"ebe6c551cb8acd34a2d608597b0fe38ed58ca46a153c6182dbb66a92d102bf39"},"schema_version":"1.0"},"canonical_sha256":"7cb848a9b9d131ae9c60487342af18e0747799e2fe13113839646365c8a69f33","source":{"kind":"arxiv","id":"1806.08298","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.08298","created_at":"2026-05-18T00:12:41Z"},{"alias_kind":"arxiv_version","alias_value":"1806.08298v1","created_at":"2026-05-18T00:12:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08298","created_at":"2026-05-18T00:12:41Z"},{"alias_kind":"pith_short_12","alias_value":"PS4ERKNZ2EY2","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PS4ERKNZ2EY25HDA","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PS4ERKNZ","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PS4ERKNZ2EY25HDAJBZUFLYY4B","target":"record","payload":{"canonical_record":{"source":{"id":"1806.08298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-21T15:46:33Z","cross_cats_sorted":[],"title_canon_sha256":"8add11237ec95641d435e424dfc9b9fe330abba432bc299f20a35b77fe320ef6","abstract_canon_sha256":"ebe6c551cb8acd34a2d608597b0fe38ed58ca46a153c6182dbb66a92d102bf39"},"schema_version":"1.0"},"canonical_sha256":"7cb848a9b9d131ae9c60487342af18e0747799e2fe13113839646365c8a69f33","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:41.459399Z","signature_b64":"37xEvfHcc6COjoYUMkCTEEOZk4VH0UcMqdT4rfssxsfJ5lexeaQ+j6eiZmfmXcHKJcS2TZiXkJ9PBxJSSh5QDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7cb848a9b9d131ae9c60487342af18e0747799e2fe13113839646365c8a69f33","last_reissued_at":"2026-05-18T00:12:41.458758Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:41.458758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.08298","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:12:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JeCkeK0UFDfXX7JQWw03sCgoXcKCBaVO3Pz/URqRu+WtflDtEs9yr7TBEax+pdmuIY9sYKBbL+/SQPv+vnw0BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:19:18.828169Z"},"content_sha256":"efa78daf3d5b57b9358b921214e8b76cc7ba7dbeaa63cd788c7bfb88d73d1844","schema_version":"1.0","event_id":"sha256:efa78daf3d5b57b9358b921214e8b76cc7ba7dbeaa63cd788c7bfb88d73d1844"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PS4ERKNZ2EY25HDAJBZUFLYY4B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Credal Extension of Independent Choice Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alessandro Antonucci, Alessandro Facchini","submitted_at":"2018-06-21T15:46:33Z","abstract_excerpt":"We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probability mass functions over the possible worlds is adopted. This represents a conservative approach to probabilistic logic programming achieved by considering all the mass functions consistent with the probabilistic facts. This allows to model tasks for which independence among some probabilistic choices cannot be assumed, and a specific dependence model cannot be assessed. Preliminary tests on an object ranking applicatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08298","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:12:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dE4QFHeTEoM73KxHilqnadC7t2vJi7qKtPdHQAH11GRoJwq36kO7tXEhahi4R4oWEkPrZuYWMm3SL70zJ5T1Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:19:18.828532Z"},"content_sha256":"2d4056960b4a74ab38a89850fc3d9542b4fcc9c6151297c3c876b2ab5872eb27","schema_version":"1.0","event_id":"sha256:2d4056960b4a74ab38a89850fc3d9542b4fcc9c6151297c3c876b2ab5872eb27"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PS4ERKNZ2EY25HDAJBZUFLYY4B/bundle.json","state_url":"https://pith.science/pith/PS4ERKNZ2EY25HDAJBZUFLYY4B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PS4ERKNZ2EY25HDAJBZUFLYY4B/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T23:19:18Z","links":{"resolver":"https://pith.science/pith/PS4ERKNZ2EY25HDAJBZUFLYY4B","bundle":"https://pith.science/pith/PS4ERKNZ2EY25HDAJBZUFLYY4B/bundle.json","state":"https://pith.science/pith/PS4ERKNZ2EY25HDAJBZUFLYY4B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PS4ERKNZ2EY25HDAJBZUFLYY4B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PS4ERKNZ2EY25HDAJBZUFLYY4B","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ebe6c551cb8acd34a2d608597b0fe38ed58ca46a153c6182dbb66a92d102bf39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-21T15:46:33Z","title_canon_sha256":"8add11237ec95641d435e424dfc9b9fe330abba432bc299f20a35b77fe320ef6"},"schema_version":"1.0","source":{"id":"1806.08298","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.08298","created_at":"2026-05-18T00:12:41Z"},{"alias_kind":"arxiv_version","alias_value":"1806.08298v1","created_at":"2026-05-18T00:12:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08298","created_at":"2026-05-18T00:12:41Z"},{"alias_kind":"pith_short_12","alias_value":"PS4ERKNZ2EY2","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PS4ERKNZ2EY25HDA","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PS4ERKNZ","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:2d4056960b4a74ab38a89850fc3d9542b4fcc9c6151297c3c876b2ab5872eb27","target":"graph","created_at":"2026-05-18T00:12:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probability mass functions over the possible worlds is adopted. This represents a conservative approach to probabilistic logic programming achieved by considering all the mass functions consistent with the probabilistic facts. This allows to model tasks for which independence among some probabilistic choices cannot be assumed, and a specific dependence model cannot be assessed. Preliminary tests on an object ranking applicatio","authors_text":"Alessandro Antonucci, Alessandro Facchini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-21T15:46:33Z","title":"A Credal Extension of Independent Choice Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08298","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:efa78daf3d5b57b9358b921214e8b76cc7ba7dbeaa63cd788c7bfb88d73d1844","target":"record","created_at":"2026-05-18T00:12:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ebe6c551cb8acd34a2d608597b0fe38ed58ca46a153c6182dbb66a92d102bf39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-21T15:46:33Z","title_canon_sha256":"8add11237ec95641d435e424dfc9b9fe330abba432bc299f20a35b77fe320ef6"},"schema_version":"1.0","source":{"id":"1806.08298","kind":"arxiv","version":1}},"canonical_sha256":"7cb848a9b9d131ae9c60487342af18e0747799e2fe13113839646365c8a69f33","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7cb848a9b9d131ae9c60487342af18e0747799e2fe13113839646365c8a69f33","first_computed_at":"2026-05-18T00:12:41.458758Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:41.458758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"37xEvfHcc6COjoYUMkCTEEOZk4VH0UcMqdT4rfssxsfJ5lexeaQ+j6eiZmfmXcHKJcS2TZiXkJ9PBxJSSh5QDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:41.459399Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.08298","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:efa78daf3d5b57b9358b921214e8b76cc7ba7dbeaa63cd788c7bfb88d73d1844","sha256:2d4056960b4a74ab38a89850fc3d9542b4fcc9c6151297c3c876b2ab5872eb27"],"state_sha256":"998b8ac4cced974579165b3d85e6b79483443fa140d3af7a97bc5c4b5ea7c017"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ImnwI/rnuhDYFdus4jVaqxIYF9XsRlI1xUgMm4q11lLwKaI+sjnrtSQTFcVrubgWLPYI/NzFoymwDuG/d6HAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T23:19:18.830397Z","bundle_sha256":"98e45b0228a9038621891eddee483c8d50f3e821847729535f4ed57468c6a7ad"}}