{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:UNQAKHPLVJ2NETNGHW3AF6AOG2","short_pith_number":"pith:UNQAKHPL","schema_version":"1.0","canonical_sha256":"a360051debaa74d24da63db602f80e36a870cdfedee0798f4e17486b24fe5c9a","source":{"kind":"arxiv","id":"1609.06375","version":1},"attestation_state":"computed","paper":{"title":"A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Patrick Rodler","submitted_at":"2016-09-20T22:31:38Z","abstract_excerpt":"A broad variety of knowledge-based applications such as recommender, expert, planning or configuration systems usually operate on the basis of knowledge represented by means of some logical language. Such a logical knowledge base (KB) enables intelligent behavior of such systems by allowing them to automatically reason, answer queries of interest or solve complex real-world problems. Nowadays, where information acquisition comes at low costs and often happens automatically, the applied KBs are continuously growing in terms of size, information content and complexity. These developments foster "},"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":"1609.06375","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-09-20T22:31:38Z","cross_cats_sorted":[],"title_canon_sha256":"38ca0d5cc28b739cea906067bde8319632464fc07cfeb1a089d58771e89ff04f","abstract_canon_sha256":"55b8f47306f13851a4ee734447ee0d3f7440b7dde6613649224b39a0d876d5e1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:08.499363Z","signature_b64":"ChcxnHETT0L1bsUDRvNFU5AUvZIKvSLZlV9SV6o7oUQMpYCn4XtyYC8CR5SM90B3+lDIl4E6X2AM5Xmc4um6CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a360051debaa74d24da63db602f80e36a870cdfedee0798f4e17486b24fe5c9a","last_reissued_at":"2026-05-18T01:04:08.498681Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:08.498681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Patrick Rodler","submitted_at":"2016-09-20T22:31:38Z","abstract_excerpt":"A broad variety of knowledge-based applications such as recommender, expert, planning or configuration systems usually operate on the basis of knowledge represented by means of some logical language. Such a logical knowledge base (KB) enables intelligent behavior of such systems by allowing them to automatically reason, answer queries of interest or solve complex real-world problems. Nowadays, where information acquisition comes at low costs and often happens automatically, the applied KBs are continuously growing in terms of size, information content and complexity. These developments foster "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.06375","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":"1609.06375","created_at":"2026-05-18T01:04:08.498785+00:00"},{"alias_kind":"arxiv_version","alias_value":"1609.06375v1","created_at":"2026-05-18T01:04:08.498785+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.06375","created_at":"2026-05-18T01:04:08.498785+00:00"},{"alias_kind":"pith_short_12","alias_value":"UNQAKHPLVJ2N","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_16","alias_value":"UNQAKHPLVJ2NETNG","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_8","alias_value":"UNQAKHPL","created_at":"2026-05-18T12:30:46.583412+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/UNQAKHPLVJ2NETNGHW3AF6AOG2","json":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2.json","graph_json":"https://pith.science/api/pith-number/UNQAKHPLVJ2NETNGHW3AF6AOG2/graph.json","events_json":"https://pith.science/api/pith-number/UNQAKHPLVJ2NETNGHW3AF6AOG2/events.json","paper":"https://pith.science/paper/UNQAKHPL"},"agent_actions":{"view_html":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2","download_json":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2.json","view_paper":"https://pith.science/paper/UNQAKHPL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1609.06375&json=true","fetch_graph":"https://pith.science/api/pith-number/UNQAKHPLVJ2NETNGHW3AF6AOG2/graph.json","fetch_events":"https://pith.science/api/pith-number/UNQAKHPLVJ2NETNGHW3AF6AOG2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2/action/storage_attestation","attest_author":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2/action/author_attestation","sign_citation":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2/action/citation_signature","submit_replication":"https://pith.science/pith/UNQAKHPLVJ2NETNGHW3AF6AOG2/action/replication_record"}},"created_at":"2026-05-18T01:04:08.498785+00:00","updated_at":"2026-05-18T01:04:08.498785+00:00"}