{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XMJ74NCCM3XJILBFPMUYAZAGDG","short_pith_number":"pith:XMJ74NCC","canonical_record":{"source":{"id":"1808.03043","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-09T07:16:56Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"8ac614f62bb1f175360b5e9aa0f8c24614f5cbb20b5c3421ff101429496afce7","abstract_canon_sha256":"4d5c953b0bd07e9100a856e5c55387d29f928c57de77e240ee8a1c8845073da4"},"schema_version":"1.0"},"canonical_sha256":"bb13fe344266ee942c257b2980640619b52ccac34ae717ed6708380dd7dfbb64","source":{"kind":"arxiv","id":"1808.03043","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03043","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03043v1","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03043","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"XMJ74NCCM3XJ","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XMJ74NCCM3XJILBF","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XMJ74NCC","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XMJ74NCCM3XJILBFPMUYAZAGDG","target":"record","payload":{"canonical_record":{"source":{"id":"1808.03043","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-09T07:16:56Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"8ac614f62bb1f175360b5e9aa0f8c24614f5cbb20b5c3421ff101429496afce7","abstract_canon_sha256":"4d5c953b0bd07e9100a856e5c55387d29f928c57de77e240ee8a1c8845073da4"},"schema_version":"1.0"},"canonical_sha256":"bb13fe344266ee942c257b2980640619b52ccac34ae717ed6708380dd7dfbb64","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:30.350761Z","signature_b64":"EY+VPd3fguyBTP6lVB3YTNG1uTY2vt1Bk4yPvkbvD594r7fl2KAYmjUNU8Xt4jZVYENejf/UxV/TAAJkTKG6Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb13fe344266ee942c257b2980640619b52ccac34ae717ed6708380dd7dfbb64","last_reissued_at":"2026-05-18T00:08:30.350232Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:30.350232Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.03043","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:08:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TbpLjsEJkTN8/wIF4MNR8GqCpi/u5uU0iIXyrjDSn693suO22tYlzRHmbI26a2GUmYs/57zf6Eb16WMnCTmVAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T06:19:34.809139Z"},"content_sha256":"a095cd7da36fa0930e7dc3db8b08331fddebf3f85eb6fc585c95f67da74e5c46","schema_version":"1.0","event_id":"sha256:a095cd7da36fa0930e7dc3db8b08331fddebf3f85eb6fc585c95f67da74e5c46"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XMJ74NCCM3XJILBFPMUYAZAGDG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hunting for Tractable Languages for Judgment Aggregation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.AI","authors_text":"Ronald de Haan","submitted_at":"2018-08-09T07:16:56Z","abstract_excerpt":"Judgment aggregation is a general framework for collective decision making that can be used to model many different settings. Due to its general nature, the worst case complexity of essentially all relevant problems in this framework is very high. However, these intractability results are mainly due to the fact that the language to represent the aggregation domain is overly expressive. We initiate an investigation of representation languages for judgment aggregation that strike a balance between (1) being limited enough to yield computational tractability results and (2) being expressive enoug"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03043","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:08:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fg+KjBoSZAuMcQNjEbU9yZqlxEqG+04aUUYHN4LKw34Fbva0JvuUPwST3hSjgingARkhMJWSzETK8oEnMqsDAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T06:19:34.809519Z"},"content_sha256":"05640f6a391e74becf2dbb330b4c538d3847ec2eb42ae690d956fcaf4d500d57","schema_version":"1.0","event_id":"sha256:05640f6a391e74becf2dbb330b4c538d3847ec2eb42ae690d956fcaf4d500d57"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XMJ74NCCM3XJILBFPMUYAZAGDG/bundle.json","state_url":"https://pith.science/pith/XMJ74NCCM3XJILBFPMUYAZAGDG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XMJ74NCCM3XJILBFPMUYAZAGDG/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-07-04T06:19:34Z","links":{"resolver":"https://pith.science/pith/XMJ74NCCM3XJILBFPMUYAZAGDG","bundle":"https://pith.science/pith/XMJ74NCCM3XJILBFPMUYAZAGDG/bundle.json","state":"https://pith.science/pith/XMJ74NCCM3XJILBFPMUYAZAGDG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XMJ74NCCM3XJILBFPMUYAZAGDG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XMJ74NCCM3XJILBFPMUYAZAGDG","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":"4d5c953b0bd07e9100a856e5c55387d29f928c57de77e240ee8a1c8845073da4","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-09T07:16:56Z","title_canon_sha256":"8ac614f62bb1f175360b5e9aa0f8c24614f5cbb20b5c3421ff101429496afce7"},"schema_version":"1.0","source":{"id":"1808.03043","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03043","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03043v1","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03043","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"XMJ74NCCM3XJ","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XMJ74NCCM3XJILBF","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XMJ74NCC","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:05640f6a391e74becf2dbb330b4c538d3847ec2eb42ae690d956fcaf4d500d57","target":"graph","created_at":"2026-05-18T00:08:30Z","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":"Judgment aggregation is a general framework for collective decision making that can be used to model many different settings. Due to its general nature, the worst case complexity of essentially all relevant problems in this framework is very high. However, these intractability results are mainly due to the fact that the language to represent the aggregation domain is overly expressive. We initiate an investigation of representation languages for judgment aggregation that strike a balance between (1) being limited enough to yield computational tractability results and (2) being expressive enoug","authors_text":"Ronald de Haan","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-09T07:16:56Z","title":"Hunting for Tractable Languages for Judgment Aggregation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03043","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:a095cd7da36fa0930e7dc3db8b08331fddebf3f85eb6fc585c95f67da74e5c46","target":"record","created_at":"2026-05-18T00:08:30Z","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":"4d5c953b0bd07e9100a856e5c55387d29f928c57de77e240ee8a1c8845073da4","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-08-09T07:16:56Z","title_canon_sha256":"8ac614f62bb1f175360b5e9aa0f8c24614f5cbb20b5c3421ff101429496afce7"},"schema_version":"1.0","source":{"id":"1808.03043","kind":"arxiv","version":1}},"canonical_sha256":"bb13fe344266ee942c257b2980640619b52ccac34ae717ed6708380dd7dfbb64","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bb13fe344266ee942c257b2980640619b52ccac34ae717ed6708380dd7dfbb64","first_computed_at":"2026-05-18T00:08:30.350232Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:30.350232Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EY+VPd3fguyBTP6lVB3YTNG1uTY2vt1Bk4yPvkbvD594r7fl2KAYmjUNU8Xt4jZVYENejf/UxV/TAAJkTKG6Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:30.350761Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.03043","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a095cd7da36fa0930e7dc3db8b08331fddebf3f85eb6fc585c95f67da74e5c46","sha256:05640f6a391e74becf2dbb330b4c538d3847ec2eb42ae690d956fcaf4d500d57"],"state_sha256":"0e31b252aad516408a67835cca3cedb6ec2c65d36288577e2ee391adbce32427"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/CzTMEIsYWgQ2B13G3wFe8lBm4EJhwlDingaUEhqdOsRWWqb5AH6k081BDtxTTY6DdPcL4gAHVUkSccyAhvWBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T06:19:34.811966Z","bundle_sha256":"2497775345ab9038097387cebe048164e8d7cb8a35681c0bf1b906854bde188b"}}