{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:S5JXPB7HS7R2J2KRZNFOVJPOBV","short_pith_number":"pith:S5JXPB7H","canonical_record":{"source":{"id":"1804.10765","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-28T09:12:38Z","cross_cats_sorted":[],"title_canon_sha256":"a639ca906a0a7e8f8fb8ab65a8de6c1e6954a59c480c49826b4cf8c3828ef873","abstract_canon_sha256":"c58910d3e25fa89f2d3ad0e1395574ea2431ebc38cf2aae0336e0c506f0df255"},"schema_version":"1.0"},"canonical_sha256":"97537787e797e3a4e951cb4aeaa5ee0d59ff45426adf1244c2dfc4a1583493d7","source":{"kind":"arxiv","id":"1804.10765","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10765","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10765v1","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10765","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"pith_short_12","alias_value":"S5JXPB7HS7R2","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"S5JXPB7HS7R2J2KR","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"S5JXPB7H","created_at":"2026-05-18T12:32:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:S5JXPB7HS7R2J2KRZNFOVJPOBV","target":"record","payload":{"canonical_record":{"source":{"id":"1804.10765","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-28T09:12:38Z","cross_cats_sorted":[],"title_canon_sha256":"a639ca906a0a7e8f8fb8ab65a8de6c1e6954a59c480c49826b4cf8c3828ef873","abstract_canon_sha256":"c58910d3e25fa89f2d3ad0e1395574ea2431ebc38cf2aae0336e0c506f0df255"},"schema_version":"1.0"},"canonical_sha256":"97537787e797e3a4e951cb4aeaa5ee0d59ff45426adf1244c2dfc4a1583493d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:15.638622Z","signature_b64":"3cqj4SXQFZFGPxv5nu2g32UX9myLJpQSeFr+MKpxPS5lVOCJhv4HIXETcESw6URwHI1l3bOUpoQW4cyhS/nPDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97537787e797e3a4e951cb4aeaa5ee0d59ff45426adf1244c2dfc4a1583493d7","last_reissued_at":"2026-05-18T00:17:15.638091Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:15.638091Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.10765","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:17:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MgEKBxiU3wwqKI7rhlcdgwb+7nqjwig2N32hEJh7tTrehtMyukKtcx0Zz4HbN+ypMVhAWUJmngZpKWiGZRSUDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T19:24:23.361874Z"},"content_sha256":"1b160633e146168a61d7de1325506fe73766559667d45401e9380a15069732a2","schema_version":"1.0","event_id":"sha256:1b160633e146168a61d7de1325506fe73766559667d45401e9380a15069732a2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:S5JXPB7HS7R2J2KRZNFOVJPOBV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specifying and Verbalising Answer Set Programs in Controlled Natural Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Rolf Schwitter","submitted_at":"2018-04-28T09:12:38Z","abstract_excerpt":"We show how a bi-directional grammar can be used to specify and verbalise answer set programs in controlled natural language. We start from a program specification in controlled natural language and translate this specification automatically into an executable answer set program. The resulting answer set program can be modified following certain naming conventions and the revised version of the program can then be verbalised in the same subset of natural language that was used as specification language. The bi-directional grammar is parametrised for processing and generation, deals with referr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10765","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:17:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OZxoqJG0RRAeG44l4ERC4KNC9LKBcvcUi6wlFfEIrPgLL3cYSmhIO8+4Dr6U4yKoY5shDxMJwaPva2l5tEpoBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T19:24:23.362615Z"},"content_sha256":"65293db2ac11799bdcbda1a1797ddfe7b3a67d96dceb7e13a61e04bc86563178","schema_version":"1.0","event_id":"sha256:65293db2ac11799bdcbda1a1797ddfe7b3a67d96dceb7e13a61e04bc86563178"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S5JXPB7HS7R2J2KRZNFOVJPOBV/bundle.json","state_url":"https://pith.science/pith/S5JXPB7HS7R2J2KRZNFOVJPOBV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S5JXPB7HS7R2J2KRZNFOVJPOBV/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-29T19:24:23Z","links":{"resolver":"https://pith.science/pith/S5JXPB7HS7R2J2KRZNFOVJPOBV","bundle":"https://pith.science/pith/S5JXPB7HS7R2J2KRZNFOVJPOBV/bundle.json","state":"https://pith.science/pith/S5JXPB7HS7R2J2KRZNFOVJPOBV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S5JXPB7HS7R2J2KRZNFOVJPOBV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:S5JXPB7HS7R2J2KRZNFOVJPOBV","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":"c58910d3e25fa89f2d3ad0e1395574ea2431ebc38cf2aae0336e0c506f0df255","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-28T09:12:38Z","title_canon_sha256":"a639ca906a0a7e8f8fb8ab65a8de6c1e6954a59c480c49826b4cf8c3828ef873"},"schema_version":"1.0","source":{"id":"1804.10765","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10765","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10765v1","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10765","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"pith_short_12","alias_value":"S5JXPB7HS7R2","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"S5JXPB7HS7R2J2KR","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"S5JXPB7H","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:65293db2ac11799bdcbda1a1797ddfe7b3a67d96dceb7e13a61e04bc86563178","target":"graph","created_at":"2026-05-18T00:17:15Z","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":"We show how a bi-directional grammar can be used to specify and verbalise answer set programs in controlled natural language. We start from a program specification in controlled natural language and translate this specification automatically into an executable answer set program. The resulting answer set program can be modified following certain naming conventions and the revised version of the program can then be verbalised in the same subset of natural language that was used as specification language. The bi-directional grammar is parametrised for processing and generation, deals with referr","authors_text":"Rolf Schwitter","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-28T09:12:38Z","title":"Specifying and Verbalising Answer Set Programs in Controlled Natural Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10765","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:1b160633e146168a61d7de1325506fe73766559667d45401e9380a15069732a2","target":"record","created_at":"2026-05-18T00:17:15Z","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":"c58910d3e25fa89f2d3ad0e1395574ea2431ebc38cf2aae0336e0c506f0df255","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-28T09:12:38Z","title_canon_sha256":"a639ca906a0a7e8f8fb8ab65a8de6c1e6954a59c480c49826b4cf8c3828ef873"},"schema_version":"1.0","source":{"id":"1804.10765","kind":"arxiv","version":1}},"canonical_sha256":"97537787e797e3a4e951cb4aeaa5ee0d59ff45426adf1244c2dfc4a1583493d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97537787e797e3a4e951cb4aeaa5ee0d59ff45426adf1244c2dfc4a1583493d7","first_computed_at":"2026-05-18T00:17:15.638091Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:15.638091Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3cqj4SXQFZFGPxv5nu2g32UX9myLJpQSeFr+MKpxPS5lVOCJhv4HIXETcESw6URwHI1l3bOUpoQW4cyhS/nPDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:15.638622Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.10765","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b160633e146168a61d7de1325506fe73766559667d45401e9380a15069732a2","sha256:65293db2ac11799bdcbda1a1797ddfe7b3a67d96dceb7e13a61e04bc86563178"],"state_sha256":"d4e3b87aac529a1a9ef03bc49d8571e392c20a0252897dfd8791105f437a25df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pntFFpnFGZNZ58oLgvMq20DcJFJ8l5hBD/0kE+GX0FjXlpHLSg6PERNTCg428RvdGLjXCaqX96Lu3bL8iUbSDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T19:24:23.366458Z","bundle_sha256":"33eaec0e889e8d53ef127e7a9a1481c26d4975b86e8ccd3fcbfa6c6c6c1bef48"}}