{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:MJSR3P4VTKHOUALGHBPVEBM7NE","short_pith_number":"pith:MJSR3P4V","canonical_record":{"source":{"id":"2211.15782","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-28T21:32:52Z","cross_cats_sorted":[],"title_canon_sha256":"e01d1e9a6ffae2480ed81c957db00572968d12533331650f0b656c9499a85bc2","abstract_canon_sha256":"a694da9aee65525a8c346c66f4ed79cee2a8d6873b2a5bf5d9b8e30696abb71d"},"schema_version":"1.0"},"canonical_sha256":"62651dbf959a8eea0166385f52059f692562a697eeff9af12cb232fd7fa63b0d","source":{"kind":"arxiv","id":"2211.15782","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.15782","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"arxiv_version","alias_value":"2211.15782v1","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.15782","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"pith_short_12","alias_value":"MJSR3P4VTKHO","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"pith_short_16","alias_value":"MJSR3P4VTKHOUALG","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"pith_short_8","alias_value":"MJSR3P4V","created_at":"2026-07-05T05:20:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:MJSR3P4VTKHOUALGHBPVEBM7NE","target":"record","payload":{"canonical_record":{"source":{"id":"2211.15782","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-28T21:32:52Z","cross_cats_sorted":[],"title_canon_sha256":"e01d1e9a6ffae2480ed81c957db00572968d12533331650f0b656c9499a85bc2","abstract_canon_sha256":"a694da9aee65525a8c346c66f4ed79cee2a8d6873b2a5bf5d9b8e30696abb71d"},"schema_version":"1.0"},"canonical_sha256":"62651dbf959a8eea0166385f52059f692562a697eeff9af12cb232fd7fa63b0d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:20:18.132534Z","signature_b64":"GVoYw9INh3lRFOV4g0m88gmzLvnDwd41scgpq2H2jKNRjNqKS/AVKlX3nKI726P7291mpmoSMMN9mXjUFPDpDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62651dbf959a8eea0166385f52059f692562a697eeff9af12cb232fd7fa63b0d","last_reissued_at":"2026-07-05T05:20:18.132133Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:20:18.132133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2211.15782","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-07-05T05:20:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sYFl9vEee4F4DYEqzO2xLosOI9/jKevo0WKCnENbr+ASPDPWxJtQq0G0TNKP9UQd1XA+smX9Ii9GBgzEfzLRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T10:46:31.626099Z"},"content_sha256":"e796934f3eb30b1122f145cdf5cb8712184311c07a511403fc31bdcb2f6985c8","schema_version":"1.0","event_id":"sha256:e796934f3eb30b1122f145cdf5cb8712184311c07a511403fc31bdcb2f6985c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:MJSR3P4VTKHOUALGHBPVEBM7NE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Minal Suresh Patil","submitted_at":"2022-11-28T21:32:52Z","abstract_excerpt":"Over the recent twenty years, argumentation has received considerable attention in the fields of knowledge representation, reasoning, and multi-agent systems. However, argumentation in dynamic multi-agent systems encounters the problem of significant arguments generated by agents, which comes at the expense of representational complexity and computational cost. In this work, we aim to investigate the notion of abstraction from the model-checking perspective, where several arguments are trying to defend the same position from various points of view, thereby reducing the size of the argumentatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.15782","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2211.15782/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"},"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-07-05T05:20:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KQwuwGull/3NDNhiR5vLznGbzh9Vx/if7IaFeDhjT23Bj0wamlFT4FAJ/q0xcYCIgKFoudqP4ZfBnBuO/ptbDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T10:46:31.626600Z"},"content_sha256":"dd050dbb66fc763951ba059f2061f5c143bd9fbd8bc1273550bb16ada83240e7","schema_version":"1.0","event_id":"sha256:dd050dbb66fc763951ba059f2061f5c143bd9fbd8bc1273550bb16ada83240e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MJSR3P4VTKHOUALGHBPVEBM7NE/bundle.json","state_url":"https://pith.science/pith/MJSR3P4VTKHOUALGHBPVEBM7NE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MJSR3P4VTKHOUALGHBPVEBM7NE/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-08-22T10:46:31Z","links":{"resolver":"https://pith.science/pith/MJSR3P4VTKHOUALGHBPVEBM7NE","bundle":"https://pith.science/pith/MJSR3P4VTKHOUALGHBPVEBM7NE/bundle.json","state":"https://pith.science/pith/MJSR3P4VTKHOUALGHBPVEBM7NE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MJSR3P4VTKHOUALGHBPVEBM7NE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:MJSR3P4VTKHOUALGHBPVEBM7NE","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":"a694da9aee65525a8c346c66f4ed79cee2a8d6873b2a5bf5d9b8e30696abb71d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-28T21:32:52Z","title_canon_sha256":"e01d1e9a6ffae2480ed81c957db00572968d12533331650f0b656c9499a85bc2"},"schema_version":"1.0","source":{"id":"2211.15782","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.15782","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"arxiv_version","alias_value":"2211.15782v1","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.15782","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"pith_short_12","alias_value":"MJSR3P4VTKHO","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"pith_short_16","alias_value":"MJSR3P4VTKHOUALG","created_at":"2026-07-05T05:20:18Z"},{"alias_kind":"pith_short_8","alias_value":"MJSR3P4V","created_at":"2026-07-05T05:20:18Z"}],"graph_snapshots":[{"event_id":"sha256:dd050dbb66fc763951ba059f2061f5c143bd9fbd8bc1273550bb16ada83240e7","target":"graph","created_at":"2026-07-05T05:20:18Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2211.15782/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Over the recent twenty years, argumentation has received considerable attention in the fields of knowledge representation, reasoning, and multi-agent systems. However, argumentation in dynamic multi-agent systems encounters the problem of significant arguments generated by agents, which comes at the expense of representational complexity and computational cost. In this work, we aim to investigate the notion of abstraction from the model-checking perspective, where several arguments are trying to defend the same position from various points of view, thereby reducing the size of the argumentatio","authors_text":"Minal Suresh Patil","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-28T21:32:52Z","title":"Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.15782","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:e796934f3eb30b1122f145cdf5cb8712184311c07a511403fc31bdcb2f6985c8","target":"record","created_at":"2026-07-05T05:20:18Z","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":"a694da9aee65525a8c346c66f4ed79cee2a8d6873b2a5bf5d9b8e30696abb71d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-28T21:32:52Z","title_canon_sha256":"e01d1e9a6ffae2480ed81c957db00572968d12533331650f0b656c9499a85bc2"},"schema_version":"1.0","source":{"id":"2211.15782","kind":"arxiv","version":1}},"canonical_sha256":"62651dbf959a8eea0166385f52059f692562a697eeff9af12cb232fd7fa63b0d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"62651dbf959a8eea0166385f52059f692562a697eeff9af12cb232fd7fa63b0d","first_computed_at":"2026-07-05T05:20:18.132133Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:20:18.132133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GVoYw9INh3lRFOV4g0m88gmzLvnDwd41scgpq2H2jKNRjNqKS/AVKlX3nKI726P7291mpmoSMMN9mXjUFPDpDg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:20:18.132534Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.15782","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e796934f3eb30b1122f145cdf5cb8712184311c07a511403fc31bdcb2f6985c8","sha256:dd050dbb66fc763951ba059f2061f5c143bd9fbd8bc1273550bb16ada83240e7"],"state_sha256":"00cc7e73ed90839068dec4845d48600b1bdbe2f2e9156f4cb077e7ce29c62dc3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CzcEPaQVY7k6padNKmgmqO1zOncpzIOz/VfgXqeuQP6FLIsDofCdehDIetJGzOcRVHdiSMx9WaTRmTLRZPSbDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T10:46:31.631585Z","bundle_sha256":"0d49939aae9f9bab94b45269ed759413e6ee357e3fb9c5bd9b7d64eea2262b69"}}