{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CRRGQGVBYIDASXA3DZSK74MMMB","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":"ac9c9271e77d6a74c663be92ef7714e70973bae1ce0b42b1ded607c001fb6deb","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-08T02:30:01Z","title_canon_sha256":"c0207e5419e8a7576e35066dfda1c5b07ff988d223ad3f11638c066922c67eec"},"schema_version":"1.0","source":{"id":"1301.1395","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.1395","created_at":"2026-05-18T03:36:57Z"},{"alias_kind":"arxiv_version","alias_value":"1301.1395v1","created_at":"2026-05-18T03:36:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.1395","created_at":"2026-05-18T03:36:57Z"},{"alias_kind":"pith_short_12","alias_value":"CRRGQGVBYIDA","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CRRGQGVBYIDASXA3","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CRRGQGVB","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:1a810228c52c03b20a3bbac792c2088319e9100e5dd8a6a44ba8de559219d09c","target":"graph","created_at":"2026-05-18T03:36:57Z","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":"Previous research into the relation between ASP and classical logic has identified at least two different ways in which the former extends the latter. First, ASP program typically contain sets of rules that can be naturally interpreted as inductive definitions, and the language FO(ID) has shown that such inductive definitions can elegantly be added to classical logic in a modular way. Second, there is of course also the well-known epistemic component of ASP, which was mainly emphasized in the early papers on stable model semantics. To investigate whether this kind of knowledge can also, and in","authors_text":"Joost Vennekens, Marc Denecker","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-08T02:30:01Z","title":"Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.1395","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:688d8d4e43f7534746593669b2340a5fbc61abf4bef2f47071228b53d1b081a1","target":"record","created_at":"2026-05-18T03:36:57Z","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":"ac9c9271e77d6a74c663be92ef7714e70973bae1ce0b42b1ded607c001fb6deb","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-08T02:30:01Z","title_canon_sha256":"c0207e5419e8a7576e35066dfda1c5b07ff988d223ad3f11638c066922c67eec"},"schema_version":"1.0","source":{"id":"1301.1395","kind":"arxiv","version":1}},"canonical_sha256":"1462681aa1c206095c1b1e64aff18c605b183cd935e626b1bae7a6ffb8929e39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1462681aa1c206095c1b1e64aff18c605b183cd935e626b1bae7a6ffb8929e39","first_computed_at":"2026-05-18T03:36:57.618263Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:36:57.618263Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Add/vc7y91XlSH607Jy+zDFK8d0Y0QXXk3dVSeo7PdIfqB8QBW7NhQ8hSERsmtLMHpt0WHDo+VxCueWCxPnBBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:36:57.618707Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.1395","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:688d8d4e43f7534746593669b2340a5fbc61abf4bef2f47071228b53d1b081a1","sha256:1a810228c52c03b20a3bbac792c2088319e9100e5dd8a6a44ba8de559219d09c"],"state_sha256":"7ee19ddb28be147c6e6d278679f06d7201324f32a7db31071b72d12795970db4"}