{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:FIT5PQCWXPE5UAZLV4XLE7U2JN","short_pith_number":"pith:FIT5PQCW","canonical_record":{"source":{"id":"1608.08262","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2016-08-29T21:58:07Z","cross_cats_sorted":[],"title_canon_sha256":"e193365d5b16f22c38adcc5bdab830a1c4df618ddec05f597221a10e3ccd5c47","abstract_canon_sha256":"dcf64dd3f04d360268e8d9f59c16bb92da75d59f7438244bd39cd7c6d0e0bd71"},"schema_version":"1.0"},"canonical_sha256":"2a27d7c056bbc9da032baf2eb27e9a4b6e16ae5be742aae86545957065404254","source":{"kind":"arxiv","id":"1608.08262","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08262","created_at":"2026-05-18T01:07:19Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08262v1","created_at":"2026-05-18T01:07:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08262","created_at":"2026-05-18T01:07:19Z"},{"alias_kind":"pith_short_12","alias_value":"FIT5PQCWXPE5","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"FIT5PQCWXPE5UAZL","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"FIT5PQCW","created_at":"2026-05-18T12:30:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:FIT5PQCWXPE5UAZLV4XLE7U2JN","target":"record","payload":{"canonical_record":{"source":{"id":"1608.08262","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2016-08-29T21:58:07Z","cross_cats_sorted":[],"title_canon_sha256":"e193365d5b16f22c38adcc5bdab830a1c4df618ddec05f597221a10e3ccd5c47","abstract_canon_sha256":"dcf64dd3f04d360268e8d9f59c16bb92da75d59f7438244bd39cd7c6d0e0bd71"},"schema_version":"1.0"},"canonical_sha256":"2a27d7c056bbc9da032baf2eb27e9a4b6e16ae5be742aae86545957065404254","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:07:19.828583Z","signature_b64":"hUmGt+zRsb3pMjRqjJ0cF/FWYz86twlcJbcX4smbbKL+TKyv2paHgPH+/qKnAcCh3eMV8+6lA02y1bxCrPHWDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a27d7c056bbc9da032baf2eb27e9a4b6e16ae5be742aae86545957065404254","last_reissued_at":"2026-05-18T01:07:19.828132Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:07:19.828132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.08262","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:07:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R2GpD75HlyF8XOTP5i/3tM7CEbfd7lOdd54ONY4kfkKxxVGvYrPzvbHtp7OpySw1ONAXChjNkPKSOS2xOa4dCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:15:13.165579Z"},"content_sha256":"61ef0e9efbe53f0384c911bd1373f0a3a8bd1c784f862ec29bc81dab611ca869","schema_version":"1.0","event_id":"sha256:61ef0e9efbe53f0384c911bd1373f0a3a8bd1c784f862ec29bc81dab611ca869"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:FIT5PQCWXPE5UAZLV4XLE7U2JN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Vicious Circle Principle and Formation of Sets in ASP Based Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Michael Gelfond, Yuanlin Zhang","submitted_at":"2016-08-29T21:58:07Z","abstract_excerpt":"The paper continues the investigation of Poincare and Russel's Vicious Circle Principle (VCP) in the context of the design of logic programming languages with sets. We expand previously introduced language Alog with aggregates by allowing infinite sets and several additional set related constructs useful for knowledge representation and teaching. In addition, we propose an alternative formalization of the original VCP and incorporate it into the semantics of new language, Slog+, which allows more liberal construction of sets and their use in programming rules. We show that, for programs withou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08262","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:07:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2W+W0JmYFz03FDGqPvzjn+ef2XKHQPd6D/GRXTWkdaLUYozFCJLNRRk761HByKbb/XfOKPxRSnkbSYVGvjJFDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:15:13.165917Z"},"content_sha256":"1f488cd9e4e6969bd102b4c6e94d469ccf69bde07891293ad0ae6a6a4c7ea630","schema_version":"1.0","event_id":"sha256:1f488cd9e4e6969bd102b4c6e94d469ccf69bde07891293ad0ae6a6a4c7ea630"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FIT5PQCWXPE5UAZLV4XLE7U2JN/bundle.json","state_url":"https://pith.science/pith/FIT5PQCWXPE5UAZLV4XLE7U2JN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FIT5PQCWXPE5UAZLV4XLE7U2JN/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-28T12:15:13Z","links":{"resolver":"https://pith.science/pith/FIT5PQCWXPE5UAZLV4XLE7U2JN","bundle":"https://pith.science/pith/FIT5PQCWXPE5UAZLV4XLE7U2JN/bundle.json","state":"https://pith.science/pith/FIT5PQCWXPE5UAZLV4XLE7U2JN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FIT5PQCWXPE5UAZLV4XLE7U2JN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:FIT5PQCWXPE5UAZLV4XLE7U2JN","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":"dcf64dd3f04d360268e8d9f59c16bb92da75d59f7438244bd39cd7c6d0e0bd71","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2016-08-29T21:58:07Z","title_canon_sha256":"e193365d5b16f22c38adcc5bdab830a1c4df618ddec05f597221a10e3ccd5c47"},"schema_version":"1.0","source":{"id":"1608.08262","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08262","created_at":"2026-05-18T01:07:19Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08262v1","created_at":"2026-05-18T01:07:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08262","created_at":"2026-05-18T01:07:19Z"},{"alias_kind":"pith_short_12","alias_value":"FIT5PQCWXPE5","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"FIT5PQCWXPE5UAZL","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"FIT5PQCW","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:1f488cd9e4e6969bd102b4c6e94d469ccf69bde07891293ad0ae6a6a4c7ea630","target":"graph","created_at":"2026-05-18T01:07:19Z","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":"The paper continues the investigation of Poincare and Russel's Vicious Circle Principle (VCP) in the context of the design of logic programming languages with sets. We expand previously introduced language Alog with aggregates by allowing infinite sets and several additional set related constructs useful for knowledge representation and teaching. In addition, we propose an alternative formalization of the original VCP and incorporate it into the semantics of new language, Slog+, which allows more liberal construction of sets and their use in programming rules. We show that, for programs withou","authors_text":"Michael Gelfond, Yuanlin Zhang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2016-08-29T21:58:07Z","title":"Vicious Circle Principle and Formation of Sets in ASP Based Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08262","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:61ef0e9efbe53f0384c911bd1373f0a3a8bd1c784f862ec29bc81dab611ca869","target":"record","created_at":"2026-05-18T01:07:19Z","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":"dcf64dd3f04d360268e8d9f59c16bb92da75d59f7438244bd39cd7c6d0e0bd71","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2016-08-29T21:58:07Z","title_canon_sha256":"e193365d5b16f22c38adcc5bdab830a1c4df618ddec05f597221a10e3ccd5c47"},"schema_version":"1.0","source":{"id":"1608.08262","kind":"arxiv","version":1}},"canonical_sha256":"2a27d7c056bbc9da032baf2eb27e9a4b6e16ae5be742aae86545957065404254","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a27d7c056bbc9da032baf2eb27e9a4b6e16ae5be742aae86545957065404254","first_computed_at":"2026-05-18T01:07:19.828132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:07:19.828132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hUmGt+zRsb3pMjRqjJ0cF/FWYz86twlcJbcX4smbbKL+TKyv2paHgPH+/qKnAcCh3eMV8+6lA02y1bxCrPHWDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:07:19.828583Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.08262","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61ef0e9efbe53f0384c911bd1373f0a3a8bd1c784f862ec29bc81dab611ca869","sha256:1f488cd9e4e6969bd102b4c6e94d469ccf69bde07891293ad0ae6a6a4c7ea630"],"state_sha256":"64a68d2be629c93cb69dae3347574bab139407e9eb6f65dbb497bd4762897d1f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5cGFSIVxtIhPMTW0gWOBHX+NMvydW+zdFOM/3y4TdijVkHhHhoFmM0YYwkCda8pGhC1ghauOd9mUNGLEZ7anCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T12:15:13.167798Z","bundle_sha256":"6bd9004b83e3d0e1ed7d0f2b29d537be185f4ab7a948a90b4740beee08051b76"}}