{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:B5KBVCYW6IXKZY36BDX3EDEUZK","short_pith_number":"pith:B5KBVCYW","canonical_record":{"source":{"id":"1901.09125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-26T00:24:22Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"fcb0dc52018c6e889c004fe4fe02997f2496dd2720ecbbed63d647c44bb98bb5","abstract_canon_sha256":"87b4814049a19110615e2c938ee55972f1ea9c0053a49362630eccc13c26e0b8"},"schema_version":"1.0"},"canonical_sha256":"0f541a8b16f22eace37e08efb20c94ca933cdae7f1bc40cc94dac411a5854b07","source":{"kind":"arxiv","id":"1901.09125","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.09125","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"arxiv_version","alias_value":"1901.09125v1","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.09125","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"pith_short_12","alias_value":"B5KBVCYW6IXK","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"B5KBVCYW6IXKZY36","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"B5KBVCYW","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:B5KBVCYW6IXKZY36BDX3EDEUZK","target":"record","payload":{"canonical_record":{"source":{"id":"1901.09125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-26T00:24:22Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"fcb0dc52018c6e889c004fe4fe02997f2496dd2720ecbbed63d647c44bb98bb5","abstract_canon_sha256":"87b4814049a19110615e2c938ee55972f1ea9c0053a49362630eccc13c26e0b8"},"schema_version":"1.0"},"canonical_sha256":"0f541a8b16f22eace37e08efb20c94ca933cdae7f1bc40cc94dac411a5854b07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:30.483501Z","signature_b64":"IK0yY8hXcZGqUN1PcF8z459GXyv3SkLZeQI8bZ2MJKtVwAXiu+Vy8JrDxQCrtzpxXFHfOoJ/698AD1mrjhmbAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f541a8b16f22eace37e08efb20c94ca933cdae7f1bc40cc94dac411a5854b07","last_reissued_at":"2026-05-17T23:55:30.482800Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:30.482800Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.09125","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-17T23:55:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9tv2pbJS1v9dFXAqRG3n/RFMamViZjahwXXa2AQUIRBOGw95rsC+lp0XfvdV7NKrUXabXMfiT5AxbbjZFJ4sAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:34:19.744856Z"},"content_sha256":"d0e6904e982565a07233f00eba3590d23263d57318a2a56a03a67640f04a4864","schema_version":"1.0","event_id":"sha256:d0e6904e982565a07233f00eba3590d23263d57318a2a56a03a67640f04a4864"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:B5KBVCYW6IXKZY36BDX3EDEUZK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The informal semantics of Answer Set Programming: A Tarskian perspective","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Joost Vennekens, Marc Denecker, Miroslaw Truszczynski, Yuliya Lierler","submitted_at":"2019-01-26T00:24:22Z","abstract_excerpt":"In Knowledge Representation, it is crucial that knowledge engineers have a good understanding of the formal expressions that they write. What formal expressions state intuitively about the domain of discourse is studied in the theory of the informal semantics of a logic. In this paper we study the informal semantics of Answer Set Programming. The roots of answer set programming lie in the language of Extended Logic Programming, which was introduced initially as an epistemic logic for default and autoepistemic reasoning. In 1999, the seminal papers on answer set programming proposed to use this"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.09125","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-17T23:55:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XqHbq42fixIEnI5LTmfKdpQD864PKIfhwqRaykOQxHUl3nqPcKyPChhzIptiLStscj8N40iqEKCrTsron2ytDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T08:34:19.745208Z"},"content_sha256":"8a26f1a1e729cae43ba9858dd69079ad2618beed57e0e5fa5dea631b4146d397","schema_version":"1.0","event_id":"sha256:8a26f1a1e729cae43ba9858dd69079ad2618beed57e0e5fa5dea631b4146d397"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B5KBVCYW6IXKZY36BDX3EDEUZK/bundle.json","state_url":"https://pith.science/pith/B5KBVCYW6IXKZY36BDX3EDEUZK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B5KBVCYW6IXKZY36BDX3EDEUZK/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-28T08:34:19Z","links":{"resolver":"https://pith.science/pith/B5KBVCYW6IXKZY36BDX3EDEUZK","bundle":"https://pith.science/pith/B5KBVCYW6IXKZY36BDX3EDEUZK/bundle.json","state":"https://pith.science/pith/B5KBVCYW6IXKZY36BDX3EDEUZK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B5KBVCYW6IXKZY36BDX3EDEUZK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:B5KBVCYW6IXKZY36BDX3EDEUZK","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":"87b4814049a19110615e2c938ee55972f1ea9c0053a49362630eccc13c26e0b8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-26T00:24:22Z","title_canon_sha256":"fcb0dc52018c6e889c004fe4fe02997f2496dd2720ecbbed63d647c44bb98bb5"},"schema_version":"1.0","source":{"id":"1901.09125","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.09125","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"arxiv_version","alias_value":"1901.09125v1","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.09125","created_at":"2026-05-17T23:55:30Z"},{"alias_kind":"pith_short_12","alias_value":"B5KBVCYW6IXK","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"B5KBVCYW6IXKZY36","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"B5KBVCYW","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:8a26f1a1e729cae43ba9858dd69079ad2618beed57e0e5fa5dea631b4146d397","target":"graph","created_at":"2026-05-17T23:55: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":"In Knowledge Representation, it is crucial that knowledge engineers have a good understanding of the formal expressions that they write. What formal expressions state intuitively about the domain of discourse is studied in the theory of the informal semantics of a logic. In this paper we study the informal semantics of Answer Set Programming. The roots of answer set programming lie in the language of Extended Logic Programming, which was introduced initially as an epistemic logic for default and autoepistemic reasoning. In 1999, the seminal papers on answer set programming proposed to use this","authors_text":"Joost Vennekens, Marc Denecker, Miroslaw Truszczynski, Yuliya Lierler","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-26T00:24:22Z","title":"The informal semantics of Answer Set Programming: A Tarskian perspective"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.09125","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:d0e6904e982565a07233f00eba3590d23263d57318a2a56a03a67640f04a4864","target":"record","created_at":"2026-05-17T23:55: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":"87b4814049a19110615e2c938ee55972f1ea9c0053a49362630eccc13c26e0b8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-01-26T00:24:22Z","title_canon_sha256":"fcb0dc52018c6e889c004fe4fe02997f2496dd2720ecbbed63d647c44bb98bb5"},"schema_version":"1.0","source":{"id":"1901.09125","kind":"arxiv","version":1}},"canonical_sha256":"0f541a8b16f22eace37e08efb20c94ca933cdae7f1bc40cc94dac411a5854b07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f541a8b16f22eace37e08efb20c94ca933cdae7f1bc40cc94dac411a5854b07","first_computed_at":"2026-05-17T23:55:30.482800Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:30.482800Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IK0yY8hXcZGqUN1PcF8z459GXyv3SkLZeQI8bZ2MJKtVwAXiu+Vy8JrDxQCrtzpxXFHfOoJ/698AD1mrjhmbAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:30.483501Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.09125","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0e6904e982565a07233f00eba3590d23263d57318a2a56a03a67640f04a4864","sha256:8a26f1a1e729cae43ba9858dd69079ad2618beed57e0e5fa5dea631b4146d397"],"state_sha256":"9d4237ea1b67de436f86b1cab0a2c04fe6345ab5199404489c7bfb123cbf1187"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+lKY+AlCR2taHxm2UMHEz3FMrxKeSySMqluvKvlSOrpCzMcpk5ez4YSmg7A7XSrJvHVjvuP/6syIeIas7FafDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T08:34:19.747455Z","bundle_sha256":"86f70ab5355045a94d728c058e8dea4c122dae1a1441732ca7f59bf6dc3a443a"}}