{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:TXO2YCOKWRXC6TGZS665JI3GRT","short_pith_number":"pith:TXO2YCOK","schema_version":"1.0","canonical_sha256":"9dddac09cab46e2f4cd997bdd4a3668ce9b66f49b306821d15eaf6a890b37ebc","source":{"kind":"arxiv","id":"2308.15901","version":1},"attestation_state":"computed","paper":{"title":"Explainable Answer-set Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Tobias Geibinger (TU Wien)","submitted_at":"2023-08-30T09:09:57Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2308.15901","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-30T09:09:57Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0e1f638b14e02a5496967c82039bcc8a946219b81c9eaf326844bff958bca55d","abstract_canon_sha256":"00a6d787e47f18f9db54f3dea9451b0b7f1e78261f695cb2a232c87742a3ece2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:46:15.067560Z","signature_b64":"llo7y+6KheRarczFVDwb//n4CDyjFQgx1SQTntl2jz1trtLGmX2/pMfkegVhlupBPEQTecRki8fjCQskeZrUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9dddac09cab46e2f4cd997bdd4a3668ce9b66f49b306821d15eaf6a890b37ebc","last_reissued_at":"2026-07-05T06:46:15.067085Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:46:15.067085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Explainable Answer-set Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Tobias Geibinger (TU Wien)","submitted_at":"2023-08-30T09:09:57Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.15901","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2308.15901/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2308.15901","created_at":"2026-07-05T06:46:15.067142+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.15901v1","created_at":"2026-07-05T06:46:15.067142+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.15901","created_at":"2026-07-05T06:46:15.067142+00:00"},{"alias_kind":"pith_short_12","alias_value":"TXO2YCOKWRXC","created_at":"2026-07-05T06:46:15.067142+00:00"},{"alias_kind":"pith_short_16","alias_value":"TXO2YCOKWRXC6TGZ","created_at":"2026-07-05T06:46:15.067142+00:00"},{"alias_kind":"pith_short_8","alias_value":"TXO2YCOK","created_at":"2026-07-05T06:46:15.067142+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.18564","citing_title":"Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs","ref_index":11,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT","json":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT.json","graph_json":"https://pith.science/api/pith-number/TXO2YCOKWRXC6TGZS665JI3GRT/graph.json","events_json":"https://pith.science/api/pith-number/TXO2YCOKWRXC6TGZS665JI3GRT/events.json","paper":"https://pith.science/paper/TXO2YCOK"},"agent_actions":{"view_html":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT","download_json":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT.json","view_paper":"https://pith.science/paper/TXO2YCOK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.15901&json=true","fetch_graph":"https://pith.science/api/pith-number/TXO2YCOKWRXC6TGZS665JI3GRT/graph.json","fetch_events":"https://pith.science/api/pith-number/TXO2YCOKWRXC6TGZS665JI3GRT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT/action/storage_attestation","attest_author":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT/action/author_attestation","sign_citation":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT/action/citation_signature","submit_replication":"https://pith.science/pith/TXO2YCOKWRXC6TGZS665JI3GRT/action/replication_record"}},"created_at":"2026-07-05T06:46:15.067142+00:00","updated_at":"2026-07-05T06:46:15.067142+00:00"}