{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:6YI46WWH3LPL7DBZ26M4Y6C5DC","short_pith_number":"pith:6YI46WWH","schema_version":"1.0","canonical_sha256":"f611cf5ac7dadebf8c39d799cc785d18af388e9113d4683c7ee2dc5194120d73","source":{"kind":"arxiv","id":"1707.04957","version":1},"attestation_state":"computed","paper":{"title":"Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alpesh Amin, Elmer Salazar, Gopal Gupta, Kyle Marple, Lakshman Tamil, Sandeep Das, Zhuo Chen","submitted_at":"2017-07-16T22:55:53Z","abstract_excerpt":"Management of chronic diseases such as heart failure (HF) is a major public health problem. A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that all physicians should follow. Due to their complexity, these guidelines are difficult to implement and are adopted slowly by the medical community at large. We have developed a physician advisory system that codes the entire set of clinical practice guidelines for managing HF using answer set programming(ASP). In this paper we show how abductive reasoning can be deployed to fin"},"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":"1707.04957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-16T22:55:53Z","cross_cats_sorted":[],"title_canon_sha256":"edb043a02c75d4e59f7213b0a6253dcd9f4ed424283a2839afe55d2ab185988b","abstract_canon_sha256":"3016b2f11e8d7a8e78a04192b14ecede6edd69f36c37d2eb2b08dd7eb3068cd0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:11.723644Z","signature_b64":"NABr79uGHOQjpe/XqoZLPsxwAstutOh3MCJdJ6oDHGY84NoGjLmVtQBMboBkYmoF6jRc3tNKqZqg6Yig8o7YAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f611cf5ac7dadebf8c39d799cc785d18af388e9113d4683c7ee2dc5194120d73","last_reissued_at":"2026-05-18T00:40:11.723057Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:11.723057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alpesh Amin, Elmer Salazar, Gopal Gupta, Kyle Marple, Lakshman Tamil, Sandeep Das, Zhuo Chen","submitted_at":"2017-07-16T22:55:53Z","abstract_excerpt":"Management of chronic diseases such as heart failure (HF) is a major public health problem. A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that all physicians should follow. Due to their complexity, these guidelines are difficult to implement and are adopted slowly by the medical community at large. We have developed a physician advisory system that codes the entire set of clinical practice guidelines for managing HF using answer set programming(ASP). In this paper we show how abductive reasoning can be deployed to fin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.04957","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.04957","created_at":"2026-05-18T00:40:11.723153+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.04957v1","created_at":"2026-05-18T00:40:11.723153+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.04957","created_at":"2026-05-18T00:40:11.723153+00:00"},{"alias_kind":"pith_short_12","alias_value":"6YI46WWH3LPL","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_16","alias_value":"6YI46WWH3LPL7DBZ","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_8","alias_value":"6YI46WWH","created_at":"2026-05-18T12:31:03.183658+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC","json":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC.json","graph_json":"https://pith.science/api/pith-number/6YI46WWH3LPL7DBZ26M4Y6C5DC/graph.json","events_json":"https://pith.science/api/pith-number/6YI46WWH3LPL7DBZ26M4Y6C5DC/events.json","paper":"https://pith.science/paper/6YI46WWH"},"agent_actions":{"view_html":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC","download_json":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC.json","view_paper":"https://pith.science/paper/6YI46WWH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.04957&json=true","fetch_graph":"https://pith.science/api/pith-number/6YI46WWH3LPL7DBZ26M4Y6C5DC/graph.json","fetch_events":"https://pith.science/api/pith-number/6YI46WWH3LPL7DBZ26M4Y6C5DC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC/action/storage_attestation","attest_author":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC/action/author_attestation","sign_citation":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC/action/citation_signature","submit_replication":"https://pith.science/pith/6YI46WWH3LPL7DBZ26M4Y6C5DC/action/replication_record"}},"created_at":"2026-05-18T00:40:11.723153+00:00","updated_at":"2026-05-18T00:40:11.723153+00:00"}