{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:TXO2YCOKWRXC6TGZS665JI3GRT","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":"00a6d787e47f18f9db54f3dea9451b0b7f1e78261f695cb2a232c87742a3ece2","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-30T09:09:57Z","title_canon_sha256":"0e1f638b14e02a5496967c82039bcc8a946219b81c9eaf326844bff958bca55d"},"schema_version":"1.0","source":{"id":"2308.15901","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.15901","created_at":"2026-07-05T06:46:15Z"},{"alias_kind":"arxiv_version","alias_value":"2308.15901v1","created_at":"2026-07-05T06:46:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.15901","created_at":"2026-07-05T06:46:15Z"},{"alias_kind":"pith_short_12","alias_value":"TXO2YCOKWRXC","created_at":"2026-07-05T06:46:15Z"},{"alias_kind":"pith_short_16","alias_value":"TXO2YCOKWRXC6TGZ","created_at":"2026-07-05T06:46:15Z"},{"alias_kind":"pith_short_8","alias_value":"TXO2YCOK","created_at":"2026-07-05T06:46:15Z"}],"graph_snapshots":[{"event_id":"sha256:75a968c7d1537e0c9cba631ca6adcb8a5898ef559145f09ba548d74ed503095e","target":"graph","created_at":"2026-07-05T06:46: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2308.15901/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The interest in explainability in artificial intelligence (AI) is growing vastly due to the near ubiquitous state of AI in our lives and the increasing complexity of AI systems. Answer-set Programming (ASP) is used in many areas, among them are industrial optimisation, knowledge management or life sciences, and thus of great interest in the context of explainability. To ensure the successful application of ASP as a problem-solving paradigm in the future, it is thus crucial to investigate explanations for ASP solutions. Such an explanation generally tries to give an answer to the question of wh","authors_text":"Tobias Geibinger (TU Wien)","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-30T09:09:57Z","title":"Explainable Answer-set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.15901","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:efa0198c59d2c8920eca76a6ed06b557831876dc02353e0aa4e6f20cfd0e026c","target":"record","created_at":"2026-07-05T06:46: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":"00a6d787e47f18f9db54f3dea9451b0b7f1e78261f695cb2a232c87742a3ece2","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-30T09:09:57Z","title_canon_sha256":"0e1f638b14e02a5496967c82039bcc8a946219b81c9eaf326844bff958bca55d"},"schema_version":"1.0","source":{"id":"2308.15901","kind":"arxiv","version":1}},"canonical_sha256":"9dddac09cab46e2f4cd997bdd4a3668ce9b66f49b306821d15eaf6a890b37ebc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9dddac09cab46e2f4cd997bdd4a3668ce9b66f49b306821d15eaf6a890b37ebc","first_computed_at":"2026-07-05T06:46:15.067085Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:46:15.067085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"llo7y+6KheRarczFVDwb//n4CDyjFQgx1SQTntl2jz1trtLGmX2/pMfkegVhlupBPEQTecRki8fjCQskeZrUCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:46:15.067560Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.15901","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:efa0198c59d2c8920eca76a6ed06b557831876dc02353e0aa4e6f20cfd0e026c","sha256:75a968c7d1537e0c9cba631ca6adcb8a5898ef559145f09ba548d74ed503095e"],"state_sha256":"bf5bc42fad7e81222fb5c9e538425208b15c25c03f2476b1fcc35668e57679bb"}