{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:FCTEWX55ICYJ5MQTZF4UBJOAJO","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":"be1ac134e0aef14d492ffa43b9f8c4594e40954dbef35bb10592fb878ad1508b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-12-03T20:07:21Z","title_canon_sha256":"ed3d4a7c4777b31ab9a33b101a8486d53db8ace0790dd76b8d0fe936f8236f30"},"schema_version":"1.0","source":{"id":"1012.0830","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.0830","created_at":"2026-05-18T04:34:09Z"},{"alias_kind":"arxiv_version","alias_value":"1012.0830v1","created_at":"2026-05-18T04:34:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.0830","created_at":"2026-05-18T04:34:09Z"},{"alias_kind":"pith_short_12","alias_value":"FCTEWX55ICYJ","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"FCTEWX55ICYJ5MQT","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"FCTEWX55","created_at":"2026-05-18T12:26:06Z"}],"graph_snapshots":[{"event_id":"sha256:58fc7ac1032cd002808acdab5e2dc796326af35288c027d5528b77f112c87ba0","target":"graph","created_at":"2026-05-18T04:34:09Z","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 examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We provide an implementation, showing the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program, in accordance with the claimed ``declarative'' aspect of ASP. Limitations of the earlier systems (poor data structure and difficulty in reusing pieces of programs) made that in practice, the ``declarative aspect'' was more t","authors_text":"Yves Moinard (INRIA - IRISA)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-12-03T20:07:21Z","title":"Using ASP with recent extensions for causal explanations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.0830","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:5dbf73ba8a677f1a06b95d8ba57b6e6e1633d56282550b12bc0ff62052a83095","target":"record","created_at":"2026-05-18T04:34:09Z","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":"be1ac134e0aef14d492ffa43b9f8c4594e40954dbef35bb10592fb878ad1508b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-12-03T20:07:21Z","title_canon_sha256":"ed3d4a7c4777b31ab9a33b101a8486d53db8ace0790dd76b8d0fe936f8236f30"},"schema_version":"1.0","source":{"id":"1012.0830","kind":"arxiv","version":1}},"canonical_sha256":"28a64b5fbd40b09eb213c97940a5c04bafff21f54b61937e03e489a3a16b3b95","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28a64b5fbd40b09eb213c97940a5c04bafff21f54b61937e03e489a3a16b3b95","first_computed_at":"2026-05-18T04:34:09.451979Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:34:09.451979Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lgR0XiiEwXTFVan7qWXw9OXeTZ6lgYt/o2IXX+DOf7Mcu5vXHdvVDrRvl+ABwVUBpjMEjfPJ/v04He5zcFrZAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:34:09.452372Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.0830","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5dbf73ba8a677f1a06b95d8ba57b6e6e1633d56282550b12bc0ff62052a83095","sha256:58fc7ac1032cd002808acdab5e2dc796326af35288c027d5528b77f112c87ba0"],"state_sha256":"9b4bc5654a83250ad6cf25cc3ec1164c4506d61c23621acd0b22fdb7a2790f83"}