{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:U2VOQAFTEKEAEMLW2B566E7RQB","short_pith_number":"pith:U2VOQAFT","canonical_record":{"source":{"id":"cs/0511055","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2005-11-15T10:39:38Z","cross_cats_sorted":[],"title_canon_sha256":"ea73598062f0f1b6ca21298e4fcce64fa15ba5c1a23c1668d704cca881682456","abstract_canon_sha256":"c275a0dabd9996ab6155ec712be42da67a6ce531f016506a323745f86868841b"},"schema_version":"1.0"},"canonical_sha256":"a6aae800b32288023176d07bef13f1805ea25a673589072a228acb823f221732","source":{"kind":"arxiv","id":"cs/0511055","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0511055","created_at":"2026-05-18T03:52:39Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0511055v1","created_at":"2026-05-18T03:52:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0511055","created_at":"2026-05-18T03:52:39Z"},{"alias_kind":"pith_short_12","alias_value":"U2VOQAFTEKEA","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"U2VOQAFTEKEAEMLW","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"U2VOQAFT","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:U2VOQAFTEKEAEMLW2B566E7RQB","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0511055","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2005-11-15T10:39:38Z","cross_cats_sorted":[],"title_canon_sha256":"ea73598062f0f1b6ca21298e4fcce64fa15ba5c1a23c1668d704cca881682456","abstract_canon_sha256":"c275a0dabd9996ab6155ec712be42da67a6ce531f016506a323745f86868841b"},"schema_version":"1.0"},"canonical_sha256":"a6aae800b32288023176d07bef13f1805ea25a673589072a228acb823f221732","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:39.170536Z","signature_b64":"nP/mlrY789pwHTC4mihQ6GceuuiY/Acnm01nbqdmbizGrNzuQqQ51tAWWh/ynZoxXNEU9PD0Il8s/nApvVRDAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6aae800b32288023176d07bef13f1805ea25a673589072a228acb823f221732","last_reissued_at":"2026-05-18T03:52:39.169815Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:39.169815Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0511055","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-18T03:52:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JQ8ADiA1+2mRmzlXTa/554SQYGPApYm0Hn78Xea85I+tFeIfqLnBQ5uSC1ag8jesimzgDURQhj5yqbcUvnsvCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:24:29.461505Z"},"content_sha256":"b6f63840e249c339010b706b6c321d848d300123593e741509f50d4ca775848f","schema_version":"1.0","event_id":"sha256:b6f63840e249c339010b706b6c321d848d300123593e741509f50d4ca775848f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:U2VOQAFTEKEAEMLW2B566E7RQB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Embedding Defeasible Logic into Logic Programming","license":"","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher","submitted_at":"2005-11-15T10:39:38Z","abstract_excerpt":"Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches.\n  In this paper we establish close links to known semantics of logic programs. In particular, we give a translation of a defeasible theory D into a meta-program P(D). We show that under a condition of decisiveness, th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0511055","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-18T03:52:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QbZ0YqYErLnKEazFso5GK0lC9mm7Tj0R9e10hisMIeCQMgyQvRzTqeDNFqrGool/bPbx0NUUJgU/n+i2oF3/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:24:29.462073Z"},"content_sha256":"352b16d9622f8bf89e6c77423ba2c010c38e82be796e9b957776ee4389ba7943","schema_version":"1.0","event_id":"sha256:352b16d9622f8bf89e6c77423ba2c010c38e82be796e9b957776ee4389ba7943"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U2VOQAFTEKEAEMLW2B566E7RQB/bundle.json","state_url":"https://pith.science/pith/U2VOQAFTEKEAEMLW2B566E7RQB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U2VOQAFTEKEAEMLW2B566E7RQB/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-01T05:24:29Z","links":{"resolver":"https://pith.science/pith/U2VOQAFTEKEAEMLW2B566E7RQB","bundle":"https://pith.science/pith/U2VOQAFTEKEAEMLW2B566E7RQB/bundle.json","state":"https://pith.science/pith/U2VOQAFTEKEAEMLW2B566E7RQB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U2VOQAFTEKEAEMLW2B566E7RQB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:U2VOQAFTEKEAEMLW2B566E7RQB","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":"c275a0dabd9996ab6155ec712be42da67a6ce531f016506a323745f86868841b","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2005-11-15T10:39:38Z","title_canon_sha256":"ea73598062f0f1b6ca21298e4fcce64fa15ba5c1a23c1668d704cca881682456"},"schema_version":"1.0","source":{"id":"cs/0511055","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0511055","created_at":"2026-05-18T03:52:39Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0511055v1","created_at":"2026-05-18T03:52:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0511055","created_at":"2026-05-18T03:52:39Z"},{"alias_kind":"pith_short_12","alias_value":"U2VOQAFTEKEA","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"U2VOQAFTEKEAEMLW","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"U2VOQAFT","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:352b16d9622f8bf89e6c77423ba2c010c38e82be796e9b957776ee4389ba7943","target":"graph","created_at":"2026-05-18T03:52:39Z","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":"Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches.\n  In this paper we establish close links to known semantics of logic programs. In particular, we give a translation of a defeasible theory D into a meta-program P(D). We show that under a condition of decisiveness, th","authors_text":"David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher","cross_cats":[],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2005-11-15T10:39:38Z","title":"Embedding Defeasible Logic into Logic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0511055","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:b6f63840e249c339010b706b6c321d848d300123593e741509f50d4ca775848f","target":"record","created_at":"2026-05-18T03:52:39Z","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":"c275a0dabd9996ab6155ec712be42da67a6ce531f016506a323745f86868841b","cross_cats_sorted":[],"license":"","primary_cat":"cs.LO","submitted_at":"2005-11-15T10:39:38Z","title_canon_sha256":"ea73598062f0f1b6ca21298e4fcce64fa15ba5c1a23c1668d704cca881682456"},"schema_version":"1.0","source":{"id":"cs/0511055","kind":"arxiv","version":1}},"canonical_sha256":"a6aae800b32288023176d07bef13f1805ea25a673589072a228acb823f221732","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6aae800b32288023176d07bef13f1805ea25a673589072a228acb823f221732","first_computed_at":"2026-05-18T03:52:39.169815Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:52:39.169815Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nP/mlrY789pwHTC4mihQ6GceuuiY/Acnm01nbqdmbizGrNzuQqQ51tAWWh/ynZoxXNEU9PD0Il8s/nApvVRDAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:52:39.170536Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0511055","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6f63840e249c339010b706b6c321d848d300123593e741509f50d4ca775848f","sha256:352b16d9622f8bf89e6c77423ba2c010c38e82be796e9b957776ee4389ba7943"],"state_sha256":"fae01d5d5018776d0f5d3bf24ec940e1b468d81e3384444b62ba7f69daefe4d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RNeh9C3n8JbNbTiiHCl8l/irjYNAw0JAtspi8UlrGcODWcDW8kYIukS24u38X5q8it70IMawThcg0r4l6cEbBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T05:24:29.464822Z","bundle_sha256":"05184d777c517bb799c6dc3ad2c7ae51043322249ec59260ad39530fb0e31c36"}}