{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:RVMT5IG2LVTTOTGG6T6JWDBSYF","short_pith_number":"pith:RVMT5IG2","canonical_record":{"source":{"id":"1602.06897","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-22T19:18:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9d4c29c29ab0166290d7a9c224b01a54d0bc5b94d6302d786ecf5942fed68e4c","abstract_canon_sha256":"d225e13e4bf2c7fa9bd8a69efdca1408e0f73a1584e0bbfd79c924d74055ccf2"},"schema_version":"1.0"},"canonical_sha256":"8d593ea0da5d67374cc6f4fc9b0c32c15e31052f8385678b24e66850374bccde","source":{"kind":"arxiv","id":"1602.06897","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.06897","created_at":"2026-05-18T01:15:13Z"},{"alias_kind":"arxiv_version","alias_value":"1602.06897v1","created_at":"2026-05-18T01:15:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.06897","created_at":"2026-05-18T01:15:13Z"},{"alias_kind":"pith_short_12","alias_value":"RVMT5IG2LVTT","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RVMT5IG2LVTTOTGG","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RVMT5IG2","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:RVMT5IG2LVTTOTGG6T6JWDBSYF","target":"record","payload":{"canonical_record":{"source":{"id":"1602.06897","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-22T19:18:54Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9d4c29c29ab0166290d7a9c224b01a54d0bc5b94d6302d786ecf5942fed68e4c","abstract_canon_sha256":"d225e13e4bf2c7fa9bd8a69efdca1408e0f73a1584e0bbfd79c924d74055ccf2"},"schema_version":"1.0"},"canonical_sha256":"8d593ea0da5d67374cc6f4fc9b0c32c15e31052f8385678b24e66850374bccde","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:13.912508Z","signature_b64":"YfpvrtObDMmxnDKf0M9Q5AqbpeH5+nifaQ9Sw5bxvlnz48nNivr6zagc9bEOtEV7zgOxAUvbXVR4p0chjAGWCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d593ea0da5d67374cc6f4fc9b0c32c15e31052f8385678b24e66850374bccde","last_reissued_at":"2026-05-18T01:15:13.911870Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:13.911870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.06897","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-18T01:15:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FrCOzTZZdsxIs7aqFHBlgVWcHXKHsHPczUC7291CpQjhfzgKllc3BBkZCAPdey4AWM+eO227gAp8aVe68masDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:14:58.462088Z"},"content_sha256":"a4f4633a7c7686a6f9b5d2018702ec1d7d0d016f11a9feda646ae602d8fbdb65","schema_version":"1.0","event_id":"sha256:a4f4633a7c7686a6f9b5d2018702ec1d7d0d016f11a9feda646ae602d8fbdb65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:RVMT5IG2LVTTOTGG6T6JWDBSYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enablers and Inhibitors in Causal Justifications of Logic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Jorge Fandinno, Pedro Cabalar","submitted_at":"2016-02-22T19:18:54Z","abstract_excerpt":"To appear in Theory and Practice of Logic Programming (TPLP). In this paper we propose an extension of logic programming (LP) where each default literal derived from the well-founded model is associated to a justification represented as an algebraic expression. This expression contains both causal explanations (in the form of proof graphs built with rule labels) and terms under the scope of negation that stand for conditions that enable or disable the application of causal rules. Using some examples, we discuss how these new conditions, we respectively call \"enablers\" and \"inhibitors\", are int"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.06897","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-18T01:15:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ccEOlRg2RF3GIqzyAvd/g5dKLnT4gNZZPrCDgv8xrs1K4xOe5Iq6zb81ojouR/SVrCaeJgR7p0jlD6AzWAITBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:14:58.462780Z"},"content_sha256":"2187c6fc83ffd205edaaa4090a41397da04336206cadb2980eca28cda978be2c","schema_version":"1.0","event_id":"sha256:2187c6fc83ffd205edaaa4090a41397da04336206cadb2980eca28cda978be2c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RVMT5IG2LVTTOTGG6T6JWDBSYF/bundle.json","state_url":"https://pith.science/pith/RVMT5IG2LVTTOTGG6T6JWDBSYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RVMT5IG2LVTTOTGG6T6JWDBSYF/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-05-26T13:14:58Z","links":{"resolver":"https://pith.science/pith/RVMT5IG2LVTTOTGG6T6JWDBSYF","bundle":"https://pith.science/pith/RVMT5IG2LVTTOTGG6T6JWDBSYF/bundle.json","state":"https://pith.science/pith/RVMT5IG2LVTTOTGG6T6JWDBSYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RVMT5IG2LVTTOTGG6T6JWDBSYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RVMT5IG2LVTTOTGG6T6JWDBSYF","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":"d225e13e4bf2c7fa9bd8a69efdca1408e0f73a1584e0bbfd79c924d74055ccf2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-22T19:18:54Z","title_canon_sha256":"9d4c29c29ab0166290d7a9c224b01a54d0bc5b94d6302d786ecf5942fed68e4c"},"schema_version":"1.0","source":{"id":"1602.06897","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.06897","created_at":"2026-05-18T01:15:13Z"},{"alias_kind":"arxiv_version","alias_value":"1602.06897v1","created_at":"2026-05-18T01:15:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.06897","created_at":"2026-05-18T01:15:13Z"},{"alias_kind":"pith_short_12","alias_value":"RVMT5IG2LVTT","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RVMT5IG2LVTTOTGG","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RVMT5IG2","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:2187c6fc83ffd205edaaa4090a41397da04336206cadb2980eca28cda978be2c","target":"graph","created_at":"2026-05-18T01:15:13Z","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":"To appear in Theory and Practice of Logic Programming (TPLP). In this paper we propose an extension of logic programming (LP) where each default literal derived from the well-founded model is associated to a justification represented as an algebraic expression. This expression contains both causal explanations (in the form of proof graphs built with rule labels) and terms under the scope of negation that stand for conditions that enable or disable the application of causal rules. Using some examples, we discuss how these new conditions, we respectively call \"enablers\" and \"inhibitors\", are int","authors_text":"Jorge Fandinno, Pedro Cabalar","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-22T19:18:54Z","title":"Enablers and Inhibitors in Causal Justifications of Logic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.06897","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:a4f4633a7c7686a6f9b5d2018702ec1d7d0d016f11a9feda646ae602d8fbdb65","target":"record","created_at":"2026-05-18T01:15:13Z","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":"d225e13e4bf2c7fa9bd8a69efdca1408e0f73a1584e0bbfd79c924d74055ccf2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-22T19:18:54Z","title_canon_sha256":"9d4c29c29ab0166290d7a9c224b01a54d0bc5b94d6302d786ecf5942fed68e4c"},"schema_version":"1.0","source":{"id":"1602.06897","kind":"arxiv","version":1}},"canonical_sha256":"8d593ea0da5d67374cc6f4fc9b0c32c15e31052f8385678b24e66850374bccde","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d593ea0da5d67374cc6f4fc9b0c32c15e31052f8385678b24e66850374bccde","first_computed_at":"2026-05-18T01:15:13.911870Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:13.911870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YfpvrtObDMmxnDKf0M9Q5AqbpeH5+nifaQ9Sw5bxvlnz48nNivr6zagc9bEOtEV7zgOxAUvbXVR4p0chjAGWCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:13.912508Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.06897","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a4f4633a7c7686a6f9b5d2018702ec1d7d0d016f11a9feda646ae602d8fbdb65","sha256:2187c6fc83ffd205edaaa4090a41397da04336206cadb2980eca28cda978be2c"],"state_sha256":"ede6357267b7ffec4709b3610b5a7802089c96c0ebb09ecd9c85835621c0d7f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BX8AhliKgE3Ty/94fLrTo7i91iebpbyiaUnTcVST1xChX5hv0Iho7txe4FBW+AWMb5DKS9yjOzzIFEDWgphcDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T13:14:58.466156Z","bundle_sha256":"61fd7d8fb2e387b3c834f6db2270f1bd1233c1fdaac367950b759e51980c04ff"}}